Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_templates.hh859 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 DBD_Shape_templates.hh5006 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 Dppl.hh.dist71913 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);