|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
FinderErrors | Error codes and messages for proof finder package. |
Class Summary | |
---|---|
ModusPonensBo | Modes Ponens usage. |
ProofFinderImpl | Find basic proofs for formulas. |
ProofFinderUtility | Utilities for proofs finders. |
SubstPredBo | Usage of rule for substitute predicate variable. |
Proof finder can be found here.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |