Uses of Class
org.tweetyproject.logics.cl.syntax.ClBeliefSet

Packages that use ClBeliefSet

Package	Description
org.tweetyproject.logics.cl.parser
org.tweetyproject.logics.cl.reasoner
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.translators.adfcl
org.tweetyproject.logics.translators.adfrevision
org.tweetyproject.logics.translators.clnlp

Uses of ClBeliefSet in org.tweetyproject.logics.cl.parser

Methods in org.tweetyproject.logics.cl.parser that return ClBeliefSet

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

Uses of ClBeliefSet in org.tweetyproject.logics.cl.reasoner

Methods in org.tweetyproject.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, PlFormula formula)

Uses of ClBeliefSet in org.tweetyproject.logics.cl.semantics

Methods in org.tweetyproject.logics.cl.semantics with parameters of type ClBeliefSet

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

Uses of ClBeliefSet in org.tweetyproject.logics.cl.syntax

Methods in org.tweetyproject.logics.cl.syntax that return ClBeliefSet

Modifier and Type	Method	Description
ClBeliefSet	ClBeliefSet.clone()

Uses of ClBeliefSet in org.tweetyproject.logics.translators.adfcl

Methods in org.tweetyproject.logics.translators.adfcl that return ClBeliefSet

Modifier and Type	Method	Description
ClBeliefSet	ConverterADF2CL.getBeliefSetFromADF(AbstractDialecticalFramework adf, int theta)	Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"

Uses of ClBeliefSet in org.tweetyproject.logics.translators.adfrevision

Methods in org.tweetyproject.logics.translators.adfrevision with parameters of type ClBeliefSet

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

Uses of ClBeliefSet in org.tweetyproject.logics.translators.clnlp

Methods in org.tweetyproject.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 org.tweetyproject.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.