jtp.rs
Class StoredReasoningStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.rs.ReasoningStepStub
                    |
                    +--jtp.rs.StoredReasoningStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class StoredReasoningStep

extends ReasoningStepStub

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

StoredReasoningStep(Object goal, ObjectStorage.Handle handle)

StoredReasoningStep(Object goal, ObjectStorage storage, long location)

Method Summary

ObjectStorage.Handle	getHandle()
ReasoningStep	retrieveReasoningStep()

Methods inherited from class jtp.rs.ReasoningStepStub

tracePrint

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

StoredReasoningStep

public StoredReasoningStep(Object goal,
                           ObjectStorage.Handle handle)

StoredReasoningStep

public StoredReasoningStep(Object goal,
                           ObjectStorage storage,
                           long location)

Method Detail

retrieveReasoningStep

public ReasoningStep retrieveReasoningStep()
                                    throws IOException

Specified by:

retrieveReasoningStep in class ReasoningStepStub

IOException

getHandle

public ObjectStorage.Handle getHandle()