Uses of Class
net.sf.tweety.logics.rcl.syntax.RclBeliefSet

Packages that use RclBeliefSet

Package	Description
net.sf.tweety.logics.rcl.parser
net.sf.tweety.logics.rcl.reasoner
net.sf.tweety.logics.rcl.semantics

Uses of RclBeliefSet in net.sf.tweety.logics.rcl.parser

Methods in net.sf.tweety.logics.rcl.parser that return RclBeliefSet

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

Uses of RclBeliefSet in net.sf.tweety.logics.rcl.reasoner

Methods in net.sf.tweety.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 net.sf.tweety.logics.rcl.semantics

Methods in net.sf.tweety.logics.rcl.semantics with parameters of type RclBeliefSet

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