Uses of Class
org.tweetyproject.logics.rcl.syntax.RelationalConditional

Packages that use RelationalConditional

Package	Description
org.tweetyproject.logics.rcl.parser
org.tweetyproject.logics.rcl.reasoner
org.tweetyproject.logics.rcl.semantics
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.rpcl.syntax

Uses of RelationalConditional in org.tweetyproject.logics.rcl.parser

Subclasses with type arguments of type RelationalConditional in org.tweetyproject.logics.rcl.parser

Modifier and Type	Class	Description
class	RclParser	This class implements a parser for relational conditional logic.

Methods in org.tweetyproject.logics.rcl.parser that return RelationalConditional

Modifier and Type	Method	Description
RelationalConditional	RclParser.parseFormula(Reader reader)

Uses of RelationalConditional in org.tweetyproject.logics.rcl.reasoner

Classes in org.tweetyproject.logics.rcl.reasoner that implement interfaces with type arguments of type RelationalConditional

Modifier and Type	Class	Description
class	SimpleRelationalCReasoner	This class models a relational brute force c-reasoner for relational conditional logic.

Uses of RelationalConditional in org.tweetyproject.logics.rcl.semantics

Subclasses with type arguments of type RelationalConditional in org.tweetyproject.logics.rcl.semantics

Modifier and Type	Class	Description
class	RelationalRankingFunction	A relational ranking function (or relational ordinal conditional function, ROCF) that maps Herbrand interpretations to integers.

Methods in org.tweetyproject.logics.rcl.semantics with parameters of type RelationalConditional

Modifier and Type	Method	Description
Integer	RelationalRankingFunction.numFalsifiedInstances(HerbrandInterpretation w, RelationalConditional rc)	Returns the number of instances of "rc" that are falsified by the given interpretation.
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 org.tweetyproject.logics.rcl.syntax

Subclasses with type arguments of type RelationalConditional in org.tweetyproject.logics.rcl.syntax

Modifier and Type	Class	Description
class	RclBeliefSet	This class models a belief set on relational conditional logic, i.e.

Methods in org.tweetyproject.logics.rcl.syntax that return RelationalConditional

Modifier and Type	Method	Description
RelationalConditional	RelationalConditional.clone()

Constructor parameters in org.tweetyproject.logics.rcl.syntax with type arguments of type RelationalConditional

Modifier	Constructor	Description
	RclBeliefSet(Collection<? extends RelationalConditional> conditionals)	Creates a new relational conditional belief set with the given collection of relational conditionals.

Uses of RelationalConditional in org.tweetyproject.logics.rpcl.semantics

Methods in org.tweetyproject.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 org.tweetyproject.logics.rpcl.syntax

Subclasses of RelationalConditional in org.tweetyproject.logics.rpcl.syntax

Modifier and Type	Class	Description
class	RelationalProbabilisticConditional	This class represents a relational probabilistic conditional, i.e.

Constructors in org.tweetyproject.logics.rpcl.syntax with parameters of type RelationalConditional

Modifier	Constructor	Description
	RelationalProbabilisticConditional(RelationalConditional conditional, Probability probability)	Creates a new relational probabilistic conditional with the given conditional and probability