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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.sf.tweety.commons.BeliefSet<T,S> (implements net.sf.tweety.commons.BeliefBase, java.util.Collection<E>)
    • net.sf.tweety.logics.pl.syntax.PlBeliefSet
  • net.sf.tweety.logics.pl.syntax.PlFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula)
    • net.sf.tweety.logics.pl.syntax.AssociativePlFormula (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.Equivalence
    • net.sf.tweety.logics.pl.syntax.Implication
    • 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.SingleSetSignature<T> (implements java.lang.Iterable<T>, net.sf.tweety.commons.Signature)
    • net.sf.tweety.logics.pl.syntax.PlSignature
  • 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.PlPredicate