Searched refs:x_num_non_redundant (Results 1 – 3 of 3) sorted by relevance
2637 dimension_type x_num_non_redundant = (dim+1)*(dim+1); in simplify_using_context_assign() local2639 x_num_non_redundant -= x.redundancy_dbm[i].count_ones(); in simplify_using_context_assign()2641 PPL_ASSERT(x_num_non_redundant > 0); in simplify_using_context_assign()2689 if (res_num_non_redundant < x_num_non_redundant) { in simplify_using_context_assign()2727 if (res_num_non_redundant < x_num_non_redundant) { in simplify_using_context_assign()2763 if (res_num_non_redundant < x_num_non_redundant) { in simplify_using_context_assign()
3387 dimension_type x_num_non_redundant = 0; in simplify_using_context_assign() local3389 x_num_non_redundant += x_non_redundant[i].count_ones(); in simplify_using_context_assign()3391 PPL_ASSERT(x_num_non_redundant > 0); in simplify_using_context_assign()3454 if (res_num_non_redundant < x_num_non_redundant) { in simplify_using_context_assign()3495 if (res_num_non_redundant < x_num_non_redundant) { in simplify_using_context_assign()3536 if (res_num_non_redundant < x_num_non_redundant) { in simplify_using_context_assign()
74441 dimension_type x_num_non_redundant = 0;74443 x_num_non_redundant += x_non_redundant[i].count_ones();74445 PPL_ASSERT(x_num_non_redundant > 0);74508 if (res_num_non_redundant < x_num_non_redundant) {74549 if (res_num_non_redundant < x_num_non_redundant) {74590 if (res_num_non_redundant < x_num_non_redundant) {83184 dimension_type x_num_non_redundant = (dim+1)*(dim+1);83186 x_num_non_redundant -= x.redundancy_dbm[i].count_ones();83188 PPL_ASSERT(x_num_non_redundant > 0);83236 if (res_num_non_redundant < x_num_non_redundant) {[all …]