Uses of Package
jtp.frame.fc

Packages that use jtp.frame.fc

jtp.frame.fc
jtp.proof.transform

Classes in jtp.frame.fc used by jtp.frame.fc

AbstractRuleCreator

BackwardChainingStorage
BackwardChainingStorage.java Created: Thu Jan 11 19:27:25 2001

BlendingRuleAction
BlendingRuleAction.java Created: Wed Feb 27 20:46:52 2002

NewRuleConsequences

RuleClauseAndTriggerInstaller

RuleCreationReasoningStep
A proof step representing the creation of a horn clause to be use by the forward-chaining mechanisms in jtp.frame.fc.

RuleFactory
A RuleFactory churns out reasoners that handle a specific kind of task.

RuleInstantiator

RuleTriggeringProofStep

RuleUnroller.UnrollingTemplate
An unrolling template associates a group of literals with a layer in the unroller.

TriggerLiteralMatcher

TriggerValidator

Classes in jtp.frame.fc used by jtp.proof.transform

RuleCreationReasoningStep
A proof step representing the creation of a horn clause to be use by the forward-chaining mechanisms in jtp.frame.fc.