|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
See:
Description
| Class Summary | |
| AndIntroductionInference | |
| AxiomInference | |
| Implication | |
| Inference | |
| ModusPonensInference | |
| Proof | JTP's implementation of an InferenceWeb proof. |
| ProofUtil | |
| UIInference | |
| Exception Summary | |
| ImplicationConversionException | |
| ProofExtractionException | |
Classes supporting JTP's implementation of InferenceWeb proofs.
|
JTP API Documentation | ||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||