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

Packages that use RelationalProbabilisticConditional

Package	Description
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.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<Interpretation<FolBeliefSet,FolFormula>,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<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
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)
boolean	RpclProbabilityDistribution.satisfies(RelationalProbabilisticConditional formula)
boolean	CondensedProbabilityDistribution.satisfies(RelationalProbabilisticConditional formula)
boolean	RpclSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r) Checks whether the given probability distribution satisfies the given conditional wrt.
boolean	AveragingSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
abstract boolean	AbstractRpclSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean	AggregatingSemantics.satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
protected boolean	AbstractRpclSemantics.satisfiesGroundConditional(RpclProbabilityDistribution<?> 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()

Constructor parameters in net.sf.tweety.logics.rpcl.syntax 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.