Searched refs:equiv_class_num_2 (Results 1 – 1 of 1) sorted by relevance
704 int equiv_class_num_1, equiv_class_num_2; member5873 : arc->to_state->equiv_class_num_2); in set_out_arc_insns_equiv_num()5955 : arc->to_state->equiv_class_num_2) in state_is_differed()6074 curr_state->equiv_class_num_2 = *new_equiv_class_num_ptr; in partition_equiv_class()6120 all_achieved_states[i]->equiv_class_num_2 in evaluate_equiv_classes()6124 = all_achieved_states[i]->equiv_class_num_2; in evaluate_equiv_classes()