Uses of Interface
jpov.IInteractiveProver

Packages that use IInteractiveProver

jml2b.languages
jpov

Uses of IInteractiveProver in jml2b.languages

Methods in jml2b.languages that return IInteractiveProver

static IInteractiveProver

Languages.getInteractiveProverClass(java.lang.String name) Returns the interactive prover class instance for a given plugin name.

Methods in jml2b.languages with parameters of type IInteractiveProver

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

Uses of IInteractiveProver in jpov

Methods in jpov that return IInteractiveProver

IInteractiveProver

IInteractiveProver.factory(ICaseExplorer caseExp)