Searched refs:new_equiv_class_num (Results 1 – 2 of 2) sorted by relevance
6096 int new_equiv_class_num; in evaluate_equiv_classes() local6108 new_equiv_class_num = init_equiv_class (all_achieved_states, in evaluate_equiv_classes()6130 &new_equiv_class_num)) in evaluate_equiv_classes()