jtp.time
Class TimePointKnowledgeStore.TimePointReasoningStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.frame.InferredValueReasoningStep
                    |
                    +--jtp.time.TimePointKnowledgeStore.TimePointReasoningStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

Enclosing class:

TimePointKnowledgeStore

public class TimePointKnowledgeStore.TimePointReasoningStep

extends InferredValueReasoningStep

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

TimePointKnowledgeStore.TimePointReasoningStep(Literal goal, List substeps)

Method Summary

protected void	setBindings(Map bindings)
String	tracePrint() Returns a string that describes the inference that this reasoning step makes.

Methods inherited from class jtp.frame.InferredValueReasoningStep

equals, hashCode

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

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TimePointKnowledgeStore.TimePointReasoningStep

public TimePointKnowledgeStore.TimePointReasoningStep(Literal goal,
                                                      List substeps)

Method Detail

setBindings

protected void setBindings(Map bindings)

tracePrint

public String tracePrint()

Description copied from class: ReasoningStep

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

Overrides:

tracePrint in class InferredValueReasoningStep