Searched refs:NfaTransitions (Results 1 – 2 of 2) sorted by relevance
53 NfaTransitions[{From, A}].push_back(To); in addTransition()67 auto I = NfaTransitions.find({FromState, A}); in visitDfaState()68 if (I == NfaTransitions.end()) in visitDfaState()
86 NfaTransitions; variable