Searched refs:right_w_id (Results 1 – 4 of 4) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | BD_Shape_defs.hh | 2257 const dimension_type& right_w_id, 2269 const dimension_type& right_w_id, 2279 const dimension_type& right_w_id,
|
H A D | BD_Shape_templates.hh | 4639 dimension_type right_w_id = 0; in refine_with_linear_form_inequality() local 4662 right_w_id = i; in refine_with_linear_form_inequality() 4670 right.coefficient(Variable(right_w_id)); in refine_with_linear_form_inequality() 4696 general_refine(left_w_id, right_w_id, left, right); in refine_with_linear_form_inequality() 4787 const dimension_type& right_w_id, in left_one_var_refine() argument 4834 if (left_w_id == right_w_id) { in left_one_var_refine() 4877 ub = dbm[0][right_w_id + 1]; in left_one_var_refine() 4885 add_dbm_constraint(right_w_id + 1, 0, ub); in left_one_var_refine() 4900 ub = dbm[right_w_id + 1][0]; in left_one_var_refine() 4908 add_dbm_constraint(0, right_w_id + 1, ub); in left_one_var_refine() [all …]
|
H A D | Octagonal_Shape_templates.hh | 562 dimension_type right_w_id = 0; in refine_with_linear_form_inequality() local 583 right_w_id = i; in refine_with_linear_form_inequality() 609 const dimension_type n_right = right_w_id * 2; in refine_with_linear_form_inequality() 623 const dimension_type n_right = right_w_id * 2; in refine_with_linear_form_inequality() 685 if (left_w_id == right_w_id) { in refine_with_linear_form_inequality() 721 const dimension_type n_right = right_w_id * 2; in refine_with_linear_form_inequality() 727 if (left_w_id < right_w_id) { in refine_with_linear_form_inequality() 739 const dimension_type n_right = right_w_id * 2; in refine_with_linear_form_inequality() 745 if (left_w_id < right_w_id) { in refine_with_linear_form_inequality() 762 if (left_w_id < right_w_id) { in refine_with_linear_form_inequality() [all …]
|
H A D | ppl.hh.dist | 71616 dimension_type right_w_id = 0; 71637 right_w_id = i; 71739 if (left_w_id == right_w_id) { 71781 if (left_w_id < right_w_id) { 71799 if (left_w_id < right_w_id) { 71816 if (left_w_id < right_w_id) { 85186 dimension_type right_w_id = 0; 85209 right_w_id = i; 85381 if (left_w_id == right_w_id) { 85424 ub = dbm[0][right_w_id + 1]; [all …]
|