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 final ReferenceWorld	RpclCondensedProbabilityDistributionParser.Interpretation(FolSignature signature)	Parses an Interpretation (specifically, a ReferenceWorld) from the input stream

Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return types with arguments of type ReferenceWorld

Modifier and Type	Method	Description
static final Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)	Parses a probability assignment from the input stream.

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 ReferenceWorld	ReferenceWorld.getMapping(HerbrandInterpretation i, Set<Predicate> predicates, Set<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 Set<ReferenceWorld>	ReferenceWorld.enumerateReferenceWorlds(Set<Predicate> predicates, Set<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.