jtp.time.demod
Class TimePointMappingReasoningStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.time.demod.TimePointMappingReasoningStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class TimePointMappingReasoningStep

extends ReasoningStep

implements Serializable

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

TimePointMappingReasoningStep(Object goal)

Method Summary

String

tracePrint() Returns a string that describes the inference that this reasoning step makes.

Methods inherited from class jtp.ReasoningStep

addContentsIfUnifyable, backtrack, clone, cloneNeedsDereferencing, collectUnifyableElements, contains, createDereferencedClone, deReferenceBindings, deReferenceElement, deReferenceList, deReferenceVariables, getCost, getInference, getSubProofs, getVariables, makeStep, unify

Methods inherited from class jtp.proof.Proof

getBindings, getGoal, getSubGoals, toString, toString

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TimePointMappingReasoningStep

public TimePointMappingReasoningStep(Object goal)

Method Detail

tracePrint

public String tracePrint()

Description copied from class: ReasoningStep

Returns a string that describes the inference that this reasoning step makes.

Specified by:

tracePrint in class ReasoningStep