jtp.proof.transform
Class UnrolledRulesTransformer

java.lang.Object
  |
  +--jtp.proof.transform.UnrolledRulesTransformer

All Implemented Interfaces:

ProofTransformer

public class UnrolledRulesTransformer

extends Object

implements ProofTransformer

ProofTransformer that "re-rolls" unrolled forward-chaining rules. Because this transformer depends on knowing that the original class of a rule is RuleCreationReasoningStep, it needs to be placed in the ProofTransformingEngine's queue before transformers that may change the class of proofs (e.g., the SubgoalTransformer). Created: Wed Jun 26 17:15:40 PDT 2002

Constructor Summary

UnrolledRulesTransformer()

Method Summary

protected RuleCreationReasoningStep	findOriginalRule(RuleCreationReasoningStep unrolledRule, List triggerProofs) Finds the original rule and returns it.
Proof	transform(Proof in)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnrolledRulesTransformer

public UnrolledRulesTransformer()

Method Detail

transform

public Proof transform(Proof in)

Specified by:

transform in interface ProofTransformer

findOriginalRule

protected RuleCreationReasoningStep findOriginalRule(RuleCreationReasoningStep unrolledRule,
                                                     List triggerProofs)

Finds the original rule and returns it. Puts proofs for triggers that caused the rule to be unrolled in triggerProofs.

Parameters:

unrolledRule - the unrolled rule for which we want to find the corresponding original rule

triggerProofs - a List in which will be placed the proofs for the triggers that caused the rule to be unrolled.

Returns:

the RuleCreationReasoningStep for the original rule