text: public virtual int DefineDecisionState(DecisionState s){decisionToState.Add(s);s.decision = decisionToState.Count - 1;decisionToDFA = Arrays.CopyOf(decisionToDFA, decisionToState.Count);decisionToDFA[decisionToDFA.Length - 1] = new DFA(s, s.decision);return s.decision;}