Uses of Class
org.tweetyproject.logics.rcl.syntax.RelationalConditional
Packages that use RelationalConditional
Package
Description
-
Uses of RelationalConditional in org.tweetyproject.logics.rcl.parser
Methods in org.tweetyproject.logics.rcl.parser that return RelationalConditional -
Uses of RelationalConditional in org.tweetyproject.logics.rcl.semantics
Methods in org.tweetyproject.logics.rcl.semantics with parameters of type RelationalConditionalModifier 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
Methods in org.tweetyproject.logics.rcl.syntax that return RelationalConditionalConstructor parameters in org.tweetyproject.logics.rcl.syntax with type arguments of type RelationalConditionalModifierConstructorDescriptionRclBeliefSet
(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
Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type RelationalConditionalModifier 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
Subclasses of RelationalConditional in org.tweetyproject.logics.rpcl.syntaxModifier and TypeClassDescriptionclass
This class represents a relational probabilistic conditional, i.e.Constructors in org.tweetyproject.logics.rpcl.syntax with parameters of type RelationalConditionalModifierConstructorDescriptionRelationalProbabilisticConditional
(RelationalConditional conditional, Probability probability) Creates a new relational probabilistic conditional with the given conditional and probability