Uses of Interface
jtp.frame.fc.TriggerValidator

Packages that use TriggerValidator

jtp.frame.fc

Uses of TriggerValidator in jtp.frame.fc

Classes in jtp.frame.fc that implement TriggerValidator

class	BlendingRuleAction BlendingRuleAction.java Created: Wed Feb 27 20:46:52 2002
class	InconsistencyRuleAction
class	TrueLinkRuleAction TrueLinkRuleAction.java Created: Tue Mar 12 01:03:59 2002
class	UnrollingRuleAction

Methods in jtp.frame.fc that return TriggerValidator

TriggerValidator

RuleTriggeringProofStep.getTriggerValidator()

Methods in jtp.frame.fc with parameters of type TriggerValidator

void	RuleTriggeringProofStep.setTriggerValidator(TriggerValidator v)
void	TriggerLiteralMatcher.addTrigger(Literal trigger, Literal target, TriggerValidator validator)
void	RuleInstantiator.addTrigger(Literal trigger, Literal target, TriggerValidator validator)

Constructors in jtp.frame.fc with parameters of type TriggerValidator

RuleTriggeringProofStep(List triggers, Literal triggerTgt, BlendingRuleAction action, TriggerValidator validator)

RuleTriggeringProofStep(List triggers, Literal triggerTgt, BlendingRuleAction action, TriggerValidator validator, List subSteps)