net.sf.tweety.logics.commons.syntax

Interfaces

• AssociativeFormulaSupport.AssociativeSupportBridge

Classes

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