Uses of Class net.sf.tweety.logics.rcl.syntax.RelationalConditional (Tweety (Relational Conditional Logic Library) 1.17 API)

Packages that use RelationalConditional
Package Description

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.parser

Methods in net.sf.tweety.logics.rcl.parser that return RelationalConditional
Modifier and Type Method 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	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.
`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(Collection<? extends RelationalConditional> conditionals)`	Creates a new relational conditional belief set with the given collection of relational conditionals.