Searched refs:reachableLabels (Results 1 – 1 of 1) sorted by relevance
163 protected OrderedHashSet<Label> reachableLabels; field in DFAState173 reachableLabels = null; in reset()309 if ( reachableLabels==null ) { in addReachableLabel()310 reachableLabels = new OrderedHashSet<Label>(); in addReachableLabel()317 if ( reachableLabels.contains(label) ) { // exact label present in addReachableLabel()322 int n = reachableLabels.size(); // only look at initial elements in addReachableLabel()325 Label rl = reachableLabels.get(i); in addReachableLabel()343 reachableLabels.set(i, new Label(intersection)); in addReachableLabel()352 reachableLabels.add(newLabel); in addReachableLabel()375 reachableLabels.add(newLabel); in addReachableLabel()[all …]