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.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 and Description
class	BeliefSet<T extends Formula> This class models a belief set, i.e.
class	EntailmentRelation<T extends Formula> An entailment relation determines whether a formula is entailed from another formula.
class	FormulaSampler<T extends Formula> This abstract class models a sampler for formulas.
class	InterpretationSet<T extends Formula> This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

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

Modifier and Type	Method and Description
Formula	Answer.getQuery() Returns the query this answer relates to.
abstract Formula	Parser.parseFormula(Reader reader) Parses the given reader into a formula of the given type.
Formula	Parser.parseFormula(String text) Parses the given text into a formula of the given type.
Formula	Parser.parseFormulaFromFile(String filename) Parses the file of the given filename into a formula of the given type.

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

Modifier and Type	Method and Description
abstract boolean	Language.isRepresentable(Formula formula) Checks whether the given formula is representable in this language.
abstract Answer	Reasoner.query(Formula query) This method determines the answer of the given query wrt.
boolean	Interpretation.satisfies(Formula formula) Checks whether this interpretation satisfies the given formula.

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

Modifier and Type	Method and Description
InterpretationIterator<T>	InterpretationIterator.reset(Collection<? extends Formula> formulas) Initializes a new reseted iterator for the given signature derived from the given set of formulas.
boolean	AbstractInterpretation.satisfies(Collection<? extends Formula> formulas) Checks whether this interpretation satisfies all given formulas.
boolean	Interpretation.satisfies(Collection<? extends Formula> formulas) Checks whether this interpretation satisfies all given formulas.

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

Constructor and Description
Answer(BeliefBase beliefBase, Formula query) Creates an empty answer for the given query.

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 and Description
class	DrasticDistance<T extends Interpretation,S extends Formula> This class models the drastic distance measure between interpretations, see [Grant, Hunter.
interface	InterpretationDistance<T extends Interpretation,S extends Formula> Classes implementing this interface represent distance functions between two interpretations.

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 and 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	Class and Description
class	DerivationGraph<F extends Formula,R extends Rule<F,F>>
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 and 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 and 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 and 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 and 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