|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use IObviousProver | |
| jml2b.languages | |
| Uses of IObviousProver in jml2b.languages |
| Methods in jml2b.languages that return IObviousProver | |
static IObviousProver |
Languages.getObviousProverClass(java.lang.String name)
Returns the obvious prover class instance for a given plugin name. |
| Methods in jml2b.languages with parameters of type IObviousProver | |
static void |
Languages.register(java.lang.String name,
ILanguage il,
ITranslationResult rc,
IPrinter ip,
ProverStatus ps,
IInteractiveProver iip,
IObviousProver iop,
ProofTask pt)
Register a plugin |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||