private void Push() { _StateHistory.Push(); _StateHistory[_StateHistory.Length - 1] = _CurState; _CurState = _NextState; }