jtp.frame.fc
Class RuleTriggeringProofStep

java.lang.Object
  |
  +--jtp.proof.Proof
        |
        +--jtp.ReasoningStep
              |
              +--jtp.frame.fc.RuleTriggeringProofStep

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public class RuleTriggeringProofStep

extends ReasoningStep

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

RuleTriggeringProofStep(List triggers, Literal triggerTgt, BlendingRuleAction action, TriggerValidator validator)

RuleTriggeringProofStep(List triggers, Literal triggerTgt, BlendingRuleAction action, TriggerValidator validator, List subSteps)

Method Summary

BlendingRuleAction	getAction()
Literal	getTargetLiteral()
TriggerValidator	getTriggerValidator()
void	setTriggerValidator(TriggerValidator v)
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

RuleTriggeringProofStep

public RuleTriggeringProofStep(List triggers,
                               Literal triggerTgt,
                               BlendingRuleAction action,
                               TriggerValidator validator)

RuleTriggeringProofStep

public RuleTriggeringProofStep(List triggers,
                               Literal triggerTgt,
                               BlendingRuleAction action,
                               TriggerValidator validator,
                               List subSteps)

Method Detail

getTargetLiteral

public Literal getTargetLiteral()

getTriggerValidator

public TriggerValidator getTriggerValidator()

setTriggerValidator

public void setTriggerValidator(TriggerValidator v)

getAction

public BlendingRuleAction getAction()

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