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

Subclasses with type arguments of type ReferenceWorld in org.tweetyproject.logics.rpcl.semantics

Modifier and Type	Class	Description
class	CondensedProbabilityDistribution	Instances of this class represent condensed probability distributions, rf.

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.