jtp.proof.transform
Class SecondaryStorageLookupTransformer
java.lang.Object
|
+--jtp.proof.transform.SecondaryStorageLookupTransformer
- All Implemented Interfaces:
- ProofTransformer
- public class SecondaryStorageLookupTransformer
- extends Object
- implements ProofTransformer
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SecondaryStorageLookupTransformer
public SecondaryStorageLookupTransformer(SecondaryProofStorageLookup st)
transform
public Proof transform(Proof in)
- Specified by:
transform
in interface ProofTransformer