Home
last modified time | relevance | path

Searched refs:refine_no_check (Results 1 – 17 of 17) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_public.cc1323 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 DBD_Shape_inlines.hh203 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 DOctagonal_Shape_inlines.hh475 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 DBox_defs.hh1856 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 DBox_inlines.hh471 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 DOctagonal_Shape_defs.hh1999 void refine_no_check(const Constraint& c);
2013 void refine_no_check(const Congruence& cg);
H A DBD_Shape_defs.hh2159 void refine_no_check(const Constraint& c);
2173 void refine_no_check(const Congruence& cg);
H A DBD_Shape_templates.hh6035 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 DOctagonal_Shape_templates.hh6585 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 DGrid_public.cc1411 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 DGrid_defs.hh2295 void refine_no_check(const Constraint& c);
H A DBox_templates.hh2473 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 DPolyhedron_defs.hh2071 void refine_no_check(const Constraint& c);
H A DGrid_nonpublic.cc729 PPL::Grid::refine_no_check(const Constraint& c) { in refine_no_check() function in PPL::Grid
H A DPolyhedron_nonpublic.cc1434 PPL::Polyhedron::refine_no_check(const Constraint& c) { in refine_no_check() function in PPL::Polyhedron
H A Dppl.hh.dist45506 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 DChangeLog_2001-20089307 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 …]