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

Packages that use AssociativeFormula

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

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

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

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.

Methods in net.sf.tweety.logics.commons.syntax that return AssociativeFormula

Modifier and Type	Method	Description
<T extends SimpleLogicalFormula> AssociativeFormula<T>	AssociativeFormulaSupport.AssociativeSupportBridge.createEmptyFormula()