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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.tweetyproject.logics.commons.syntax.interfaces.Atom.AtomImpl

Interface Hierarchy

• org.tweetyproject.commons.BeliefBase
  • org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram<C,P,T>
• org.tweetyproject.commons.Formula
  • org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
    • org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T> (also extends java.util.List<E>)
    • org.tweetyproject.logics.commons.syntax.interfaces.Atom
    • org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure)
      • org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
    • org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable
      • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Invertable, org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware)
    • org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable
      • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Invertable, org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware)
    • org.tweetyproject.logics.commons.syntax.interfaces.Invertable
      • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable, org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware)
• java.lang.Iterable<T>
  • java.util.Collection<E>
    • java.util.List<E>
      • org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T> (also extends org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
• org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure
  • org.tweetyproject.logics.commons.syntax.interfaces.ComplexLogicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
    • org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula
  • org.tweetyproject.logics.commons.syntax.interfaces.Term<T>
• org.tweetyproject.logics.commons.syntax.interfaces.ProbabilityAware
  • org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.Conjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Disjunctable, org.tweetyproject.logics.commons.syntax.interfaces.Invertable)
• org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • org.tweetyproject.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE