Uses of Class
org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional

Packages that use RelationalProbabilisticConditional

Package	Description
org.tweetyproject.logics.rpcl.parser
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.rpcl.syntax

Uses of RelationalProbabilisticConditional in org.tweetyproject.logics.rpcl.parser

Methods in org.tweetyproject.logics.rpcl.parser that return RelationalProbabilisticConditional

Modifier and Type	Method	Description
RelationalProbabilisticConditional	RpclParser.parseFormula(java.io.Reader reader)

Uses of RelationalProbabilisticConditional in org.tweetyproject.logics.rpcl.semantics

Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type RelationalProbabilisticConditional

Modifier and Type	Method	Description
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
abstract boolean	AbstractRpclSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean	AggregatingSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean	AveragingSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean	CondensedProbabilityDistribution.satisfies(RelationalProbabilisticConditional formula)
boolean	RpclProbabilityDistribution.satisfies(RelationalProbabilisticConditional formula)
boolean	RpclSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)	Checks whether the given probability distribution satisfies the given conditional wrt.

Uses of RelationalProbabilisticConditional in org.tweetyproject.logics.rpcl.syntax

Methods in org.tweetyproject.logics.rpcl.syntax that return RelationalProbabilisticConditional

Modifier and Type	Method	Description
RelationalProbabilisticConditional	RelationalProbabilisticConditional.complement()

Constructor parameters in org.tweetyproject.logics.rpcl.syntax with type arguments of type RelationalProbabilisticConditional

Constructor	Description
RpclBeliefSet(java.util.Collection<? extends RelationalProbabilisticConditional> conditionals)	Creates a new conditional belief set with the given collection of conditionals.