Uses of Class
net.sf.tweety.logics.rcl.syntax.RelationalConditional

Packages that use RelationalConditional

Package	Description
net.sf.tweety.logics.rcl.parser
net.sf.tweety.logics.rcl.reasoner
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax

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 and Description
RelationalConditional	RclParser.parseFormula(java.io.Reader reader)

Uses of RelationalConditional in net.sf.tweety.logics.rcl.reasoner

Method parameters in net.sf.tweety.logics.rcl.reasoner with type arguments of type RelationalConditional

Modifier and Type	Method and Description
private RelationalRankingFunction	RelationalBruteForceCReasoner.constructRankingFunction(java.lang.Integer[] kappa, java.util.Map<java.lang.Integer,RelationalConditional> indexToConditional, FolSignature signature) Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.

Uses of RelationalConditional in net.sf.tweety.logics.rcl.semantics

Methods in net.sf.tweety.logics.rcl.semantics that return types with arguments of type RelationalConditional

Modifier and Type	Method and Description
private java.util.Set<RelationalConditional>	RelationalRankingFunction.getPrototypes(RelationalConditional rc) Returns the set of instances with prototypes.
private java.util.Set<RelationalConditional>	RelationalRankingFunction.getWeakPrototypes(RelationalConditional rc) Returns the set of instances with weak prototypes.

Methods in net.sf.tweety.logics.rcl.semantics with parameters of type RelationalConditional

Modifier and Type	Method and Description
private java.util.Set<RelationalConditional>	RelationalRankingFunction.getPrototypes(RelationalConditional rc) Returns the set of instances with prototypes.
private java.util.Set<RelationalConditional>	RelationalRankingFunction.getWeakPrototypes(RelationalConditional rc) Returns the set of instances with weak prototypes.
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 and Description
RelationalConditional	RelationalConditional.clone()

Constructor parameters in net.sf.tweety.logics.rcl.syntax with type arguments of type RelationalConditional

Constructor and 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 and 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 and 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 and Description
RelationalProbabilisticConditional(RelationalConditional conditional, Probability probability) Creates a new relational probabilistic conditional with the given conditional and probability