Searched refs:equiv_class_state (Results 1 – 1 of 1) sorted by relevance
703 state_t equiv_class_state; member5929 curr_state->equiv_class_state = new_state; in merge_states()5953 curr_state->equiv_class_state = curr_state; in merge_states()5967 add_arc (first_class_state->equiv_class_state, in merge_states()5968 curr_arc->to_state->equiv_class_state, in merge_states()5976 automaton->start_state = curr_state->equiv_class_state; in merge_states()5994 curr_arc->to_state = curr_arc->to_state->equiv_class_state; in merge_states()