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