Hierarchy For Package jtp.func

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class jtp.disp.AbstractRelationBasedReasoner (implements jtp.disp.RelationBasedReasoner, java.io.Serializable)
    • class jtp.disp.AbstractRelationBasedBCReasoner (implements jtp.disp.RelationBasedBCReasoner)
      • class jtp.func.Equals
      • class jtp.func.EvaluableFunctionReasoner
      • class jtp.func.ForIn
      • class jtp.func.GetSetof (implements java.beans.beancontext.BeanContextProxy)
      • class jtp.func.InEqual
      • class jtp.func.NumberComparator
        • class jtp.func.Greater
        • class jtp.func.Less
      • class jtp.func.Unprovable (implements java.beans.beancontext.BeanContextProxy)
  • class jtp.proof.Proof (implements java.io.Serializable)
    • class jtp.ReasoningStep (implements java.lang.Cloneable, jtp.fol.Unifyable)
      • class jtp.func.FunctionProofStep