|
JTP API Documentation | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BlendingRuleAction | |
jtp.frame.fc |
Uses of BlendingRuleAction in jtp.frame.fc |
Subclasses of BlendingRuleAction in jtp.frame.fc | |
class |
InconsistencyRuleAction
|
class |
TrueLinkRuleAction
TrueLinkRuleAction.java Created: Tue Mar 12 01:03:59 2002 |
class |
UnrollingRuleAction
|
Methods in jtp.frame.fc that return BlendingRuleAction | |
BlendingRuleAction |
RuleTriggeringProofStep.getAction()
|
BlendingRuleAction |
InferredValueRuleFactory.createRuleAction(Literal ruleLit,
Literal assertionLit,
ReasoningStep ruleStep,
List triggers)
|
BlendingRuleAction |
RuleFactory.createRuleAction(Literal ruleLit,
Literal assertionLit,
ReasoningStep ruleStep,
List triggers)
The method that actually creates a reasoner and returns it. |
abstract BlendingRuleAction |
ActionCreationReasoningStep.createAction(Literal ruleLit,
ReasoningStep rs,
List triggers)
|
Methods in jtp.frame.fc with parameters of type BlendingRuleAction | |
boolean |
RuleClauseAndTriggerInstaller.addRule(BlendingRuleAction a)
|
boolean |
RuleClauseAndTriggerInstaller.removeRule(BlendingRuleAction a)
|
Constructors in jtp.frame.fc with parameters of type BlendingRuleAction | |
RuleTriggeringProofStep(List triggers,
Literal triggerTgt,
BlendingRuleAction action,
TriggerValidator validator)
|
|
RuleTriggeringProofStep(List triggers,
Literal triggerTgt,
BlendingRuleAction action,
TriggerValidator validator,
List subSteps)
|
|
JTP API Documentation | ||||||||||
PREV NEXT | FRAMES NO FRAMES |