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	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	Description
abstract RankingFunction	AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase)
RankingFunction	CReasoner.getModel(ClBeliefSet kb)
RankingFunction	RuleBasedCReasoner.getModel(ClBeliefSet beliefset)
RankingFunction	SimpleCReasoner.getModel(ClBeliefSet beliefset)
RankingFunction	ZReasoner.getModel(ClBeliefSet beliefset)
Collection<RankingFunction>	AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)
Boolean	AbstractConditionalLogicReasoner.query(ClBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula 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	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	Description
ClBeliefSet	ClBeliefSet.clone()