jtp.demod
Class DemodulationReasoningStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.demod.DemodulationReasoningStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class DemodulationReasoningStep

extends ReasoningStep

A proof step where substitutions have been made that transform the input sentence into a new sentence.

DemodulationReasoningStep can be used in both forward-chaining and backward-chaining. When used in backward-chaining, the goal will be the original sentence and the last subgoal will be the substituted sentence.

When used in forward-chaining, the original sentence will be the first subgoal (its proof will be the first subproof), and the substituted sentence will be the goal.

Created: Wed May 1 23:56:33 2002

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

DemodulationReasoningStep(Object goal, Map substMap, List subSteps)

DemodulationReasoningStep(Object goal, Map substMap, List subSteps, Object subGoal)

Method Summary

void	setBindings(Map bindings)
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

DemodulationReasoningStep

public DemodulationReasoningStep(Object goal,
                                 Map substMap,
                                 List subSteps)

DemodulationReasoningStep

public DemodulationReasoningStep(Object goal,
                                 Map substMap,
                                 List subSteps,
                                 Object subGoal)

Method Detail

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)