Uses of Interface
fmrisc.Proving.Prover

Packages that use Prover

fmrisc.ProofNavigator
fmrisc.Proving.CVCL

Uses of Prover in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator that return Prover

static Prover	State.getProver() get prover currently in use
static Prover	State.getRunningProver() Get prover currently running.
static Prover	State.newProver(java.io.PrintWriter log, int timeout, boolean mask) get new instance of a prover

Methods in fmrisc.ProofNavigator with parameters of type Prover

static void

State.setRunningProver(Prover prover) Set prover currently running.

Uses of Prover in fmrisc.Proving.CVCL

Classes in fmrisc.Proving.CVCL that implement Prover

class

CVCL CVC Lite interface