Uses of Class
net.sf.tweety.logics.rpcl.semantics.ReferenceWorld

Packages that use ReferenceWorld

Package	Description
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
net.sf.tweety.logics.rpcl.semantics

Uses of ReferenceWorld in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return ReferenceWorld

Modifier and Type	Method and Description
static ReferenceWorld	RpclCondensedProbabilityDistributionParser.Interpretation(FolSignature signature)

Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return types with arguments of type ReferenceWorld

Modifier and Type	Method and Description
static Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)

Uses of ReferenceWorld in net.sf.tweety.logics.rpcl.semantics

Methods in net.sf.tweety.logics.rpcl.semantics that return ReferenceWorld

Modifier and Type	Method and Description
static ReferenceWorld	ReferenceWorld.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 net.sf.tweety.logics.rpcl.semantics that return types with arguments of type ReferenceWorld

Modifier and Type	Method and 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.