Searched refs:n_second_var (Results 1 – 3 of 3) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_templates.hh | 859 dimension_type n_second_var = second_v * 2; in refine_with_linear_form_inequality() local 862 add_octagonal_constraint(n_second_var + 1, n_first_var + 1, in refine_with_linear_form_inequality() 866 add_octagonal_constraint(n_second_var + 1, n_first_var, upper_bound); in refine_with_linear_form_inequality() 869 add_octagonal_constraint(n_second_var, n_first_var + 1, upper_bound); in refine_with_linear_form_inequality() 872 add_octagonal_constraint(n_second_var, n_first_var, upper_bound); in refine_with_linear_form_inequality()
|
H A D | BD_Shape_templates.hh | 5006 dimension_type n_second_var = second_v + 1; in general_refine() local 5009 add_dbm_constraint(n_first_var, n_second_var, upper_bound); in general_refine() 5012 add_dbm_constraint(n_second_var, n_first_var, upper_bound); in general_refine()
|
H A D | ppl.hh.dist | 71913 dimension_type n_second_var = second_v * 2; 71916 add_octagonal_constraint(n_second_var + 1, n_first_var + 1, 71920 add_octagonal_constraint(n_second_var + 1, n_first_var, upper_bound); 71923 add_octagonal_constraint(n_second_var, n_first_var + 1, upper_bound); 71926 add_octagonal_constraint(n_second_var, n_first_var, upper_bound); 85553 dimension_type n_second_var = second_v + 1; 85556 add_dbm_constraint(n_first_var, n_second_var, upper_bound); 85559 add_dbm_constraint(n_second_var, n_first_var, upper_bound);
|