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