Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class techniques.FOL.Clause
  • class techniques.FOL.ClauseList
  • class techniques.FOL.Literal
    • class techniques.FOL.NegativeLiteral
    • class techniques.FOL.PositiveLiteral
  • class techniques.FOL.PLConverter
  • class techniques.FOL.Quantification
  • class techniques.FOL.Sentence (implements java.lang.Cloneable)
    • class techniques.FOL.Connective
      • class techniques.FOL.Conjunction
      • class techniques.FOL.Disjunction
      • class techniques.FOL.Equivalence
      • class techniques.FOL.Implication
    • class techniques.FOL.Negation
    • class techniques.FOL.Proposition
      • class techniques.FOL.AtomicProposition
      • class techniques.FOL.CompoundProposition
      • class techniques.FOL.FalseProposition
      • class techniques.FOL.TrueProposition
    • class techniques.FOL.Quantifier
      • class techniques.FOL.Existential
      • class techniques.FOL.Universal
  • class techniques.FOL.Substitution
  • class techniques.FOL.Symbol (implements java.lang.Cloneable)
  • class techniques.FOL.Term (implements java.lang.Cloneable)
    • class techniques.FOL.ConstantTerm
    • class techniques.FOL.Function
    • class techniques.FOL.Variable
  • class techniques.FOL.TermList (implements java.lang.Cloneable)