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