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

Packages that use ClBeliefSet

Package	Description
net.sf.tweety.logics.cl.examples
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.examples

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

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

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

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

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.reasoner

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

Modifier and Type	Method and Description
private java.util.ArrayList<ClBeliefSet>	ZReasoner.partition(ClBeliefSet kb, java.util.Set<PossibleWorld> omega) 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.reasoner with parameters of type ClBeliefSet

Modifier and Type	Method and Description
private RankingFunction	BruteForceCReasoner.constructRankingFunction(ClBeliefSet beliefset, java.lang.Integer[] kappa) Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
private void	BruteForceCReasoner.filter(java.util.ArrayList<PropositionalFormula> list, ClBeliefSet beliefset)
RankingFunction	RuleBasedCReasoner.getModel(ClBeliefSet beliefset)
RankingFunction	CReasoner.getModel(ClBeliefSet kb)
RankingFunction	BruteForceCReasoner.getModel(ClBeliefSet beliefset)
abstract RankingFunction	AbstractConditionalLogicReasoner.getModel(ClBeliefSet bbase)
RankingFunction	ZReasoner.getModel(ClBeliefSet beliefset)
java.util.Collection<RankingFunction>	AbstractConditionalLogicReasoner.getModels(ClBeliefSet bbase)
private boolean	ZReasoner.isTolerated(Conditional f, ClBeliefSet kb, java.util.Set<PossibleWorld> omega) 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).
private java.util.ArrayList<ClBeliefSet>	ZReasoner.partition(ClBeliefSet kb, java.util.Set<PossibleWorld> omega) Returns a partitioning of a knowledge base into partitions containing all conditionals that tolerate the remaining set of conditionals of a knowledge base.
java.lang.Boolean	AbstractConditionalLogicReasoner.query(ClBeliefSet beliefbase, 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()

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.