public abstract class AbstractProverCore extends java.lang.Object implements ProverCore
Modifier and Type | Field and Description |
---|---|
protected int |
countApplied
number of rules automatically applied
|
private ImmutableList<ProverTaskListener> |
proverTaskObservers
We use an immutable list to store listeners to allow for
addition/removal within listener code without causing a deadlock
|
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. in a progress bar
|
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 int countApplied
private ImmutableList<ProverTaskListener> proverTaskObservers
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 listener