public int defineDecisionState(DecisionState s) {decisionToState.add(s);s.decision = decisionToState.size()-1;return s.decision;}

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;}
