jtp.frame.fc
Class InconsistencyRuleAction

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

All Implemented Interfaces:

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

public class InconsistencyRuleAction

extends BlendingRuleAction

See Also:

Serialized Form

Field Summary

static Literal

FALSE_LITERAL

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

InconsistencyRuleAction(Literal ruleLit, ReasoningStep ruleStep, List triggers)

Method Summary

protected ReasoningStepIterator

prepareResult(ReasoningStep input, List subSteps, List varStack)

Methods inherited from class jtp.frame.fc.BlendingRuleAction

clone, equals, getRuleClause, getRuleLiteral, getTriggerLiterals, hashCode, instantiateTemplate, prepareSubSteps, process, stripProofs, substitute, 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

Field Detail

FALSE_LITERAL

public static final Literal FALSE_LITERAL

Constructor Detail

InconsistencyRuleAction

public InconsistencyRuleAction(Literal ruleLit,
                               ReasoningStep ruleStep,
                               List triggers)

Method Detail

prepareResult

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

Specified by:

prepareResult in class BlendingRuleAction

ReasoningException