Home
last modified time | relevance | path

Searched refs:add_recycled_congruences (Results 1 – 25 of 25) sorted by relevance

/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Daddcongruences1.cc72 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 Dcongruences1.cc222 gr.add_recycled_congruences(cgs); in test09()
254 gr.add_recycled_congruences(cgs); in test10()
H A Dgrid2.cc493 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 Daddcongruences1.cc51 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 DGrid_widenings.cc139 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 DPartially_Reduced_Product_templates.hh131 ::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 DGrid_public.cc881 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 DGrid_inlines.hh280 add_recycled_congruences(cgs_copy); in add_congruences()
H A DPolyhedron_inlines.hh377 Polyhedron::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::Polyhedron
H A DGrid_chdims.cc453 add_recycled_congruences(new_congruences); in expand_space_dimension()
H A DPartially_Reduced_Product_defs.hh994 void add_recycled_congruences(Congruence_System& cgs);
H A DGrid_defs.hh983 void add_recycled_congruences(Congruence_System& cgs);
H A DPolyhedron_defs.hh968 void add_recycled_congruences(Congruence_System& cgs);
H A DBox_defs.hh844 void add_recycled_congruences(Congruence_System& cgs);
H A DOctagonal_Shape_defs.hh980 void add_recycled_congruences(Congruence_System& cgs);
H A DBox_inlines.hh369 Box<T>::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::Box
H A DBD_Shape_defs.hh969 void add_recycled_congruences(Congruence_System& cgs);
H A DBD_Shape_inlines.hh189 BD_Shape<T>::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::BD_Shape
H A DOctagonal_Shape_inlines.hh453 Octagonal_Shape<T>::add_recycled_congruences(Congruence_System& cgs) { in add_recycled_congruences() function in Parma_Polyhedra_Library::Octagonal_Shape
H A Dppl.hh.dist37747 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 Daddcongruences1.cc199 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 Dcongruences1.cc98 box.add_recycled_congruences(cgs); in test04()
/dports/devel/ppl/ppl-1.2/
H A DNEWS776 void add_recycled_congruences(const Congruence_System&), and
H A DChangeLog_2001-20089391 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 Ddefinitions.dox352 <CODE>add_recycled_congruences()</CODE>.
359 <CODE>add_recycled_congruences()</CODE>,