Hierarchy For Package net.sf.tweety.logics.pl.syntax

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.sf.tweety.logics.pl.syntax.PropositionalFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula)
    • net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<T>, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, java.util.Collection<E>)
      • net.sf.tweety.logics.pl.syntax.Conjunction
      • net.sf.tweety.logics.pl.syntax.Disjunction
    • net.sf.tweety.logics.pl.syntax.Negation
    • net.sf.tweety.logics.pl.syntax.Proposition (implements net.sf.tweety.logics.commons.syntax.interfaces.Atom, java.lang.Comparable<T>)
    • net.sf.tweety.logics.pl.syntax.SpecialFormula
      • net.sf.tweety.logics.pl.syntax.Contradiction
      • net.sf.tweety.logics.pl.syntax.Tautology
  • net.sf.tweety.commons.Signature
    • net.sf.tweety.commons.SetSignature<T> (implements java.util.Collection<E>)
      • net.sf.tweety.logics.pl.syntax.PropositionalSignature
  • net.sf.tweety.logics.commons.syntax.TypedStructureAdapter (implements java.lang.Comparable<T>, net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure)
    • net.sf.tweety.logics.commons.syntax.Predicate
      • net.sf.tweety.logics.pl.syntax.PropositionalPredicate