Hierarchy For Package jtp.gmp

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class java.beans.beancontext.BeanContextChildSupport (implements java.beans.beancontext.BeanContextChild, java.beans.beancontext.BeanContextServicesListener, java.io.Serializable)
    • class jtp.util.PropertyImporter
      • class jtp.gmp.ClauseOrientationKB (implements jtp.KnowledgeStore, jtp.Reasoner, java.io.Serializable)
  • class jtp.gmp.ClauseOrientation (implements java.io.Serializable)
  • class jtp.gmp.ModusPonensReasoner (implements jtp.Reasoner, java.io.Serializable)
  • class jtp.gmp.ModusPonensRecycler (implements jtp.ReasoningStepIterator)
  • class jtp.proof.Proof (implements java.io.Serializable)
    • class jtp.ReasoningStep (implements java.lang.Cloneable, jtp.fol.Unifyable)
      • class jtp.gmp.ModusPonensProofStep
  • class jtp.gmp.Utils