public abstract class AbstractProverCore extends java.lang.Object implements ProverCore
Modifier and Type | Field and Description |
---|---|
protected int |
countApplied
number of rules automatically applied
|
PROCESSING_STRATEGY
Constructor and Description |
---|
AbstractProverCore() |
Modifier and Type | Method and Description |
---|---|
void |
addProverTaskObserver(ProverTaskListener observer)
adds a listener to the prover
|
protected void |
fireTaskFinished(TaskFinishedInfo info)
propagation method for the event that a task has finished
|
protected void |
fireTaskProgress()
propagation of task progress information to be displayed e.g.
|
protected void |
fireTaskStarted(int maxSteps)
propagation method for the event that a task started
|
void |
removeProverTaskObserver(ProverTaskListener observer)
removes a listener from the prover
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
clear, hasBeenInterrupted, start, start, start, start
protected void fireTaskStarted(int maxSteps)
maxSteps
- an int with the maximal number of steps to be performed by the current taskprotected void fireTaskProgress()
protected void fireTaskFinished(TaskFinishedInfo info)
info
- an information object about the work done by the task e.g.
number of applied rulespublic void addProverTaskObserver(ProverTaskListener observer)
addProverTaskObserver
in interface ProverCore
observer
- the listenerpublic void removeProverTaskObserver(ProverTaskListener observer)
removeProverTaskObserver
in interface ProverCore
observer
- the listenerCopyright © 2003-2019 The KeY-Project.