uk.ac.man.cs.rainbow.simulator
Class StateEnumerator.SavedEnumeratorState

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.simulator.StateEnumerator.SavedEnumeratorState

All Implemented Interfaces:

SavedState, Serializable

Enclosing class:

StateEnumerator

protected static final class StateEnumerator.SavedEnumeratorState

extends Object

implements SavedState

See Also:

Serialized Form

Method Summary

void	dispose() Dispose of any state held in this saved state.
SavedState	getState() Get the real saved state.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getState

public SavedState getState()

Description copied from interface: SavedState

Get the real saved state. Note that this is required to allow for future expansion of the system to include a mechanism for cacheing states to disk to reduce peak memory consumption.

Specified by:

getState in interface SavedState

dispose

public void dispose()

Description copied from interface: SavedState

Dispose of any state held in this saved state. May be a null-op, but can be implemented to allow the VM to reclaim the memory (or any other held resources) sooner.

Specified by:

dispose in interface SavedState