text: public virtual IList<string> GetDFAStrings(){IList<string> s = new List<string>();for (int d = 0; d < Interpreter.atn.decisionToDFA.Length; d++){DFA dfa = Interpreter.atn.decisionToDFA[d];s.Add(dfa.ToString(Vocabulary));}return s;}