Searched refs:new_equiv_class_num_ptr (Results 1 – 1 of 1) sorted by relevance
5800 int *new_equiv_class_num_ptr) in partition_equiv_class() argument5831 (*new_equiv_class_num_ptr)++; in partition_equiv_class()5833 curr_state->equiv_class_num_2 = *new_equiv_class_num_ptr; in partition_equiv_class()5835 curr_state->equiv_class_num_1 = *new_equiv_class_num_ptr; in partition_equiv_class()