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 ; }
public int getDFASize(){int n = 0;DFA[] decisionToDFA = atnSimulator.decisionToDFA;for (int i = 0; i < decisionToDFA.Length; i++){n += getDFASize(i);}return n;}
