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

Packages that use RelationalConditional

Package	Description
net.sf.tweety.logics.rcl
net.sf.tweety.logics.rcl.parser
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

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

Modifier and Type	Field and Description
private java.util.Map<java.lang.Integer,RelationalConditional>	RelationalBruteForceCReasoner.indexToConditional Maps the indices of the kappa vector to their corresponding conditionals.

Constructor parameters in net.sf.tweety.logics.rcl 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.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.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.

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()

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