jtp.rs
Class TranslationReasoningStep

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

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class TranslationReasoningStep

extends ReasoningStep

This backward-chaining proof step indicates that the goal can be reformulated as the subgoal. Often, the reasoner that generates a TranslationReasoningStep is aware that some reasoner may be better able to answer the reformulated subgoal.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

TranslationReasoningStep(Object goal, Object subGoal)

TranslationReasoningStep(Object goal, Object subGoal, Object reason)

Method Summary

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

TranslationReasoningStep

public TranslationReasoningStep(Object goal,
                                Object subGoal)

TranslationReasoningStep

public TranslationReasoningStep(Object goal,
                                Object subGoal,
                                Object reason)

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