Searched refs:WriteTransitionTable (Results 1 – 3 of 3) sorted by relevance
15 void WriteTransitionTable(std::ofstream& out, const DFA& dfa, size_t states);
130 WriteTransitionTable(out, dfa, states); in writeCPP()
109 void WriteTransitionTable(std::ofstream& out, const DFA& dfa, size_t states) { in WriteTransitionTable() function