represents the states of a state machine
the current enable state
of states : The size of states in the diagram