Searched refs:DfaTransitions (Results 1 – 2 of 2) sorted by relevance
83 DfaTransitions.emplace(std::make_pair(FromId, A), std::make_pair(ToId, TI)); in visitDfaState()106 << DfaTransitions.size() << " transitions.\n\n"; in emit()122 for (auto &T : DfaTransitions) in emit()150 << DfaTransitions.size() << "> " << Name << "Transitions = {{\n"; in emit()151 for (auto &KV : DfaTransitions) { in emit()
96 DfaTransitions; variable