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(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(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
net.sf.tweety.math.equation.Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<? extends net.sf.tweety.commons.Interpretation,net.sf.tweety.math.term.FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
net.sf.tweety.math.equation.Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<? extends net.sf.tweety.commons.Interpretation,net.sf.tweety.math.term.FloatVariable> worlds2vars)
abstract net.sf.tweety.math.equation.Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<? extends net.sf.tweety.commons.Interpretation,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<? extends net.sf.tweety.commons.Interpretation,net.sf.tweety.math.term.FloatVariable> worlds2vars)
boolean	RpclSemantics.satisfies(net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> p, RelationalProbabilisticConditional r) Checks whether the given probability distribution satisfies the given conditional wrt.
boolean	AveragingSemantics.satisfies(net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
abstract boolean	AbstractRpclSemantics.satisfies(net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
boolean	AggregatingSemantics.satisfies(net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> p, RelationalProbabilisticConditional r)
protected boolean	AbstractRpclSemantics.satisfiesGroundConditional(net.sf.tweety.logics.pcl.semantics.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()