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

Packages that use Formula

Package	Description
net.sf.tweety.commons
net.sf.tweety.commons.analysis
net.sf.tweety.commons.postulates
net.sf.tweety.commons.streams
net.sf.tweety.commons.util.rules

Uses of Formula in net.sf.tweety.commons

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

Modifier and Type	Class	Description
class	AbstractInterpretation<B extends BeliefBase,S extends Formula>	An abstract interpretation for some logical language.
class	BeliefSet<T extends Formula,S extends Signature>	This class models a belief set, i.e.
interface	BeliefSetIterator<T extends Formula,U extends BeliefSet<T,?>>	Classes implementing this interface are able to enumerate belief sets.
class	BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>>	This abstract class models a random sampler for belief sets.
class	FormulaSampler<T extends Formula>	This abstract class models a sampler for formulas.
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.
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	KernelProvider<T extends Formula>	Classes implementing this interface are able to provide kernels (=minimal proofs).
interface	ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>	Instances of this interface model reasoners 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.

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

Modifier and Type	Method	Description
boolean	BeliefSet.add(T... formulas)	Adds the specified elements to the end of this collection (optional operation).
boolean	InterpretationSet.add(T... elements)	Adds the specified elements to the end of this collection (optional operation).

Method parameters in net.sf.tweety.commons with type arguments of type Formula

Modifier and Type	Method	Description
InterpretationIterator<S,B,T>	InterpretationIterator.reset(Collection<? extends Formula> formulas)	Initializes a new reseted iterator for the given signature derived from the given set of formulas.

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

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

Modifier and Type	Class	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.

Uses of Formula in net.sf.tweety.commons.postulates

Classes in net.sf.tweety.commons.postulates with type parameters of type Formula

Modifier and Type	Interface	Description
interface	Postulate<S extends Formula>	Models a general (rationality) postulate, i.e.
interface	PostulateEvaluatable<S extends Formula>	Classes implementing this interface can be evaluated wrt.
class	PostulateEvaluationReport<S extends Formula>	Summarises the results of a postulate evaluation.
class	PostulateEvaluator<T extends Formula,U extends BeliefSet<T,?>>	Evaluates some approach (reasoner, measure, etc.) wrt.

Uses of Formula in net.sf.tweety.commons.streams

Classes in net.sf.tweety.commons.streams with type parameters of type Formula

Modifier and Type	Class	Description
class	DefaultFormulaStream<S extends Formula>	This class models a default stream on the formulas of a given collection.
interface	FormulaStream<S extends Formula>	This interface models a stream on formulas.

Uses of Formula in net.sf.tweety.commons.util.rules

Classes in net.sf.tweety.commons.util.rules with type parameters of type Formula

Modifier and Type	Interface	Description
interface	Rule<C extends Formula,P extends Formula>	This interface models a general rule, i.e.
interface	Rule<C extends Formula,P extends Formula>	This interface models a general rule, i.e.

Subinterfaces of Formula in net.sf.tweety.commons.util.rules

Modifier and Type	Interface	Description
interface	Rule<C extends Formula,P extends Formula>	This interface models a general rule, i.e.

Methods in net.sf.tweety.commons.util.rules that return Formula

Modifier and Type	Method	Description
Formula	Derivation.getConclusion()	Returns the conclusion of this derivation.

Methods in net.sf.tweety.commons.util.rules that return types with arguments of type Formula

Modifier and Type	Method	Description
Set<Formula>	RuleSet.getConclusions()	Returns all conclusions of all rules of this rule set.
Set<Formula>	RuleSet.getPremises()	Returns all premises appearing in this rule set.

Methods in net.sf.tweety.commons.util.rules with parameters of type Formula

Modifier and Type	Method	Description
static <S extends Rule<?,?>> Set<Derivation<S>>	Derivation.allDerivations(Collection<? extends S> rules, Formula conclusion)	Returns the set of all possible derivations with the given conclusion from the set of rules.
Set<T>	RuleSet.getRulesWithConclusion(Formula f)	Returns all rules this set with the given conclusion
RuleSet<T>	RuleSet.getSyntacticModule(Formula f)	Returns the maximal subset of this rule set that is closed under "syntactic" neighbourhood relationship for the given formula.