Encapsulation of a 'running' machine description and state.
See:
Readonly
Current state
List of unique states visited. Won't contain the current state unless it has already been visited.
Encapsulation of a 'running' machine description and state.
See: