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	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	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.
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	Description
RelationalProbabilisticConditional	RelationalProbabilisticConditional.complement()

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