Uses of Class
net.sf.tweety.logics.rcl.syntax.RelationalConditional
-
-
Uses of RelationalConditional in net.sf.tweety.logics.rcl.parser
Methods in net.sf.tweety.logics.rcl.parser that return RelationalConditional Modifier and Type Method Description RelationalConditional
RclParser. parseFormula(java.io.Reader reader)
-
Uses of RelationalConditional in net.sf.tweety.logics.rcl.semantics
Methods in net.sf.tweety.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 net.sf.tweety.logics.rcl.syntax
Methods in net.sf.tweety.logics.rcl.syntax that return RelationalConditional Modifier and Type Method Description RelationalConditional
RelationalConditional. clone()
Constructor parameters in net.sf.tweety.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 net.sf.tweety.logics.rpcl.semantics
Methods in net.sf.tweety.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 net.sf.tweety.logics.rpcl.syntax
Subclasses of RelationalConditional in net.sf.tweety.logics.rpcl.syntax Modifier and Type Class Description class
RelationalProbabilisticConditional
This class represents a relational probabilistic conditional, i.e.Constructors in net.sf.tweety.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
-