Home
last modified time | relevance | path

Searched refs:right_w_id (Results 1 – 4 of 4) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_defs.hh2257 const dimension_type& right_w_id,
2269 const dimension_type& right_w_id,
2279 const dimension_type& right_w_id,
H A DBD_Shape_templates.hh4639 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 DOctagonal_Shape_templates.hh562 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 Dppl.hh.dist71616 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 …]