Hierarchy For All Packages

Package Hierarchies:

ai.krr, ai.krr.fol, ai.krr.propositions

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.ArrayList<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • ai.krr.propositions.IntEncodedClause.IntEncodedClauseList (implements inf.compilers.SyntaxAdaptable)
    • 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.propositions.Clause (implements java.lang.Cloneable, java.lang.Comparable<T>)
  • ai.krr.propositions.DPSolverIE (implements ai.krr.propositions.TheoremProver)
  • ai.krr.fol.HerbrandGenerator (implements ai.krr.fol.TheoremProver)
  • ai.krr.fol.Instantiation (implements ai.krr.fol.Substitution)
  • ai.krr.propositions.IntEncodedClause (implements java.lang.Cloneable, java.lang.Comparable<T>)
    • ai.krr.propositions.RTPSolverIE.DerivedClause
  • ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.propositions.IntEncodedClause.LiteralSet
  • ai.krr.propositions.IntEncoding
  • ai.krr.fol.Interpretation
  • ai.krr.propositions.Interpretation
  • ai.krr.propositions.Interpretation.InterpretationIterator (implements java.util.Iterator<E>)
  • ai.krr.propositions.InterpretationEnumerator (implements ai.krr.propositions.TheoremProver)
  • ai.krr.fol.KifKnowledgeBaseAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.fol.KifSentenceAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.propositions.KifSentenceAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.fol.KifSentenceAdaptor.VariableStack
  • ai.krr.KifSymbolAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.fol.KnowledgeBase (implements inf.compilers.SyntaxAdaptable)
  • ai.krr.LispSymbolAdaptor (implements inf.compilers.SyntaxAdaptor<R>)
  • ai.krr.NameSpace (implements java.lang.Comparable<T>)
  • ai.krr.propositions.RTPSolverIE (implements ai.krr.propositions.TheoremProver)
  • 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.propositions.Sentence (implements java.lang.Cloneable, java.lang.Comparable<T>, inf.compilers.SyntaxAdaptable)
    • ai.krr.propositions.Atom
    • ai.krr.propositions.ConnectedSentence
      • ai.krr.propositions.BinaryConnectedSentence
    • ai.krr.propositions.Literal
    • ai.krr.propositions.NegatedSentence
    • ai.krr.propositions.TruthValue
  • ai.krr.fol.Sentence.SubSentenceIterator (implements java.util.Iterator<E>)
  • ai.krr.SyntaxAdaptableSymbol (implements ai.krr.Symbol, inf.compilers.SyntaxAdaptable)
    • ai.krr.AnonymousSymbol
    • ai.krr.BooleanSymbol
    • ai.krr.CharacterSymbol
    • ai.krr.NamedSymbol
    • ai.krr.NumericSymbol
      • ai.krr.IntegerSymbol
      • ai.krr.RealNumberSymbol
    • ai.krr.StringSymbol
  • 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
    • ai.krr.propositions.XplSentenceAdaptor

Interface Hierarchy

• java.lang.Comparable<T>
  • ai.krr.Symbol
• ai.krr.fol.Substitution
• ai.krr.fol.TheoremProver
• ai.krr.propositions.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
    • ai.krr.propositions.ConnectedSentence.Connective