Home
last modified time | relevance | path

Searched refs:pinf_ind (Results 1 – 2 of 2) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DOctagonal_Shape_templates.hh4984 dimension_type pinf_ind = 2*pinf_index; in refine() local
4988 add_octagonal_constraint(pinf_ind, n_var, sum); in refine()
4991 add_octagonal_constraint(n_var + 1, pinf_ind + 1, sum); in refine()
4998 add_octagonal_constraint(pinf_ind + 1, n_var, sum); in refine()
5001 add_octagonal_constraint(n_var + 1, pinf_ind, sum); in refine()
5079 dimension_type pinf_ind = 2*pinf_index; in refine() local
5084 add_octagonal_constraint(n_var, pinf_ind, sum); in refine()
5087 add_octagonal_constraint(pinf_ind + 1, n_var, sum); in refine()
5095 add_octagonal_constraint(n_var, pinf_ind + 1, sum); in refine()
5098 add_octagonal_constraint(pinf_ind, n_var + 1, sum); in refine()
H A Dppl.hh.dist76038 dimension_type pinf_ind = 2*pinf_index;
76042 add_octagonal_constraint(pinf_ind, n_var, sum);
76045 add_octagonal_constraint(n_var + 1, pinf_ind + 1, sum);
76052 add_octagonal_constraint(pinf_ind + 1, n_var, sum);
76055 add_octagonal_constraint(n_var + 1, pinf_ind, sum);
76133 dimension_type pinf_ind = 2*pinf_index;
76138 add_octagonal_constraint(n_var, pinf_ind, sum);
76141 add_octagonal_constraint(pinf_ind + 1, n_var, sum);
76149 add_octagonal_constraint(n_var, pinf_ind + 1, sum);
76152 add_octagonal_constraint(pinf_ind, n_var + 1, sum);