jtp.rs
Class ReasoningStepStub

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

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

Direct Known Subclasses:

StoredReasoningStep

public abstract class ReasoningStepStub

extends ReasoningStep

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

ReasoningStepStub()

Method Summary

abstract ReasoningStep	retrieveReasoningStep()
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

ReasoningStepStub

public ReasoningStepStub()

Method Detail

retrieveReasoningStep

public abstract ReasoningStep retrieveReasoningStep()
                                             throws IOException

IOException

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