/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | addcongruences1.cc | 72 gr.add_recycled_congruences(cgs); in test02() 97 gr.add_recycled_congruences(cgs); in test03() 121 gr.add_recycled_congruences(cgs); in test04() 146 gr.add_recycled_congruences(cgs); in test05() 193 gr.add_recycled_congruences(cgs); in test07() 219 gr.add_recycled_congruences(cgs); in test08() 246 gr.add_recycled_congruences(cgs); in test09() 270 gr1.add_recycled_congruences(cgs); in test10() 306 gr.add_recycled_congruences(cgs); in test11()
|
H A D | congruences1.cc | 222 gr.add_recycled_congruences(cgs); in test09() 254 gr.add_recycled_congruences(cgs); in test10()
|
H A D | grid2.cc | 493 gr.add_recycled_congruences(cgs); in test18() 513 gr.add_recycled_congruences(cgs); in test19()
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | addcongruences1.cc | 51 prp.add_recycled_congruences(cgs_copy); in test01() 82 prp.add_recycled_congruences(cgs_copy); in test02()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Grid_widenings.cc | 139 result.add_recycled_congruences(cgs); in congruence_widening_assign() 221 x.add_recycled_congruences(new_cgs); in limited_congruence_extrapolation_assign() 430 x.add_recycled_congruences(new_cgs); in limited_generator_extrapolation_assign() 532 x.add_recycled_congruences(new_cgs); in limited_extrapolation_assign()
|
H A D | Partially_Reduced_Product_templates.hh | 131 ::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::Partially_Reduced_Product 134 d1.add_recycled_congruences(cgs); in add_recycled_congruences() 139 d2.add_recycled_congruences(cgs); in add_recycled_congruences()
|
H A D | Grid_public.cc | 881 gr.add_recycled_congruences(cgs); in contains_integer_point() 1287 PPL::Grid::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in PPL::Grid 1791 z.add_recycled_congruences(tmp_cs); in simplify_using_context_assign() 2362 add_recycled_congruences(new_cgs1); in generalized_affine_image() 2383 add_recycled_congruences(new_cgs2); in generalized_affine_image() 2502 add_recycled_congruences(new_cgs1); in generalized_affine_preimage() 2523 add_recycled_congruences(new_cgs2); in generalized_affine_preimage()
|
H A D | Grid_inlines.hh | 280 add_recycled_congruences(cgs_copy); in add_congruences()
|
H A D | Polyhedron_inlines.hh | 377 Polyhedron::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::Polyhedron
|
H A D | Grid_chdims.cc | 453 add_recycled_congruences(new_congruences); in expand_space_dimension()
|
H A D | Partially_Reduced_Product_defs.hh | 994 void add_recycled_congruences(Congruence_System& cgs);
|
H A D | Grid_defs.hh | 983 void add_recycled_congruences(Congruence_System& cgs);
|
H A D | Polyhedron_defs.hh | 968 void add_recycled_congruences(Congruence_System& cgs);
|
H A D | Box_defs.hh | 844 void add_recycled_congruences(Congruence_System& cgs);
|
H A D | Octagonal_Shape_defs.hh | 980 void add_recycled_congruences(Congruence_System& cgs);
|
H A D | Box_inlines.hh | 369 Box<T>::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::Box
|
H A D | BD_Shape_defs.hh | 969 void add_recycled_congruences(Congruence_System& cgs);
|
H A D | BD_Shape_inlines.hh | 189 BD_Shape<T>::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::BD_Shape
|
H A D | Octagonal_Shape_inlines.hh | 453 Octagonal_Shape<T>::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::Octagonal_Shape
|
H A D | ppl.hh.dist | 37747 void add_recycled_congruences(Congruence_System& cgs); 45404 Box<T>::add_recycled_congruences(Congruence_System& cgs) { 48195 void add_recycled_congruences(Congruence_System& cgs); 57498 void add_recycled_congruences(Congruence_System& cgs); 59774 add_recycled_congruences(cgs_copy); 63620 void add_recycled_congruences(Congruence_System& cgs); 68163 void add_recycled_congruences(Congruence_System& cgs); 97971 void add_recycled_congruences(Congruence_System& cgs); 99563 ::add_recycled_congruences(Congruence_System& cgs) { 99566 d1.add_recycled_congruences(cgs); [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | addcongruences1.cc | 199 ph1.add_recycled_congruences(cgs); in test07() 228 ph1.add_recycled_congruences(cgs); in test08()
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | congruences1.cc | 98 box.add_recycled_congruences(cgs); in test04()
|
/dports/devel/ppl/ppl-1.2/ |
H A D | NEWS | 776 void add_recycled_congruences(const Congruence_System&), and
|
H A D | ChangeLog_2001-2008 | 9391 add_recycled_congruences to add_congruences. 20462 add_recycled_congruences(Congruence_System cgs) 20719 add_recycled_congruences(Congruence_System), and 20725 add_recycled_congruences(Congruence_System), and 49284 add_recycled_congruences zero dimension grid cases to always 49990 use cgs::has_a_free_dimension, add_recycled_congruences to use 58633 and add_recycled_congruences set empty or zero dim universe only 58729 add_recycled_congruences(cgs) and 59311 add_recycled_congruences(cs). 64370 add_recycled_congruences correct the sense of the test for [all …]
|
/dports/devel/ppl/ppl-1.2/doc/ |
H A D | definitions.dox | 352 <CODE>add_recycled_congruences()</CODE>. 359 <CODE>add_recycled_congruences()</CODE>,
|