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