jtp.frame.vc
Class MembershipProofStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.frame.vc.MembershipProofStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class MembershipProofStep

extends ReasoningStep

This proof step indicates that, in the frame system, a specific ValueCollection contains the value in question.

Created: Wed Oct 25 03:01:28 2000

See Also:

Serialized Form

Field Summary

protected Object	value
protected ValueCollection	vc

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

MembershipProofStep(ValueCollection vc, Object value)

Method Summary

protected boolean	cloneNeedsDereferencing(ReasoningStep clone0) Determines if clone is different from this because this has data members that contain Unifyables that were dereferenced in clone.
protected ReasoningStep	createDereferencedClone() Returns a clone of this ReasoningStep in which all nested Variables have been replaced by the values that they are bound to at the time of clone creation.
Object	getGoal() Returns the goal that this Proof proves.
void	setBindings(Map bindings)
void	setSubStep(ReasoningStep rs)
String	tracePrint() Returns a string that describes the inference that this reasoning step makes.

Methods inherited from class jtp.ReasoningStep

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

Methods inherited from class jtp.proof.Proof

getBindings, getSubGoals, toString, toString

Methods inherited from class java.lang.Object

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

Field Detail

vc

protected ValueCollection vc

value

protected Object value

Constructor Detail

MembershipProofStep

public MembershipProofStep(ValueCollection vc,
                           Object value)

Method Detail

getGoal

public Object getGoal()

Description copied from class: Proof

Returns the goal that this Proof proves. Goals are most commonly CNFSentences, but they can be other Objects as well.

Overrides:

getGoal in class Proof

Returns:

the goal of this Proof

createDereferencedClone

protected ReasoningStep createDereferencedClone()

Description copied from class: ReasoningStep

Returns a clone of this ReasoningStep in which all nested Variables have been replaced by the values that they are bound to at the time of clone creation.

This default implementation handles dereferencing of Unifyables nested in goal, bindings, subgoals, and subproofs. Subclasses should override this method if they have other data members that could contain Unifyables that need to be dereferenced. Overriding methods should make a call to super to get initial clone that has the data members mentioned above dereferenced.

Overrides:

createDereferencedClone in class ReasoningStep

Returns:

a clone of this ReasoningStep with Variables dereferenced

cloneNeedsDereferencing

protected boolean cloneNeedsDereferencing(ReasoningStep clone0)

Description copied from class: ReasoningStep

Determines if clone is different from this because this has data members that contain Unifyables that were dereferenced in clone.

This default implementation compares goal, bindings, subgoals, and subproofs of clone and this to determine if Unifyables were dereferenced in the clone. Subclasses should override this method if they also override ReasoningStep.createDereferencedClone() and may dereference other data members in the clone. Overriding methods should make a call to super to do comparison for the data members mentioned above.

Overrides:

cloneNeedsDereferencing in class ReasoningStep

Parameters:

clone0 - a dereferenced clone of this created with ReasoningStep.createDereferencedClone()

Returns:

true if Unifyables were dereferenced in clone; false otherwise

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

setBindings

public void setBindings(Map bindings)

setSubStep

public void setSubStep(ReasoningStep rs)