Uses of Class
org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
-
Packages that use ReferenceWorld Package Description org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser org.tweetyproject.logics.rpcl.semantics -
-
Uses of ReferenceWorld in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return ReferenceWorld Modifier and Type Method Description static ReferenceWorldRpclCondensedProbabilityDistributionParser. Interpretation(FolSignature signature)Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return types with arguments of type ReferenceWorld Modifier and Type Method Description static Pair<ReferenceWorld,Probability>RpclCondensedProbabilityDistributionParser. ProbabilityAssignment(FolSignature signature) -
Uses of ReferenceWorld in org.tweetyproject.logics.rpcl.semantics
Methods in org.tweetyproject.logics.rpcl.semantics that return ReferenceWorld Modifier and Type Method Description static ReferenceWorldReferenceWorld. getMapping(HerbrandInterpretation i, java.util.Set<Predicate> predicates, java.util.Set<java.util.Set<Constant>> constants)Determines the reference world of the given interpretation wrt.Methods in org.tweetyproject.logics.rpcl.semantics that return types with arguments of type ReferenceWorld Modifier and Type Method Description static java.util.Set<ReferenceWorld>ReferenceWorld. enumerateReferenceWorlds(java.util.Set<Predicate> predicates, java.util.Set<java.util.Set<Constant>> constants)Determines the set of all reference worlds wrt.RpclProbabilityDistribution<ReferenceWorld>CondensedProbabilityDistribution. toProbabilityDistribution()Converts this condensed probability distribution into an ordinary probability distribution.
-