Class Hierarchy
- java.lang.Object
- org.tweetyproject.commons.BeliefSet<T,
S> (implements org.tweetyproject.commons.BeliefBase, java.util.Collection<E>) - org.tweetyproject.logics.pl.syntax.PlBeliefSet
- org.tweetyproject.logics.pl.syntax.PlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula)
- org.tweetyproject.logics.pl.syntax.AssociativePlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, java.util.Collection<E>)
- org.tweetyproject.logics.pl.syntax.Conjunction
- org.tweetyproject.logics.pl.syntax.Disjunction
- org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction
- org.tweetyproject.logics.pl.syntax.Equivalence
- org.tweetyproject.logics.pl.syntax.Implication
- org.tweetyproject.logics.pl.syntax.Negation
- org.tweetyproject.logics.pl.syntax.Proposition (implements org.tweetyproject.logics.commons.syntax.interfaces.Atom, java.lang.Comparable<T>)
- org.tweetyproject.logics.pl.syntax.SpecialFormula
- org.tweetyproject.logics.pl.syntax.Contradiction
- org.tweetyproject.logics.pl.syntax.Tautology
- org.tweetyproject.logics.pl.syntax.AssociativePlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, java.util.Collection<E>)
- org.tweetyproject.commons.SingleSetSignature<T> (implements java.lang.Iterable<T>, org.tweetyproject.commons.Signature)
- org.tweetyproject.logics.pl.syntax.PlSignature
- org.tweetyproject.logics.commons.syntax.TypedStructureAdapter (implements java.lang.Comparable<T>, org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure)
- org.tweetyproject.logics.commons.syntax.Predicate
- org.tweetyproject.logics.pl.syntax.PlPredicate
- org.tweetyproject.logics.commons.syntax.Predicate
- org.tweetyproject.commons.BeliefSet<T,