Hierarchy For Package jtp.fol

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class java.util.AbstractCollection (implements java.util.Collection)
    • class java.util.AbstractList (implements java.util.List)
      • class jtp.fol.SubstitutableList (implements java.io.Serializable, jtp.Substitutable)
        • class jtp.fol.UnifyableList (implements jtp.fol.Unifyable)
  • class jtp.fol.CanonicalVariables
  • class jtp.fol.DefaultClause (implements jtp.fol.Clause, java.io.Serializable)
  • class jtp.fol.DefaultCNFSentence (implements jtp.fol.CNFSentence, java.io.Serializable)
  • class jtp.fol.DefaultLiteral (implements jtp.fol.Literal, java.io.Serializable)
  • class jtp.fol.SubstUtils
  • class jtp.fol.Symbol (implements java.lang.Comparable, java.io.Serializable)
  • class jtp.fol.Variable (implements java.lang.Comparable, java.io.Serializable, jtp.fol.Unifyable)
  • class jtp.fol.Variable.NameComparator (implements java.util.Comparator)

Interface Hierarchy

• interface jtp.Substitutable
  • interface jtp.fol.CNFSentence
    • interface jtp.fol.Clause
      • interface jtp.fol.Literal
• interface jtp.fol.Unifyable