jtp.gmp
Class ModusPonensProofStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.gmp.ModusPonensProofStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class ModusPonensProofStep

extends ReasoningStep

A proof step representing a Generalized Modus Ponens inference made through backward-chaining.

These are the proofs returned when a ModusPonensRecycler returned from a ModusPonensReasoner is pulsed.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Method Summary

Object	clone() Ensures that returned clone initially has the same subgoals and subproofs as this, but they do not share lists.
String	tracePrint() Returns a string that describes the inference that this reasoning step makes.

Methods inherited from class jtp.ReasoningStep

addContentsIfUnifyable, backtrack, 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

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

clone

public Object clone()

Description copied from class: ReasoningStep

Ensures that returned clone initially has the same subgoals and subproofs as this, but they do not share lists. That is, getSubGoals() and clone.getSubGoals() are equals but not ==, and the same is true for getSubProofs().

Overrides:

clone in class ReasoningStep