Uses of Class
net.sf.tweety.logics.cl.syntax.ClBeliefSet

Packages that use ClBeliefSet

Package	Description
net.sf.tweety.logics.cl.parser
net.sf.tweety.logics.cl.reasoner
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.cl.syntax

Uses of ClBeliefSet in net.sf.tweety.logics.cl.parser

Methods in net.sf.tweety.logics.cl.parser that return ClBeliefSet

Modifier and Type	Method and Description
ClBeliefSet	ClParser.parseBeliefBase(Reader reader)

Uses of ClBeliefSet in net.sf.tweety.logics.cl.reasoner

Methods in net.sf.tweety.logics.cl.reasoner with parameters of type ClBeliefSet

Modifier and Type	Method and Description
RankingFunction	RuleBasedCReasoner.getModel(ClBeliefSet beliefset)
RankingFunction	CReasoner.getModel(ClBeliefSet kb)
RankingFunction	SimpleCReasoner.getModel(ClBeliefSet beliefset)
abstract RankingFunction	AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase)
RankingFunction	ZReasoner.getModel(ClBeliefSet beliefset)
Collection<RankingFunction>	AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)
Boolean	AbstractConditionalLogicReasoner.query(ClBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PropositionalFormula formula)

Uses of ClBeliefSet in net.sf.tweety.logics.cl.semantics

Methods in net.sf.tweety.logics.cl.semantics with parameters of type ClBeliefSet

Modifier and Type	Method and Description
boolean	RankingFunction.satisfies(ClBeliefSet beliefBase)

Uses of ClBeliefSet in net.sf.tweety.logics.cl.syntax

Methods in net.sf.tweety.logics.cl.syntax that return ClBeliefSet

Modifier and Type	Method and Description
ClBeliefSet	ClBeliefSet.clone()