jtp.func
Class FunctionProofStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.func.FunctionProofStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class FunctionProofStep

extends ReasoningStep

This proof step is used when the goal has been proved through some form of procedural attachment. For example, the goal (+ 3 2) would be solved by an arithmetic module, and the proof returned would be a FunctionProofStep.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

FunctionProofStep(Literal s)

FunctionProofStep(Literal goal, Object val)

FunctionProofStep(Literal goal, Object val, Map bindings)

FunctionProofStep(Literal goal, Object val, Variable v)

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

FunctionProofStep

public FunctionProofStep(Literal goal,
                         Object val,
                         Map bindings)

FunctionProofStep

public FunctionProofStep(Literal goal,
                         Object val,
                         Variable v)

FunctionProofStep

public FunctionProofStep(Literal goal,
                         Object val)

FunctionProofStep

public FunctionProofStep(Literal s)

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