public List<String> getDFAStrings() {synchronized (_interp.decisionToDFA) {List<String> s = new ArrayList<String>();for (int d = 0; d < _interp.decisionToDFA.length; d++) {DFA dfa = _interp.decisionToDFA[d];s.add( dfa.toString(getVocabulary()) );}return s;}}

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