edu.ksu.cis.projects.bogor.module
Interface DefaultCounterExampleWriter.IGuidedSimulator

Enclosing class:

DefaultCounterExampleWriter

public static interface DefaultCounterExampleWriter.IGuidedSimulator

Method Summary

IBogorConfiguration	getBogorConfiguration()
IMessageStore	getErrors() All the errors that occurred when initializing system.
DefaultCounterExampleWriter.GuidedSystemSharedState	getSearchState()
DefaultCounterExampleWriter.IStateSnapshotSource	getStateSnapshotSource()

Method Detail

getBogorConfiguration

IBogorConfiguration getBogorConfiguration()

getErrors

IMessageStore getErrors()

All the errors that occurred when initializing system.

Returns:

Non-null

getSearchState

DefaultCounterExampleWriter.GuidedSystemSharedState getSearchState()

getStateSnapshotSource

DefaultCounterExampleWriter.IStateSnapshotSource getStateSnapshotSource()