Searched refs:DfaStates (Results 1 – 2 of 2) sorted by relevance
58 auto FromId = DfaStates.idFor(DS); in visitDfaState()82 unsigned ToId = DfaStates.insert(NewStates); in visitDfaState()89 DfaStates.insert(Initial); in constructDfa()93 while (DfaStateId <= DfaStates.size()) { in constructDfa()94 DfaState S = DfaStates[DfaStateId]; in constructDfa()105 OS << "// Generated DFA has " << DfaStates.size() << " states with " in emit()
91 UniqueVector<DfaState> DfaStates; variable