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	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	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)

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	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.semantics that return types with arguments of type ReferenceWorld

Modifier and Type	Method	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.
RpclProbabilityDistribution<ReferenceWorld>	CondensedProbabilityDistribution.toProbabilityDistribution()	Converts this condensed probability distribution into an ordinary probability distribution.