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

Package Hierarchies:

• All Packages

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.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