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;}
