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

Packages that use ClBeliefSet

Package	Description
net.sf.tweety.logics.cl
net.sf.tweety.logics.cl.parser
net.sf.tweety.logics.cl.test
net.sf.tweety.logics.translators.clnlp

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

Fields in net.sf.tweety.logics.cl declared as ClBeliefSet

Modifier and Type	Field and Description
private ClBeliefSet	RuleBasedCReasoner.beliefBase the belief base that is reasoned on
private ClBeliefSet	RelevanceReasoner.extension The extension of the knowledgebase.

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

Modifier and Type	Method and Description
ClBeliefSet	ClBeliefSet.clone()
private ClBeliefSet	RelevanceReasoner.computeExtension() Computes the extended knowledge base this reasoner bases on.
ClBeliefSet	RelevanceReasoner.getExtension() Returns the extended knowledge base this reasoner bases on.

Methods in net.sf.tweety.logics.cl that return types with arguments of type ClBeliefSet

Modifier and Type	Method and Description
private java.util.ArrayList<ClBeliefSet>	ZReasoner.partition(BeliefBase kb) Returns a partitioning of a knowledge base into partitions containing all conditionals that tolerate the remaining set of conditionals of a knowledge base.

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

Modifier and Type	Method and Description
private void	BruteForceCReasoner.filter(java.util.ArrayList<PropositionalFormula> list, ClBeliefSet beliefset)
private boolean	ZReasoner.isTolerated(Conditional f, ClBeliefSet kb) Checks whether or not the given formula is tolerated by the knowledge base, i.e., there is a world omega that satisfies the formula and does not falsify each conditional (B|A) in the knowledge base (it satisfies the material implication A => B).

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

Constructor and Description
RuleBasedCReasoner(ClBeliefSet beliefBase)
RuleBasedCReasoner(ClBeliefSet beliefBase, boolean humanFriendly)

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(java.io.Reader reader)

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

Fields in net.sf.tweety.logics.cl.test declared as ClBeliefSet

Modifier and Type	Field and Description
private static ClBeliefSet[]	ReasonerCompare.beliefSets

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

Modifier and Type	Method and Description
private static void	ReasonerCompare.test(ClBeliefSet beliefset)

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 and 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 and Description
NLPProgram	ClNLPTranslator.toNLP(ClBeliefSet conditionals) Translate the given conditional belief set into a NLP-program.