Uses of Class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional (Tweety (Relational Probabilistic Conditional Logic Library) 1.16 API)

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(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 net.sf.tweety.math.equation.Statement`	AbstractRpclSemantics.`getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.FloatVariable> worlds2vars)`
`net.sf.tweety.math.equation.Statement`	AggregatingSemantics.`getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.FloatVariable> worlds2vars)`
`net.sf.tweety.math.equation.Statement`	AveragingSemantics.`getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.FloatVariable> worlds2vars)`
`net.sf.tweety.math.equation.Statement`	RpclSemantics.`getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.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(Collection<? extends RelationalProbabilisticConditional> conditionals)`	Creates a new conditional belief set with the given collection of conditionals.