Hierarchy For Package jtp

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class jtp.proof.Proof (implements java.io.Serializable)
    • class jtp.ReasoningStep (implements java.lang.Cloneable, jtp.fol.Unifyable)
      • class jtp.Cut
      • class jtp.DirectAssertion (implements java.io.Serializable)
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class jtp.ReasoningException
        • class jtp.InconsistencyException

Interface Hierarchy

• interface jtp.KnowledgeStore
• interface jtp.Reasoner
  • interface jtp.Dispatcher
• interface jtp.ReasoningStepIterator
• interface jtp.Substitutable
• interface jtp.Translator