public long getTotalTimeInPrediction() {DecisionInfo[] decisions = atnSimulator.getDecisionInfo();long t = 0;for (int i=0; i<decisions.length; i++) {t += decisions[i].timeInPrediction;}return t;}

public long getTotalTimeInPrediction(){DecisionInfo[] decisions = atnSimulator.getDecisionInfo();long t = 0;for (int i = 0; i < decisions.Length; i++){t += decisions[i].timeInPrediction;}return t;}
