Hierarchy For Package org.tweetyproject.logics.commons.syntax.interfaces
Package Hierarchies: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)
- org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
- 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)
- java.util.List<E>
- java.util.Collection<E>
- 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.ComplexLogicalFormula (also extends org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
- 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
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)