jtp.frame.fc
Class UnrollingRuleAction

java.lang.Object
  |
  +--jtp.disp.AbstractRelationBasedReasoner
        |
        +--jtp.disp.AbstractRelationBasedFCReasoner
              |
              +--jtp.frame.fc.BlendingRuleAction
                    |
                    +--jtp.frame.fc.UnrollingRuleAction

All Implemented Interfaces:

Cloneable, DemodulationReplacementListener, Reasoner, RelationBasedFCReasoner, RelationBasedReasoner, Serializable, TriggerValidator

public class UnrollingRuleAction

extends BlendingRuleAction

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.frame.fc.BlendingRuleAction

hashCode, ruleLit, ruleStep, triggers, varStack

Fields inherited from class jtp.disp.AbstractRelationBasedFCReasoner

arity, polarity, relation

Fields inherited from interface jtp.disp.RelationBasedReasoner

ANY_ARITY, BOTH, NEGATIVE, POSITIVE

Constructor Summary

UnrollingRuleAction(Clause cl, Literal ruleLit, String id, RuleCreationReasoningStep ruleStep, List triggers)

Method Summary

protected ReasoningStepIterator	prepareResult(ReasoningStep input, List subSteps, List varStack)
Object	substitute(CanonicalMapping mapping)

Methods inherited from class jtp.frame.fc.BlendingRuleAction

clone, equals, getRuleClause, getRuleLiteral, getTriggerLiterals, hashCode, instantiateTemplate, prepareSubSteps, process, stripProofs, validateTrigger

Methods inherited from class jtp.disp.AbstractRelationBasedFCReasoner

acceptable, getArity, getPolarity, getRelation, literalAcceptable

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jtp.disp.RelationBasedReasoner

getArity, getPolarity, getRelation

Constructor Detail

UnrollingRuleAction

public UnrollingRuleAction(Clause cl,
                           Literal ruleLit,
                           String id,
                           RuleCreationReasoningStep ruleStep,
                           List triggers)

Method Detail

prepareResult

protected ReasoningStepIterator prepareResult(ReasoningStep input,
                                              List subSteps,
                                              List varStack)

Specified by:

prepareResult in class BlendingRuleAction

substitute

public Object substitute(CanonicalMapping mapping)

Specified by:

substitute in interface DemodulationReplacementListener

Overrides:

substitute in class BlendingRuleAction