An abstraction for a state of an FSM. This state can be initial/terminal, and has some number of transitions to other state instances. @param The type of the next state (set) returned by getNextStates. @param The type of transition event type; implements
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected