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