Uses of Class
net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional

Packages that use RelationalProbabilisticConditional

Package	Description
net.sf.tweety.logics.rpcl
net.sf.tweety.logics.rpcl.parser
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax

Uses of RelationalProbabilisticConditional in net.sf.tweety.logics.rpcl

Constructor parameters in net.sf.tweety.logics.rpcl with type arguments of type RelationalProbabilisticConditional

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

Uses of RelationalProbabilisticConditional in net.sf.tweety.logics.rpcl.parser

Methods in net.sf.tweety.logics.rpcl.parser that return RelationalProbabilisticConditional

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

Uses of RelationalProbabilisticConditional in net.sf.tweety.logics.rpcl.semantics

Methods in net.sf.tweety.logics.rpcl.semantics with parameters of type RelationalProbabilisticConditional

Modifier and Type	Method and Description
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
boolean	RpclSemantics.satisfies(ProbabilityDistribution<?> p, RelationalProbabilisticConditional r) Checks whether the given probability distribution satisfies the given conditional wrt.
boolean	AveragingSemantics.satisfies(ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean	AggregatingSemantics.satisfies(ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
abstract boolean	AbstractRpclSemantics.satisfies(ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
protected boolean	AbstractRpclSemantics.satisfiesGroundConditional(ProbabilityDistribution<?> p, RelationalProbabilisticConditional groundConditional) Checks whether the given ground conditional is satisfied by the given distribution wrt.

Uses of RelationalProbabilisticConditional in net.sf.tweety.logics.rpcl.syntax

Methods in net.sf.tweety.logics.rpcl.syntax that return RelationalProbabilisticConditional

Modifier and Type	Method and Description
RelationalProbabilisticConditional	RelationalProbabilisticConditional.complement()