public DecisionInfo[] getDecisionInfo() {return atnSimulator.getDecisionInfo();}

public DecisionInfo [ ] getDecisionInfo ( ) { return atnSimulator . getDecisionInfo ( ) ; }
public DecisionInfo[] getDecisionInfo(){return atnSimulator.getDecisionInfo();}
