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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.sf.tweety.logics.fol.syntax.LogicStructure
  • net.sf.tweety.logics.fol.syntax.RelationalFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula)
    • net.sf.tweety.logics.fol.syntax.FolFormula
      • net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula (implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<T>, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge)
        • net.sf.tweety.logics.fol.syntax.Conjunction
        • net.sf.tweety.logics.fol.syntax.Disjunction
      • net.sf.tweety.logics.fol.syntax.FOLAtom (implements net.sf.tweety.logics.commons.syntax.interfaces.Atom)
      • net.sf.tweety.logics.fol.syntax.Negation
      • net.sf.tweety.logics.fol.syntax.QuantifiedFormula
        • net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
        • net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
      • net.sf.tweety.logics.fol.syntax.SpecialFormula
        • net.sf.tweety.logics.fol.syntax.Contradiction
        • net.sf.tweety.logics.fol.syntax.Tautology
  • net.sf.tweety.commons.Signature
    • net.sf.tweety.logics.fol.syntax.FolSignature