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