Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Packages that use SimpleLogicalFormula

Package	Description
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces

Uses of SimpleLogicalFormula in net.sf.tweety.logics.commons.syntax

Classes in net.sf.tweety.logics.commons.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Class	Description
class	AssociativeFormulaSupport<T extends SimpleLogicalFormula>	This class provides common implementation for associative formulas that are formulas which consists of several other formulas.

Classes in net.sf.tweety.logics.commons.syntax that implement SimpleLogicalFormula

Modifier and Type	Class	Description
class	AssociativeFormulaSupport<T extends SimpleLogicalFormula>	This class provides common implementation for associative formulas that are formulas which consists of several other formulas.
class	ComplexLogicalFormulaAdapter	Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.
class	RelationalFormula	This is the abstract base class for relational formulas, i.e.

Methods in net.sf.tweety.logics.commons.syntax with type parameters of type SimpleLogicalFormula

Modifier and Type	Method	Description
<T extends SimpleLogicalFormula> AssociativeFormula<T>	AssociativeFormulaSupport.AssociativeSupportBridge.createEmptyFormula()
<C extends SimpleLogicalFormula> Set<C>	AssociativeFormulaSupport.getFormulas(Class<C> cls)

Uses of SimpleLogicalFormula in net.sf.tweety.logics.commons.syntax.interfaces

Classes in net.sf.tweety.logics.commons.syntax.interfaces with type parameters of type SimpleLogicalFormula

Modifier and Type	Interface	Description
interface	AssociativeFormula<T extends SimpleLogicalFormula>	This interfaces describes associative formulas like a disjunction or a conjunction.

Subinterfaces of SimpleLogicalFormula in net.sf.tweety.logics.commons.syntax.interfaces

Modifier and Type	Interface	Description
interface	AssociativeFormula<T extends SimpleLogicalFormula>	This interfaces describes associative formulas like a disjunction or a conjunction.
interface	Atom	An atomic language construct, linked to its predicate
interface	ClassicalFormula	This interface models a classical formula, i.e.
interface	ComplexLogicalFormula	A complex logical formula can contain arguments referred as terms, this interface provides methods to substitute and exchange those terms.
interface	Conjunctable	Formulas implementing this interface can be connected by using AND.
interface	Disjunctable	Formulas implementing this interface can be connected using OR.
interface	Invertable	Formulas implementing this interface have a complement
interface	QuantifiedFormula	Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.

Methods in net.sf.tweety.logics.commons.syntax.interfaces with type parameters of type SimpleLogicalFormula

Modifier and Type	Method	Description
<C extends SimpleLogicalFormula> Set<C>	AssociativeFormula.getFormulas(Class<C> cls)	Process the formulas of type C that are children of this associative formula

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return SimpleLogicalFormula

Modifier and Type	Method	Description
SimpleLogicalFormula	SimpleLogicalFormula.clone()	Creates a deep copy of this formula
SimpleLogicalFormula	Conjunctable.combineWithAnd(Conjunctable f)	Returns a conjunction of this and the given formula.
SimpleLogicalFormula	Disjunctable.combineWithOr(Disjunctable f)
SimpleLogicalFormula	QuantifiedFormula.getFormula()