Hierarchy For Package net.sf.tweety.logics.commons.syntax

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter (implements net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula)
    • net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<T> (implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<T>)
  • net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport<T>
  • net.sf.tweety.logics.commons.syntax.RelationalFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula)
  • net.sf.tweety.logics.commons.syntax.Sort (implements net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure)
  • net.sf.tweety.logics.commons.syntax.TermAdapter<T> (implements net.sf.tweety.logics.commons.syntax.interfaces.Term<T>)
    • net.sf.tweety.logics.commons.syntax.FunctionalTerm
    • net.sf.tweety.logics.commons.syntax.NumberTerm
    • net.sf.tweety.logics.commons.syntax.StringTerm
      • net.sf.tweety.logics.commons.syntax.Constant
      • net.sf.tweety.logics.commons.syntax.Variable
  • net.sf.tweety.logics.commons.syntax.TypedStructureAdapter (implements java.lang.Comparable<T>, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure)
    • net.sf.tweety.logics.commons.syntax.Functor
    • net.sf.tweety.logics.commons.syntax.Predicate

Interface Hierarchy

• net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge