Searched refs:general_refine (Results 1 – 3 of 3) sorted by last modified time
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | ppl.hh.dist | 65024 void general_refine(const dimension_type& left_w_id,
85243 general_refine(left_w_id, right_w_id, left, right);
85484 ::general_refine(const dimension_type& left_w_id,
|
| H A D | BD_Shape_defs.hh | 2278 void general_refine(const dimension_type& left_w_id,
|
| H A D | BD_Shape_templates.hh | 4696 general_refine(left_w_id, right_w_id, left, right); in refine_with_linear_form_inequality()
4937 ::general_refine(const dimension_type& left_w_id, in general_refine() function in Parma_Polyhedra_Library::BD_Shape
|