Hierarchy For Package jtp.time.demod

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.time.demod.TimePointMappingReasoningStep (implements java.io.Serializable)
  • class jtp.time.demod.TimePointMapper