AnalyzerObserver
, StopCriterion
public final class TimeBoundStopCriterion extends Object implements StopCriterion
Constructor | Description |
---|---|
TimeBoundStopCriterion(OmegaBigDecimal timeBound) |
Modifier and Type | Method | Description |
---|---|---|
void |
notifyNodeAdded(Succession succession) |
Notifies the observer that the analyzer has added the child node of the given
succession to the graph.
|
void |
notifySuccessionCreated(Succession succession) |
Notifies the observer that the analyzer has created the given succession
after firing one of the events in the extracted succession.
|
void |
notifySuccessionExtracted(Succession succession) |
Notifies the observer that the analyzer has extracted the given succession
from the policy.
|
void |
notifySuccessionInserted(Succession succession) |
Notifies the observer that the analyzer has inserted the given succession
into the policy queue.
|
void |
notifySuccessionPostProcessed(Succession succession) |
Notifies the observer that the analyzer has post-processed the given
succession.
|
void |
notifySuccessionPreProcessed(Succession succession) |
Notifies the observer that the analyzer has pre-processed the given
succession.
|
boolean |
stop() |
public TimeBoundStopCriterion(OmegaBigDecimal timeBound)
public boolean stop()
stop
in interface StopCriterion
public void notifySuccessionExtracted(Succession succession)
AnalyzerObserver
notifySuccessionExtracted
in interface AnalyzerObserver
succession
- succession extracted by the analyzerpublic void notifySuccessionPreProcessed(Succession succession)
AnalyzerObserver
notifySuccessionPreProcessed
in interface AnalyzerObserver
succession
- succession pre-processed by the analyzerpublic void notifyNodeAdded(Succession succession)
AnalyzerObserver
notifyNodeAdded
in interface AnalyzerObserver
succession
- succession added to the graph by the analyzerpublic void notifySuccessionCreated(Succession succession)
AnalyzerObserver
notifySuccessionCreated
in interface AnalyzerObserver
succession
- succession created by the analyzerpublic void notifySuccessionPostProcessed(Succession succession)
AnalyzerObserver
notifySuccessionPostProcessed
in interface AnalyzerObserver
succession
- succession post-processed by the analyzerpublic void notifySuccessionInserted(Succession succession)
AnalyzerObserver
notifySuccessionInserted
in interface AnalyzerObserver
succession
- succession added by the analyzer to the policy queueCopyright © 2018 STLAB. All rights reserved.