Hierarchy For Package org.tweetyproject.logics.fol.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.fol.syntax.FolBeliefSet
  • org.tweetyproject.logics.fol.syntax.LogicStructure
  • org.tweetyproject.commons.QuadrupleSetSignature<T,S,U,R> (implements org.tweetyproject.commons.Signature)
    • org.tweetyproject.logics.fol.syntax.FolSignature
  • org.tweetyproject.logics.commons.syntax.RelationalFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula, org.tweetyproject.logics.commons.syntax.interfaces.QuantifiedFormula)
    • org.tweetyproject.logics.fol.syntax.FolFormula
      • org.tweetyproject.logics.fol.syntax.AssociativeFolFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge)
        • org.tweetyproject.logics.fol.syntax.Conjunction
        • org.tweetyproject.logics.fol.syntax.Disjunction
        • org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction
      • org.tweetyproject.logics.fol.syntax.Equivalence
      • org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula
      • org.tweetyproject.logics.fol.syntax.FolAtom (implements org.tweetyproject.logics.commons.syntax.interfaces.Atom)
      • org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
      • org.tweetyproject.logics.fol.syntax.Implication
      • org.tweetyproject.logics.fol.syntax.Negation
      • org.tweetyproject.logics.fol.syntax.SpecialFormula
        • org.tweetyproject.logics.fol.syntax.Contradiction
        • org.tweetyproject.logics.fol.syntax.Tautology
  • 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.fol.syntax.EqualityPredicate
      • org.tweetyproject.logics.fol.syntax.InequalityPredicate