public virtual void RemoveRecursiveOverflowState( DFAState d ) { _stateToRecursionOverflowConfigurationsMap.Remove( d.StateNumber ); }