internal void AddGoto(Symbol s, AutomatonState next) { this.Goto[s] = next; Terminal term; if ((term = s as Terminal) != null) terminalTransitions.Add(term); else { NonTerminal nonTerm = (NonTerminal)s; nonTerminalTransitions.Add(nonTerm, new Transition(nonTerm, next)); } }