Package | Description |
---|---|
fmrisc.ProofNavigator | |
fmrisc.ProofNavigator.Proving.CVCL |
Modifier and Type | Method and Description |
---|---|
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
|
Modifier and Type | Method and Description |
---|---|
static void |
State.setRunningProver(Prover prover)
Set prover currently running.
|
Modifier and Type | Class and Description |
---|---|
class |
CVCL
CVC Lite interface
|