Searched refs:dfaStatesUnaliased (Results 1 – 1 of 1) sorted by relevance
561 private void computeAltToProblemMaps(Set<Integer> dfaStatesUnaliased, in computeAltToProblemMaps() argument566 for (Integer stateI : dfaStatesUnaliased) { in computeAltToProblemMaps()599 Set<Integer> dfaStatesUnaliased = new HashSet<Integer>(); in getUnaliasedDFAStateSet() local602 dfaStatesUnaliased.add(Utils.integer(d.stateNumber)); in getUnaliasedDFAStateSet()604 return dfaStatesUnaliased; in getUnaliasedDFAStateSet()