jtp.frame.fc
Class TrueLinkRuleAction

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

All Implemented Interfaces:

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

public class TrueLinkRuleAction

extends BlendingRuleAction

TrueLinkRuleAction.java Created: Tue Mar 12 01:03:59 2002

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

TrueLinkRuleAction(FrameKB fkb, Literal from, Literal to, Variable linkVar, Literal ruleLit, ReasoningStep 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

TrueLinkRuleAction

public TrueLinkRuleAction(FrameKB fkb,
                          Literal from,
                          Literal to,
                          Variable linkVar,
                          Literal ruleLit,
                          ReasoningStep 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