jtp.frame.fc
Class ActionCreationReasoningStep

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

All Implemented Interfaces:

Cloneable, Serializable, Unifyable

public abstract class ActionCreationReasoningStep

extends RuleCreationReasoningStep

See Also:

Serialized Form

Field Summary

protected static Symbol

ACTION_RESULT_LIT

Fields inherited from class jtp.proof.Proof

bindings, goal, inference, subGoals, subProofs

Constructor Summary

ActionCreationReasoningStep(Clause cl, String ruleID)

ActionCreationReasoningStep(Clause cl, String ruleID, List subProofSteps)

Method Summary

abstract BlendingRuleAction	createAction(Literal ruleLit, ReasoningStep rs, List triggers)
protected static void	validateClause(Clause cl)

Methods inherited from class jtp.frame.fc.RuleCreationReasoningStep

createChildlessClone, getKBLocation, getRuleClause, getRuleID, setRuleClause, setRuleID, setSubProofs, tracePrint

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

Field Detail

ACTION_RESULT_LIT

protected static Symbol ACTION_RESULT_LIT

Constructor Detail

ActionCreationReasoningStep

public ActionCreationReasoningStep(Clause cl,
                                   String ruleID)
                            throws ReasoningException

ActionCreationReasoningStep

public ActionCreationReasoningStep(Clause cl,
                                   String ruleID,
                                   List subProofSteps)
                            throws ReasoningException

Method Detail

validateClause

protected static void validateClause(Clause cl)
                              throws ReasoningException

ReasoningException

createAction

public abstract BlendingRuleAction createAction(Literal ruleLit,
                                                ReasoningStep rs,
                                                List triggers)