Hierarchy For Package ai.krr.fol

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • java.util.HashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
        • ai.krr.fol.HerbrandGenerator.HerbrandUniverse
  • ai.krr.fol.Clause (implements java.lang.Cloneable, java.lang.Comparable<T>)
  • ai.krr.fol.HerbrandGenerator (implements ai.krr.fol.TheoremProver)
  • ai.krr.fol.Instantiation (implements ai.krr.fol.Substitution)
  • ai.krr.fol.Interpretation
  • ai.krr.fol.KifKnowledgeBaseAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.fol.KifSentenceAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.fol.KifSentenceAdaptor.VariableStack
  • ai.krr.fol.KnowledgeBase (implements inf.compilers.SyntaxAdaptable)
  • ai.krr.fol.Sentence (implements java.lang.Cloneable, java.lang.Comparable<T>, inf.compilers.SyntaxAdaptable)
    • ai.krr.fol.Atom
    • ai.krr.fol.ConnectedSentence
      • ai.krr.fol.BinaryConnectedSentence
    • ai.krr.fol.Literal
    • ai.krr.fol.NegatedSentence
    • ai.krr.fol.QuantifiedSentence
    • ai.krr.fol.TruthValue
  • ai.krr.fol.Sentence.SubSentenceIterator (implements java.util.Iterator<E>)
  • ai.krr.fol.Term (implements java.lang.Cloneable, java.lang.Comparable<T>)
    • ai.krr.fol.Constant
    • ai.krr.fol.FunctionTerm
    • ai.krr.fol.Variable
  • ai.krr.fol.VariableRenaming (implements ai.krr.fol.Substitution)
  • inf.compilers.XmlAdaptor<R> (implements inf.compilers.SyntaxAdaptor<R>)
    • ai.krr.fol.XfolSentenceAdaptor

Interface Hierarchy

• ai.krr.fol.Substitution
• ai.krr.fol.TheoremProver

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • ai.krr.fol.QuantifiedSentence.Quantifier
    • ai.krr.fol.ConnectedSentence.Connective