|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Interface Summary | |
| ProofTransformer | |
| Class Summary | |
| IdenticalSubgoalTransformer | IdenticalSubgoalTransformer.java Created: Thu May 23 03:07:01 2002 |
| IdenticalSubproofTrimmer | |
| ProofTransformingEngine | |
| ProofTransformingReasonerProxy | |
| SecondaryStorageLookupTransformer | |
| StubTransformer | |
| UnrolledRulesTransformer | ProofTransformer that "re-rolls" unrolled forward-chaining rules. |
|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||