Type Definition extemp::TransitionMap

type TransitionMap = MultiMap<StateID, (Transition, StateID)>;

A type for the transitions that can be taken out from a state and their destinations.