Uses of Class
jml2b.pog.lemma.ProverStatus

Packages that use ProverStatus

jml2b.languages
jml2b.pog	Provides the classes necessary to generate proof obligations.
jml2b.pog.lemma
jpov.structure

Uses of ProverStatus in jml2b.languages

Methods in jml2b.languages with parameters of type ProverStatus

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 ProverStatus in jml2b.pog

Methods in jml2b.pog that return ProverStatus

ProverStatus	IProverStatus.factory()
ProverStatus	IProverStatus.factory(JpoInputStream s)

Uses of ProverStatus in jml2b.pog.lemma

Methods in jml2b.pog.lemma that return ProverStatus

ProverStatus

GoalStatus.getProverStatus(java.lang.String name) Returns the prove force.

Methods in jml2b.pog.lemma with parameters of type ProverStatus

void	GoalStatus.setStatus(java.lang.String prover, ProverStatus ps)

Uses of ProverStatus in jpov.structure

Methods in jpov.structure that return ProverStatus

ProverStatus

Goal.getProverStatus(java.lang.String prover)

Methods in jpov.structure with parameters of type ProverStatus

void	Goal.setStatus(java.lang.String prover, ProverStatus b) Sets the goal status