/dports/devel/ppl/ppl-1.2/src/ |
H A D | Polyhedron_public.cc | 1323 refine_no_check(c); in add_constraint() 1365 refine_no_check(c); in add_congruence() 1752 refine_no_check(c); in refine_with_constraint() 1779 refine_no_check(c); in refine_with_congruence() 2716 z.refine_no_check(e < 0); in poly_difference_assign() 2720 z.refine_no_check(e <= 0); in poly_difference_assign() 2730 w.refine_no_check(e < 0); in poly_difference_assign() 2732 z.refine_no_check(e > 0); in poly_difference_assign() 3350 refine_no_check(lhs < rhs); in generalized_affine_image() 3362 refine_no_check(lhs > rhs); in generalized_affine_image() [all …]
|
H A D | BD_Shape_inlines.hh | 203 refine_no_check(c); in refine_with_constraint() 218 refine_no_check(*i); in refine_with_constraints() 232 refine_no_check(cg); in refine_with_congruence() 247 refine_no_check(*i); in refine_with_congruences() 253 BD_Shape<T>::refine_no_check(const Congruence& cg) { in refine_no_check() function in Parma_Polyhedra_Library::BD_Shape 267 refine_no_check(c); in refine_no_check()
|
H A D | Octagonal_Shape_inlines.hh | 475 refine_no_check(c); in refine_with_constraint() 490 refine_no_check(*i); in refine_with_constraints() 503 refine_no_check(cg); in refine_with_congruence() 518 refine_no_check(*i); in refine_with_congruences() 524 Octagonal_Shape<T>::refine_no_check(const Congruence& cg) { in refine_no_check() function in Parma_Polyhedra_Library::Octagonal_Shape 538 refine_no_check(c); in refine_no_check()
|
H A D | Box_defs.hh | 1856 void refine_no_check(const Constraint& c); 1870 void refine_no_check(const Constraint_System& cs); 1883 void refine_no_check(const Congruence& cg); 1896 void refine_no_check(const Congruence_System& cgs);
|
H A D | Box_inlines.hh | 471 refine_no_check(c); in refine_with_constraint() 486 refine_no_check(cs); in refine_with_constraints() 501 refine_no_check(cg); in refine_with_congruence() 517 refine_no_check(cgs); in refine_with_congruences()
|
H A D | Octagonal_Shape_defs.hh | 1999 void refine_no_check(const Constraint& c); 2013 void refine_no_check(const Congruence& cg);
|
H A D | BD_Shape_defs.hh | 2159 void refine_no_check(const Constraint& c); 2173 void refine_no_check(const Congruence& cg);
|
H A D | BD_Shape_templates.hh | 6035 refine_no_check(lhs <= rhs); in generalized_affine_image() 6038 refine_no_check(lhs == rhs); in generalized_affine_image() 6041 refine_no_check(lhs >= rhs); in generalized_affine_image() 6089 refine_no_check(lhs <= rhs); in generalized_affine_image() 6092 refine_no_check(lhs == rhs); in generalized_affine_image() 6095 refine_no_check(lhs >= rhs); in generalized_affine_image() 6139 refine_no_check(lhs <= new_var); in generalized_affine_image() 6142 refine_no_check(lhs == new_var); in generalized_affine_image() 6336 refine_no_check(lhs <= rhs); in generalized_affine_preimage() 6339 refine_no_check(lhs == rhs); in generalized_affine_preimage() [all …]
|
H A D | Octagonal_Shape_templates.hh | 6585 refine_no_check(lhs <= rhs); in generalized_affine_image() 6588 refine_no_check(lhs == rhs); in generalized_affine_image() 6591 refine_no_check(lhs >= rhs); in generalized_affine_image() 6642 refine_no_check(lhs <= rhs); in generalized_affine_image() 6645 refine_no_check(lhs == rhs); in generalized_affine_image() 6648 refine_no_check(lhs >= rhs); in generalized_affine_image() 7204 refine_no_check(lhs <= rhs); in generalized_affine_preimage() 7207 refine_no_check(lhs == rhs); in generalized_affine_preimage() 7210 refine_no_check(lhs >= rhs); in generalized_affine_preimage() 7345 refine_no_check(var >= new_var) ; in bounded_affine_preimage() [all …]
|
H A D | Grid_public.cc | 1411 refine_no_check(c); in refine_with_constraint() 1423 refine_no_check(*i); in refine_with_constraints() 1730 gr.refine_no_check(le == 1); in simplify_using_context_assign() 1736 gr.refine_no_check(le == 1); in simplify_using_context_assign() 1741 gr.refine_no_check(le2 == y_modulus_i); in simplify_using_context_assign()
|
H A D | Grid_defs.hh | 2295 void refine_no_check(const Constraint& c);
|
H A D | Box_templates.hh | 2473 Box<ITV>::refine_no_check(const Constraint& c) { in refine_no_check() function in Parma_Polyhedra_Library::Box 2503 Box<ITV>::refine_no_check(const Constraint_System& cs) { in refine_no_check() function in Parma_Polyhedra_Library::Box 2507 refine_no_check(*i); in refine_no_check() 2514 Box<ITV>::refine_no_check(const Congruence& cg) { in refine_no_check() function in Parma_Polyhedra_Library::Box 2530 refine_no_check(c); in refine_no_check() 2535 Box<ITV>::refine_no_check(const Congruence_System& cgs) { in refine_no_check() function in Parma_Polyhedra_Library::Box 2539 refine_no_check(*i); in refine_no_check()
|
H A D | Polyhedron_defs.hh | 2071 void refine_no_check(const Constraint& c);
|
H A D | Grid_nonpublic.cc | 729 PPL::Grid::refine_no_check(const Constraint& c) { in refine_no_check() function in PPL::Grid
|
H A D | Polyhedron_nonpublic.cc | 1434 PPL::Polyhedron::refine_no_check(const Constraint& c) { in refine_no_check() function in PPL::Polyhedron
|
H A D | ppl.hh.dist | 45506 refine_no_check(c); 45521 refine_no_check(cs); 45536 refine_no_check(cg); 45552 refine_no_check(cgs); 70626 refine_no_check(c); 70641 refine_no_check(*i); 70654 refine_no_check(cg); 70689 refine_no_check(c); 79827 refine_no_check(c); 79891 refine_no_check(c); [all …]
|
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog_2001-2008 | 9307 methods. In several places, prefer refine_no_check() to 9467 methods refine_no_check() for constraint and congruence. 9473 refine_no_check() for constraint and congruence. 24184 refine_no_check. 24200 Box<Interval>::refine_no_check(const Constraint&) where the 24268 = 0' from Box<Interval>::refine_no_check(const Constraint&). 24293 Box<Interval>::refine_no_check(const Constraint&) adapted to 24318 implementation of Box<Interval>::refine_no_check(const 24689 first version of Box<Interval>::refine_no_check(const 24722 Revised Box<Interval>::refine_no_check(const Constraint&). [all …]
|