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

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

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

Constructor and Description
RclBeliefSet(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(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 and Description
Integer	RelationalRankingFunction.numFalsifiedInstances(net.sf.tweety.logics.fol.semantics.HerbrandInterpretation w, RelationalConditional rc) Returns the number of instances of "rc" that are falsified by the given interpretation.
Integer	RelationalRankingFunction.numVerifiedInstances(net.sf.tweety.logics.fol.semantics.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()