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