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(net.sf.tweety.logics.fol.semantics.HerbrandInterpretation i, Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates, Set<Set<net.sf.tweety.logics.commons.syntax.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 Set<ReferenceWorld>	ReferenceWorld.enumerateReferenceWorlds(Set<net.sf.tweety.logics.commons.syntax.Predicate> predicates, Set<Set<net.sf.tweety.logics.commons.syntax.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(net.sf.tweety.logics.fol.syntax.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 net.sf.tweety.commons.util.Pair<ReferenceWorld,net.sf.tweety.math.probability.Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(net.sf.tweety.logics.fol.syntax.FolSignature signature)