Home
last modified time | relevance | path

Searched refs:is_right_coeff_minus_one (Results 1 – 3 of 3) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DBD_Shape_templates.hh4833 bool is_right_coeff_minus_one = (right_w_coeff == -1); in left_one_var_refine() local
4837 (is_left_coeff_minus_one && is_right_coeff_minus_one)) { in left_one_var_refine()
4841 if (is_left_coeff_one && is_right_coeff_minus_one) { in left_one_var_refine()
4889 if (is_left_coeff_one && is_right_coeff_minus_one) { in left_one_var_refine()
4921 if (is_left_coeff_minus_one && is_right_coeff_minus_one) { in left_one_var_refine()
H A DOctagonal_Shape_templates.hh684 bool is_right_coeff_minus_one = (right_w_coeff == -1); in refine_with_linear_form_inequality() local
687 || (is_left_coeff_minus_one && is_right_coeff_minus_one)) { in refine_with_linear_form_inequality()
692 if (is_left_coeff_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()
737 if (is_left_coeff_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()
771 if (is_left_coeff_minus_one && is_right_coeff_minus_one) { in refine_with_linear_form_inequality()
H A Dppl.hh.dist71738 bool is_right_coeff_minus_one = (right_w_coeff == -1);
71741 || (is_left_coeff_minus_one && is_right_coeff_minus_one)) {
71746 if (is_left_coeff_one && is_right_coeff_minus_one) {
71791 if (is_left_coeff_one && is_right_coeff_minus_one) {
71825 if (is_left_coeff_minus_one && is_right_coeff_minus_one) {
85380 bool is_right_coeff_minus_one = (right_w_coeff == -1);
85384 (is_left_coeff_minus_one && is_right_coeff_minus_one)) {
85388 if (is_left_coeff_one && is_right_coeff_minus_one) {
85436 if (is_left_coeff_one && is_right_coeff_minus_one) {
85468 if (is_left_coeff_minus_one && is_right_coeff_minus_one) {