jtp.classifier
Class SubsumptionProofStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.frame.InferredValueReasoningStep
                    |
                    +--jtp.classifier.SubsumptionProofStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class SubsumptionProofStep

extends InferredValueReasoningStep

SubsumptionProofStep.java

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

SubsumptionProofStep(Symbol prop, Object obj, Object val, List subSteps)

Methods inherited from class jtp.frame.InferredValueReasoningStep

equals, hashCode, 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

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

Constructor Detail

SubsumptionProofStep

public SubsumptionProofStep(Symbol prop,
                            Object obj,
                            Object val,
                            List subSteps)