public virtual void ClearDFA() { throw new Exception("This ATN simulator does not support clearing the DFA."); }
