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)