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

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

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

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

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.
java.util.Collection<RelationalRankingFunction>	SimpleRelationalCReasoner.getModels(RclBeliefSet bbase)
java.lang.Boolean	SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query)
java.lang.Boolean	SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query, FolSignature signature)	Queries the given belief set wrt.

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

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

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