internal void DumpCurrent() { Console.Write("Current start states: "); foreach (StartState elem in Current) { Console.Write("{0},", elem.Name); } Console.WriteLine(); }