jtp.proof.transform
Class ProofTransformingEngine

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

All Implemented Interfaces:

ProofTransformer

public class ProofTransformingEngine

extends Object

implements ProofTransformer

Field Summary

static int

MAX_ITERATIONS

Constructor Summary

ProofTransformingEngine()

Method Summary

List	getTransformers() retrieves the list of transformers for this engine.
Proof	transform(Proof in)

Methods inherited from class java.lang.Object

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

Field Detail

MAX_ITERATIONS

public static final int MAX_ITERATIONS

See Also:

Constant Field Values

Constructor Detail

ProofTransformingEngine

public ProofTransformingEngine()

Method Detail

transform

public Proof transform(Proof in)

Specified by:

transform in interface ProofTransformer

getTransformers

public List getTransformers()

retrieves the list of transformers for this engine. Note that initially the list contains exactly one transformer that recursively applies this same list to all the subproofs of the proof being transformed.