public class StateCountEstimator extends ListenerAdapter
Constructor and Description |
---|
StateCountEstimator(Config config) |
Modifier and Type | Method and Description |
---|---|
void |
searchFinished(Search search)
we're done, either with or without a preceeding error
|
void |
searchStarted(Search search)
we get this after we enter the search loop, but BEFORE the first forward
|
void |
stateProcessed(Search search)
state is fully explored
|
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, stateAdvanced, stateBacktracked, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
public StateCountEstimator(Config config)
public void searchStarted(Search search)
SearchListener
searchStarted
in interface SearchListener
searchStarted
in class ListenerAdapter
public void searchFinished(Search search)
SearchListener
searchFinished
in interface SearchListener
searchFinished
in class ListenerAdapter
public void stateProcessed(Search search)
SearchListener
stateProcessed
in interface SearchListener
stateProcessed
in class ListenerAdapter