public virtual int AssignDecisionNumber( NFAState state ) { decisionCount++; state.DecisionNumber = decisionCount; return decisionCount; }