jtp.proof.transform
Class IdenticalSubproofTrimmer

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

All Implemented Interfaces:

ProofTransformer

public class IdenticalSubproofTrimmer

extends Object

implements ProofTransformer

Constructor Summary

IdenticalSubproofTrimmer()

Method Summary

void	reset()
Proof	transform(Proof in)

Methods inherited from class java.lang.Object

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

Constructor Detail

IdenticalSubproofTrimmer

public IdenticalSubproofTrimmer()

Method Detail

reset

public void reset()

transform

public Proof transform(Proof in)

Specified by:

transform in interface ProofTransformer