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

Packages that use RclBeliefSet

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

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

Subclasses with type arguments of type RclBeliefSet 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 RclBeliefSet

Modifier and Type	Method	Description
RclBeliefSet	RclParser.parseBeliefBase(Reader reader)

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

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

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

Methods in org.tweetyproject.logics.rcl.reasoner with parameters of type RclBeliefSet

Modifier and Type	Method	Description
RelationalRankingFunction	SimpleRelationalCReasoner.getModel(RclBeliefSet bbase)
RelationalRankingFunction	SimpleRelationalCReasoner.getModel(RclBeliefSet bs, FolSignature signature)	Retrieves the C representation of the given belief set wrt.
Collection<RelationalRankingFunction>	SimpleRelationalCReasoner.getModels(RclBeliefSet bbase)
Boolean	SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query)
Boolean	SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query, FolSignature signature)	Queries the given belief set wrt.

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

Subclasses with type arguments of type RclBeliefSet 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 RclBeliefSet

Modifier and Type	Method	Description
boolean	RelationalRankingFunction.satisfies(RclBeliefSet beliefBase)