Searched refs:new_equiv_class_num_ptr (Results 1 – 2 of 2) sorted by relevance
6041 int *new_equiv_class_num_ptr) in partition_equiv_class() argument6072 (*new_equiv_class_num_ptr)++; in partition_equiv_class()6074 curr_state->equiv_class_num_2 = *new_equiv_class_num_ptr; in partition_equiv_class()6076 curr_state->equiv_class_num_1 = *new_equiv_class_num_ptr; in partition_equiv_class()