Uses of Class
org.tweetyproject.logics.rcl.syntax.RelationalConditional
-
-
Uses of RelationalConditional in org.tweetyproject.logics.rcl.parser
Methods in org.tweetyproject.logics.rcl.parser that return RelationalConditional Modifier and Type Method Description RelationalConditional
RclParser. parseFormula(java.io.Reader reader)
-
Uses of RelationalConditional in org.tweetyproject.logics.rcl.semantics
Methods in org.tweetyproject.logics.rcl.semantics with parameters of type RelationalConditional Modifier and Type Method Description java.lang.Integer
RelationalRankingFunction. numFalsifiedInstances(HerbrandInterpretation w, RelationalConditional rc)
Returns the number of instances of "rc" that are falsified by the given interpretation.java.lang.Integer
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 RelationalConditional Modifier and Type Method Description RelationalConditional
RelationalConditional. clone()
Constructor parameters in org.tweetyproject.logics.rcl.syntax with type arguments of type RelationalConditional Constructor Description RclBeliefSet(java.util.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 RelationalConditional Modifier and Type Method Description Probability
RpclProbabilityDistribution. 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.syntax Modifier and Type Class Description class
RelationalProbabilisticConditional
This class represents a relational probabilistic conditional, i.e.Constructors in org.tweetyproject.logics.rpcl.syntax with parameters of type RelationalConditional Constructor Description RelationalProbabilisticConditional(RelationalConditional conditional, Probability probability)
Creates a new relational probabilistic conditional with the given conditional and probability
-