public int getDFASize() { int n = 0; DFA[] decisionToDFA = atnSimulator.decisionToDFA; for (int i = 0; i < decisionToDFA.Length; i++) { n += getDFASize(i); } return n; }