Searched refs:pinf_ind (Results 1 – 2 of 2) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_templates.hh | 4984 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 D | ppl.hh.dist | 76038 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);
|