Searched refs:NewStates (Results 1 – 1 of 1) sorted by relevance
60 DfaState NewStates; in visitDfaState() local70 NewStates.push_back(ToState); in visitDfaState()74 if (NewStates.empty()) in visitDfaState()77 sort(NewStates); in visitDfaState()78 NewStates.erase(std::unique(NewStates.begin(), NewStates.end()), in visitDfaState()79 NewStates.end()); in visitDfaState()82 unsigned ToId = DfaStates.insert(NewStates); in visitDfaState()