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

Packages that use ReferenceWorld

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

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

Methods in net.sf.tweety.logics.rpcl 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 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.

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)