Searched refs:NfaStates (Results 1 – 2 of 2) sorted by relevance
50 NfaStates.insert(From); in addTransition()51 NfaStates.insert(To); in addTransition()103 OS << "// Input NFA has " << NfaStates.size() << " states with " in emit()
85 std::set<state_type> NfaStates; variable