Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JTP API Documentation
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

jtp.proof.transform
Interface ProofTransformer

All Known Implementing Classes:
IdenticalSubgoalTransformer, IdenticalSubproofTrimmer, ProofTransformingEngine, SecondaryStorageLookupTransformer, StubTransformer, UnrolledRulesTransformer
public interface ProofTransformer

Method Summary
 Proof transform(Proof in)
           
 

Method Detail

transform

public Proof transform(Proof in)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JTP API Documentation
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD