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

Packages that use BeliefBase

Package	Description
net.sf.tweety.commons
net.sf.tweety.commons.analysis

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	AbstractInterpretation<B extends BeliefBase,S extends Formula> An abstract interpretation for some logical language.
interface	Interpretation<B extends BeliefBase,S extends Formula> An interpretation for some logical language.
interface	InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> An iterator over interpretations.
class	InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula> This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
interface	ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> Instances of this interface model reasoner that determine the (selected) models for a given set of formulas.
class	Parser<T extends BeliefBase,S extends Formula> This class models an abstract parser for belief bases and formulas.
interface	QualitativeReasoner<B extends BeliefBase,F extends Formula> The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.
interface	QuantitativeReasoner<B extends BeliefBase,F extends Formula> The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.
interface	Reasoner<O,B extends BeliefBase,F extends Formula> The general interface for objects that are able to query a belief base with some formula.

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	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
BeliefBase	BeliefBaseMachineShop.repair(BeliefBase beliefBase) Repairs the given belief base, i.e.

Uses of BeliefBase in net.sf.tweety.commons.analysis

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

Modifier and Type	Class and Description
class	DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> This class models the drastic distance measure between interpretations, see [Grant, Hunter.
interface	InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> Classes implementing this interface represent distance functions between two interpretations.