Uses of Class
org.tweetyproject.logics.rcl.syntax.RelationalConditional
Package
Description
-
Uses of RelationalConditional in org.tweetyproject.logics.rcl.parser
-
Uses of RelationalConditional in org.tweetyproject.logics.rcl.semantics
Modifier and TypeMethodDescriptionRelationalRankingFunction.numFalsifiedInstances
(HerbrandInterpretation w, RelationalConditional rc) Returns the number of instances of "rc" that are falsified by the given interpretation.RelationalRankingFunction.numVerifiedInstances
(HerbrandInterpretation w, RelationalConditional rc) Returns the number of instances of "rc" that are verified by the given interpretation.boolean
RelationalRankingFunction.satisfies
(RelationalConditional formula) -
Uses of RelationalConditional in org.tweetyproject.logics.rcl.syntax
ModifierConstructorDescriptionRclBeliefSet
(Collection<? extends RelationalConditional> conditionals) Creates a new relational conditional belief set with the given collection of relational conditionals. -
Uses of RelationalConditional in org.tweetyproject.logics.rpcl.semantics
Modifier and TypeMethodDescriptionRpclProbabilityDistribution.probability
(RelationalConditional re) Gets the probability of the given closed relational conditional "re", i.e. -
Uses of RelationalConditional in org.tweetyproject.logics.rpcl.syntax
Modifier and TypeClassDescriptionclass
This class represents a relational probabilistic conditional, i.e.ModifierConstructorDescriptionRelationalProbabilisticConditional
(RelationalConditional conditional, Probability probability) Creates a new relational probabilistic conditional with the given conditional and probability