Hierarchy For Package org.tweetyproject.logics.commons.syntax

Package Hierarchies:

• All Packages

Class Hierarchy

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

Interface Hierarchy

• org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge