public virtual void SetLookaheadDFA(int decision, DFA lookaheadDFA) { decisionDFAs[decision] = lookaheadDFA; }