Searched refs:left_w_id (Results 1 – 4 of 4) sorted by relevance
4634 dimension_type left_w_id = 0; in refine_with_linear_form_inequality() local4650 left_w_id = i; in refine_with_linear_form_inequality()4668 left.coefficient(Variable(left_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()4797 left.coefficient(Variable(left_w_id)); in left_one_var_refine()4834 if (left_w_id == right_w_id) { in left_one_var_refine()4880 add_dbm_constraint(left_w_id + 1, 0, ub); in left_one_var_refine()4882 ub = dbm[0][left_w_id + 1]; in left_one_var_refine()4903 add_dbm_constraint(0, left_w_id + 1, ub); in left_one_var_refine()4905 ub = dbm[left_w_id + 1][0]; in left_one_var_refine()[all …]
2267 left_one_var_refine(const dimension_type& left_w_id,2278 void general_refine(const dimension_type& left_w_id,
557 dimension_type left_w_id = 0; in refine_with_linear_form_inequality() local571 left_w_id = i; in refine_with_linear_form_inequality()644 const dimension_type n_left = left_w_id * 2; in refine_with_linear_form_inequality()658 const dimension_type n_left = left_w_id * 2; in refine_with_linear_form_inequality()685 if (left_w_id == right_w_id) { in refine_with_linear_form_inequality()720 const dimension_type n_left = left_w_id * 2; in refine_with_linear_form_inequality()727 if (left_w_id < right_w_id) { in refine_with_linear_form_inequality()738 const dimension_type n_left = left_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 …]
71611 dimension_type left_w_id = 0;71625 left_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) {85181 dimension_type left_w_id = 0;85197 left_w_id = i;85381 if (left_w_id == right_w_id) {85429 ub = dbm[0][left_w_id + 1];[all …]