public long getTotalLLLookaheadOps() {DecisionInfo[] decisions = atnSimulator.getDecisionInfo();long k = 0;for (int i = 0; i < decisions.length; i++) {k += decisions[i].LL_TotalLook;}return k;}

public long getTotalLLLookaheadOps(){DecisionInfo[] decisions = atnSimulator.getDecisionInfo();long k = 0;for (int i = 0; i < decisions.Length; i++){k += decisions[i].LL_TotalLook;}return k;}
