public int getDFASize(int decision) {DFA decisionToDFA = atnSimulator.decisionToDFA[decision];return decisionToDFA.states.size();}

public int getDFASize ( int decision ) { DFA decisionToDFA = atnSimulator . decisionToDFA [ decision ] ; return decisionToDFA . states . size ( ) ; }
public int getDFASize(int decision){DFA decisionToDFA = atnSimulator.decisionToDFA[decision];return decisionToDFA.states.Count;}
