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
net.sf.tweety.logics.translators.clnlp

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(java.io.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)
java.util.Collection<RankingFunction>	AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)
java.lang.Boolean	AbstractConditionalLogicReasoner.query(ClBeliefSet beliefbase, 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()

Uses of ClBeliefSet in net.sf.tweety.logics.translators.clnlp

Methods in net.sf.tweety.logics.translators.clnlp that return ClBeliefSet

Modifier and Type	Method	Description
ClBeliefSet	ClNLPTranslator.toCl(NLPProgram program)	Translate the given NLP-program into a conditional belief set.

Methods in net.sf.tweety.logics.translators.clnlp with parameters of type ClBeliefSet

Modifier and Type	Method	Description
NLPProgram	ClNLPTranslator.toNLP(ClBeliefSet conditionals)	Translate the given conditional belief set into a NLP-program.