Namespace StateMachine

State Machine

• StateMachine.driver: Drive a state machine
• StateMachine.init: Create a state machine from initial state and machine description
• fromList: Create a state machine from a simple list of states