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