public class AutomaticProver
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private class |
AutomaticProver.Worker
The core of the automatic prover runs in an own thread.
|
Modifier and Type | Field and Description |
---|---|
private java.util.concurrent.locks.ReentrantLock |
awaitShutdown |
private java.util.concurrent.locks.ReentrantLock |
lock |
private java.util.concurrent.locks.Condition |
sleepCondition |
Constructor and Description |
---|
AutomaticProver() |
Modifier and Type | Method and Description |
---|---|
void |
start(Proof proof,
int maxNumberOfRules,
long timeout)
Starts the prover with the following parameters.
|
private java.util.concurrent.locks.ReentrantLock lock
private java.util.concurrent.locks.Condition sleepCondition
private java.util.concurrent.locks.ReentrantLock awaitShutdown
public void start(Proof proof, int maxNumberOfRules, long timeout) throws java.lang.InterruptedException
proof
- maxNumberOfRules
- timeout
- java.lang.InterruptedException
- If the prover is interrupted by the user, this
exception is thrown