Searched refs:configurationsWithLabeledEdges (Results 1 – 2 of 2) sorted by relevance
141 public List<NFAConfiguration> configurationsWithLabeledEdges = field in DFAState171 configurationsWithLabeledEdges = null; in reset()252 configurationsWithLabeledEdges.add(c); in addNFAConfiguration()
856 List<NFAConfiguration> configs = d.configurationsWithLabeledEdges; in reach()