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