Searched refs:equiv_class_state (Results 1 – 1 of 1) sorted by relevance
708 state_t equiv_class_state; member6167 curr_state->equiv_class_state = new_state; in merge_states()6191 curr_state->equiv_class_state = curr_state; in merge_states()6205 add_arc (first_class_state->equiv_class_state, in merge_states()6206 curr_arc->to_state->equiv_class_state, in merge_states()6214 automaton->start_state = curr_state->equiv_class_state; in merge_states()6232 curr_arc->to_state = curr_arc->to_state->equiv_class_state; in merge_states()