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 and 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 and 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 and 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 and 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 and 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	Conjuctable 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 and 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 and Description
SimpleLogicalFormula	SimpleLogicalFormula.clone() Creates a deep copy of this formula
SimpleLogicalFormula	Conjuctable.combineWithAnd(Conjuctable f) Returns a conjunction of this and the given formula.
SimpleLogicalFormula	Disjunctable.combineWithOr(Disjunctable f)
SimpleLogicalFormula	QuantifiedFormula.getFormula()