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.booleanRelationalRankingFunction.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 TypeClassDescriptionclassThis 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