Searched defs:merge_states (Results 1 – 2 of 2) sorted by relevance
6140 merge_states (automaton_t automaton, const vec<state_t> &equiv_classes) in merge_states() function
6140 merge_states (automaton_t automaton, vec<state_t> equiv_classes) in merge_states() function