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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl

Interface Hierarchy

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

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE