Uses of Interface
net.sf.tweety.commons.BeliefBase

Packages that use BeliefBase

Package	Description
net.sf.tweety.commons

Uses of BeliefBase in net.sf.tweety.commons

Classes in net.sf.tweety.commons with type parameters of type BeliefBase

Modifier and Type	Class and Description
class	BeliefBaseSampler<S extends BeliefBase> This abstract class models a sampler for belief bases.
class	Parser<T extends BeliefBase> This class models an abstract parser for belief bases and formulas.

Classes in net.sf.tweety.commons that implement BeliefBase

Modifier and Type	Class and Description
class	BeliefSet<T extends Formula> This class models a belief set, i.e.

Methods in net.sf.tweety.commons that return BeliefBase

Modifier and Type	Method and Description
BeliefBase	Answer.getKnowledgeBase() Returns the knowledge base this answer relates to.
BeliefBase	Reasoner.getKnowledgeBase() Returns the knowledge base of this reasoner.
BeliefBase	BeliefBaseMachineShop.repair(BeliefBase beliefBase) Repairs the given belief base, i.e.

Methods in net.sf.tweety.commons with parameters of type BeliefBase

Modifier and Type	Method and Description
abstract boolean	Language.isRepresentable(BeliefBase beliefBase) Checks whether the given knowledge base is representable in this language.
BeliefBase	BeliefBaseMachineShop.repair(BeliefBase beliefBase) Repairs the given belief base, i.e.
boolean	Interpretation.satisfies(BeliefBase beliefBase) Checks whether this interpretation satisfies the given knowledge base.

Constructors in net.sf.tweety.commons with parameters of type BeliefBase

Constructor and Description
Answer(BeliefBase beliefBase, Formula query) Creates an empty answer for the given query.
Reasoner(BeliefBase beliefBase) Creates a new reasoner for the given knowledge base.