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 |