Searched refs:getReachableLabels (Results 1 – 2 of 2) sorted by relevance
380 public OrderedHashSet getReachableLabels() { in getReachableLabels() method in DFAState
203 OrderedHashSet labels = d.getReachableLabels(); in findNewDFAStatesAndAddDFATransitions()