| /dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
| H A D | polyhull1.cc | 53 computed_result.upper_bound_assign(ph2); in test01()
117 ph1.upper_bound_assign(ph2); in test03()
139 ph1.upper_bound_assign(ph2); in aux_test04()
188 ph1.upper_bound_assign(ph2); in test05()
208 ph1.upper_bound_assign(ph2); in test06()
240 ph1.upper_bound_assign(ph2); in test07()
268 ph1.upper_bound_assign(ph2); in test08()
287 ph1.upper_bound_assign(ph2); in test09()
314 ph1.upper_bound_assign(ph2); in test10()
348 ph1.upper_bound_assign(ph2); in test11()
[all …]
|
| H A D | hybrid.cc | 69 ph0.upper_bound_assign(ph_tmp); in test01()
211 ph0.upper_bound_assign(ph_tmp); in test02()
216 ph0.upper_bound_assign(ph_tmp); in test02()
220 ph0.upper_bound_assign(ph_tmp); in test02()
336 ph0.upper_bound_assign(ph0_prev); in test02()
415 ph_t1.upper_bound_assign(ph_tmp); in test03()
421 ph_t1.upper_bound_assign(ph_tmp); in test03()
428 ph_t1.upper_bound_assign(ph_tmp); in test03()
436 ph_t1.upper_bound_assign(ph_tmp); in test03()
446 ph_t2.upper_bound_assign(ph_tmp); in test03()
[all …]
|
| H A D | boundedbhrz03extrapolation1.cc | 63 old_ph.upper_bound_assign(ph); in test01()
86 ph.upper_bound_assign(old_ph); in test01()
|
| H A D | linearpartition1.cc | 55 the_union.upper_bound_assign(a); in aux_test01()
128 the_union.upper_bound_assign(a); in aux_test02()
201 the_union.upper_bound_assign(a); in aux_test03()
|
| H A D | polyhull2.cc | 46 p1.upper_bound_assign(p2); in test01()
|
| H A D | affineimage2.cc | 58 p1.upper_bound_assign(p2); in test01()
|
| H A D | append1.cc | 92 current.upper_bound_assign(previous); in test01()
|
| /dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
| H A D | upperbound1.cc | 45 oct1.upper_bound_assign(oct2); in test01()
74 oct1.upper_bound_assign(oct2); in test02()
108 oct1.upper_bound_assign(oct2); in test03()
141 oct1.upper_bound_assign(oct2); in test04()
176 oct1.upper_bound_assign(oct2); in test05()
213 oct1.upper_bound_assign(oct2); in test06()
232 oct1.upper_bound_assign(oct2); in test07()
251 oct1.upper_bound_assign(oct2); in test08()
280 oct1.upper_bound_assign(oct2); in test09()
302 oc1.upper_bound_assign(oc2); in test10()
[all …]
|
| /dports/devel/ppl/ppl-1.2/tests/Grid/ |
| H A D | upperbound1.cc | 45 gr1.upper_bound_assign(gr2); in test01()
68 gr1.upper_bound_assign(gr2); in test02()
98 gr1.upper_bound_assign(gr2); in test03()
132 gr1.upper_bound_assign(gr2); in test04()
163 gr1.upper_bound_assign(gr2); in test05()
197 gr1.upper_bound_assign(gr2); in test06()
230 gr1.upper_bound_assign(gr2); in test07()
261 gr1.upper_bound_assign(gr2); in test08()
295 gr2.upper_bound_assign(gr1); in test09()
302 gr3.upper_bound_assign(gr2); in test09()
|
| H A D | affineimage2.cc | 279 gr.upper_bound_assign(gr1); // join of gr0 and gr1 in test10()
283 gr.upper_bound_assign(gr2); // join of gr0, gr1 and gr2 in test10()
321 gr1.upper_bound_assign(gr); in test11()
366 gr1.upper_bound_assign(gr); in test12()
|
| H A D | upperbound2.cc | 45 gr1.upper_bound_assign(gr2); in test01()
313 gr1.upper_bound_assign(gr2); in test12()
|
| H A D | bhz03widening1.cc | 93 known_gr.upper_bound_assign(gr4); in test02()
|
| /dports/devel/ppl/ppl-1.2/tests/Box/ |
| H A D | upperbound1.cc | 46 box1.upper_bound_assign(box2); in test01()
76 box1.upper_bound_assign(box2); in test02()
109 box1.upper_bound_assign(box2); in test03()
137 box1.upper_bound_assign(box2); in test04()
160 box1.upper_bound_assign(box2); in test05()
185 box1.upper_bound_assign(box2); in test06()
209 box1.upper_bound_assign(box2); in test07()
227 box1.upper_bound_assign(box2); in test08()
|
| /dports/devel/ppl/ppl-1.2/tests/Concrete_Expression/ |
| H A D | digitalfilters1.cc | 174 abstract_store.upper_bound_assign(as_then); in test01()
184 abstract_store.upper_bound_assign(as_then); in test01()
623 bd.upper_bound_assign(bd_then); in test05()
657 bd.upper_bound_assign(bd_then); in test05()
664 bd.upper_bound_assign(bd_begin); in test05()
832 oc.upper_bound_assign(oc_then); in test06()
866 oc.upper_bound_assign(oc_then); in test06()
873 oc.upper_bound_assign(oc_begin); in test06()
1041 ph.upper_bound_assign(ph_then); in test07()
1074 ph.upper_bound_assign(ph_then); in test07()
[all …]
|
| /dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
| H A D | upperbound1.cc | 49 bds1.upper_bound_assign(bds2); in test01()
82 bds1.upper_bound_assign(bds2); in test02()
121 bds1.upper_bound_assign(bds2); in test03()
150 bds1.upper_bound_assign(bds2); in test04()
176 bds1.upper_bound_assign(bds2); in test05()
201 bds1.upper_bound_assign(bds2); in test06()
226 bds1.upper_bound_assign(bds2); in test07()
257 bds1.upper_bound_assign(bds2); in test08()
|
| /dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
| H A D | constraintsproduct1.cc | 412 ab1.upper_bound_assign(ab2);
413 box1.upper_bound_assign(box2);
414 affs1.upper_bound_assign(affs2);
415 gb1.upper_bound_assign(gb2);
507 ab1.upper_bound_assign(ab2);
508 box1.upper_bound_assign(box2);
509 affs1.upper_bound_assign(affs2);
510 gb1.upper_bound_assign(gb2);
|
| H A D | upperbound1.cc | 47 prp1.upper_bound_assign(prp2); in test01()
83 prp1.upper_bound_assign(prp2); in test02()
|
| H A D | smashproduct1.cc | 390 sp1.upper_bound_assign(sp2); in test13()
400 sp2.upper_bound_assign(sp1); in test13()
618 sp.upper_bound_assign(sp_prev); in test18()
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Pointset_Powerset.cc | 110 new_disjuncts.upper_bound_assign(partition.second); in check_containment()
114 tmp.upper_bound_assign(new_disjuncts); in check_containment()
265 new_disjuncts.upper_bound_assign(partition.second); in check_containment()
269 tmp.upper_bound_assign(new_disjuncts); in check_containment()
|
| H A D | wrap_assign.hh | 96 hull.upper_bound_assign(p); in wrap_assign_ind()
125 dest.upper_bound_assign(p); in wrap_assign_col()
356 hull.upper_bound_assign(p); in wrap_assign()
|
| H A D | Determinate_inlines.hh | 172 Determinate<PSET>::upper_bound_assign(const Determinate& y) { in upper_bound_assign() function in Parma_Polyhedra_Library::Determinate
173 pointset().upper_bound_assign(y.pointset()); in upper_bound_assign()
|
| H A D | Powerset_defs.hh | 358 void upper_bound_assign(const Powerset& y);
|
| H A D | Determinate_defs.hh | 169 void upper_bound_assign(const Determinate& y);
|
| /dports/devel/ppl/ppl-1.2/tests/Powerset/ |
| H A D | upperbound1.cc | 78 c_ps.upper_bound_assign(c_ps1); in test02()
110 pps_box.upper_bound_assign(pps_box1); in test03()
|
| H A D | disjunct1.cc | 151 phi.upper_bound_assign(phi1); in test04()
192 pps_boxi.upper_bound_assign(pps_boxi1); in test05()
267 pps_boxi.upper_bound_assign(pps_boxi1); in test07()
|