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

All Known Implementing Classes:
DefaultCounterExampleWriter.GuidedSearcherProxy
Enclosing class:
DefaultCounterExampleWriter

public static interface DefaultCounterExampleWriter.IStateSnapshotSource


Method Summary
 String getEnabledTransitions()
          Get the set of enabled transitions at time of snapshot.
 String getNextMovedThread()
          Get the transition set to be executed next at time of snapshot.
 String getStateSnapshot()
          Get state at time of snapshot.
 

Method Detail

getEnabledTransitions

String getEnabledTransitions()
Get the set of enabled transitions at time of snapshot.

Returns:
a string that can be parsed into a Transitions data binding from the CEF-XML package.

getNextMovedThread

String getNextMovedThread()
Get the transition set to be executed next at time of snapshot.

Returns:
a string that can be parsed into a Transitions data binding from the CEF-XML package.

getStateSnapshot

String getStateSnapshot()
Get state at time of snapshot.

Returns:
a string that can be parsed into a StateType data binding from the CEF-XML package.