net.sf.tweety.logics.commons.syntax

Interfaces

• AssociativeFormulaSupport.AssociativeSupportBridge

Classes

• AssociativeFormulaSupport
• ComplexLogicalFormulaAdapter
• Constant
• FunctionalTerm
• Functor
• NumberTerm
• Predicate
• QuantifiedFormulaSupport
• RelationalFormula
• Sort
• StringTerm
• TermAdapter
• TypedStructureAdapter
• Variable