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 and 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 and Description
RelationalRankingFunction	RelationalBruteForceCReasoner.getModel(RclBeliefSet bbase)
RelationalRankingFunction	RelationalBruteForceCReasoner.getModel(RclBeliefSet bs, FolSignature signature) Retrieves the C representation of the given belief set wrt.
java.util.Collection<RelationalRankingFunction>	RelationalBruteForceCReasoner.getModels(RclBeliefSet bbase)
java.lang.Boolean	RelationalBruteForceCReasoner.query(RclBeliefSet bs, FolFormula query)
java.lang.Boolean	RelationalBruteForceCReasoner.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 and Description
boolean	RelationalRankingFunction.satisfies(RclBeliefSet beliefBase)