| Interface | Description |
|---|---|
| GoalChooser |
Interface to be implemented by classes in order to customize the goal selection
strategy of the automatic prover environment.
|
| GoalChooserBuilder |
interface to be implemented by builders returning a
goal chooser
|
| ProverCore | |
| ProverTaskListener |
Listener for longer tasks, which may be run in a separate worker thread.
|
| StopCondition |
Implementation of this interface are used in
ApplyStrategy to
determine if the strategy should stop or continue. |
| TaskFinishedInfo |
An information object with additional information about the
finished task.
|
| TaskStartedInfo |
Used as an event object to inform about a prover task
that is just about to start.
|
| Enum | Description |
|---|---|
| TaskStartedInfo.TaskKind |