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 ; }
public long getTotalTimeInPrediction(){DecisionInfo[] decisions = atnSimulator.getDecisionInfo();long t = 0;for (int i = 0; i < decisions.Length; i++){t += decisions[i].timeInPrediction;}return t;}
