/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | wrap1.cc | 33 oct.refine_with_constraint(x >= 224); in test01() 34 oct.refine_with_constraint(x-y <= 160); in test01() 35 oct.refine_with_constraint(x+y <= 416); in test01() 76 oct.refine_with_constraint(x >= 224); in test02() 121 oct.refine_with_constraint(-64 <= x); 122 oct.refine_with_constraint(x <= 448); 149 oct.refine_with_constraint(-64 <= x); 150 oct.refine_with_constraint(x <= 448); 180 oct.refine_with_constraint(-64 <= x); 181 oct.refine_with_constraint(x <= 448); [all …]
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | wrap1.cc | 33 bd.refine_with_constraint(x >= 224); in test01() 34 bd.refine_with_constraint(x <= 260); in test01() 35 bd.refine_with_constraint(x-y >= 164); in test01() 36 bd.refine_with_constraint(x-y <= 168); in test01() 50 known_result.refine_with_constraint(x >= 0); in test01() 58 known_result.refine_with_constraint(x >= 0); in test01() 59 known_result.refine_with_constraint(y >= 0); in test01() 75 bd.refine_with_constraint(x >= 224); in test02() 76 bd.refine_with_constraint(x <= 260); in test02() 77 bd.refine_with_constraint(x-y >= 164); in test02() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | smashproduct1.cc | 95 sp.refine_with_constraint(A >= 1); in test03() 96 sp.refine_with_constraint(A <= 0); in test03() 116 sp.refine_with_constraint(A >= 1); in test04() 117 sp.refine_with_constraint(A <= 0); in test04() 216 sp.refine_with_constraint(A >= 1); in test08() 217 sp.refine_with_constraint(A <= 0); in test08() 258 sp.refine_with_constraint(B >= 2); in test10() 282 sp1.refine_with_constraint(A <= 3); in test11() 286 sp2.refine_with_constraint(A <= 3); in test11() 287 sp2.refine_with_constraint(A >= 4); in test11() [all …]
|
H A D | dropsomenonintegerpoints1.cc | 41 prp1.refine_with_constraint(A >= 0); in test01() 42 prp1.refine_with_constraint(B >= 0); in test01() 43 prp1.refine_with_constraint(A + B >= 3); in test01() 44 prp1.refine_with_constraint(2*A - B == 0); in test01() 45 prp1.refine_with_constraint(3*A + C == 0); in test01() 53 known_prp.refine_with_constraint(A >= 1); in test01() 103 prp1.refine_with_constraint(A >= 0); in test03() 104 prp1.refine_with_constraint(B >= 0); in test03() 105 prp1.refine_with_constraint(A + B >= 3); in test03() 106 prp1.refine_with_constraint(2*A - B == 0); in test03() [all …]
|
H A D | timeelapse1.cc | 41 prp1.refine_with_constraint(A >= 0); in test01() 42 prp1.refine_with_constraint(B >= 0); in test01() 43 prp1.refine_with_constraint(A + B >= 3); in test01() 44 prp1.refine_with_constraint(2*A - B == 0); in test01() 45 prp1.refine_with_constraint(3*A + C == 0); in test01() 49 prp2.refine_with_constraint(7*C == 4); in test01() 50 prp2.refine_with_constraint(7*B == -1); in test01() 51 prp2.refine_with_constraint(7*A == 3); in test01() 62 known_prp.refine_with_constraint(A >= 0); in test01() 91 prp2.refine_with_constraint(A >= 1); in test02() [all …]
|
H A D | generalizedaffineimage1.cc | 43 prp.refine_with_constraint(B >= 0); in test01() 44 prp.refine_with_constraint(A - B >= 0); in test01() 53 known_prp.refine_with_constraint(B >= 0); in test01() 73 prp.refine_with_constraint(A >= 3); in test02() 98 prp.refine_with_constraint(A >= 0); in test03() 99 prp.refine_with_constraint(A <= 4); in test03() 100 prp.refine_with_constraint(B <= 5); in test03() 101 prp.refine_with_constraint(A <= B); in test03() 151 prp.refine_with_constraint(B >= 0); in test05() 152 prp.refine_with_constraint(A - B >= 1); in test05() [all …]
|
H A D | intersection1.cc | 40 prp1.refine_with_constraint(A >= 0); in test01() 44 prp2.refine_with_constraint(A <= 0); in test01() 51 known_prp.refine_with_constraint(A >= 0); in test01() 69 prp1.refine_with_constraint(A >= 0); in test02() 71 prp1.refine_with_constraint(B <= 1); in test02() 74 prp2.refine_with_constraint(A <= 0); in test02() 76 prp2.refine_with_constraint(B >= 1); in test02() 99 prp1.refine_with_constraint(A >= 0); in test03() 101 prp1.refine_with_constraint(B <= 1); in test03() 104 prp2.refine_with_constraint(A <= 0); in test03() [all …]
|
H A D | bounds1.cc | 83 prp.refine_with_constraint(A == 1); in test04() 104 prp.refine_with_constraint(A >= 1); in test05() 105 prp.refine_with_constraint(A <= 1); in test05() 106 prp.refine_with_constraint(B >= 1); in test05() 107 prp.refine_with_constraint(B <= 0); in test05() 131 prp.refine_with_constraint(B == 1); in test06() 205 prp.refine_with_constraint(A == 1); in test10() 246 prp.refine_with_constraint(A >= 2); in test11() 247 prp.refine_with_constraint(A <= 2); in test11() 248 prp.refine_with_constraint(B >= 1); in test11() [all …]
|
H A D | spacedims1.cc | 47 prp1.refine_with_constraint(A >= 0); in test01() 54 known_prp.refine_with_constraint(A >= 0); in test01() 72 prp1.refine_with_constraint(A >= 0); in test02() 98 prp.refine_with_constraint(A >= 0); in test03() 128 prp.refine_with_constraint(A >= 0); in test04() 153 prp.refine_with_constraint(A >= 0); in test05() 184 prp.refine_with_constraint(A >= 0); in test06() 213 prp.refine_with_constraint(A <= 5); in test07() 214 prp.refine_with_constraint(B <= 10); in test07() 215 prp.refine_with_constraint(C <= 0); in test07() [all …]
|
H A D | disjoint1.cc | 43 prp1.refine_with_constraint(B < 2); in test01() 44 prp2.refine_with_constraint(B > 3); in test01() 85 prp1.refine_with_constraint(A < 3); in test03() 86 prp2.refine_with_constraint(A > 3); in test03() 107 prp1.refine_with_constraint(A < 6); in test04() 108 prp2.refine_with_constraint(A > 3); in test04() 129 prp1.refine_with_constraint(A <= 4); in test05() 130 prp1.refine_with_constraint(A >= 0); in test05() 131 prp1.refine_with_constraint(A - B <= 0); in test05() 137 prp2.refine_with_constraint(A <= 4); in test05() [all …]
|
H A D | refinewithconstraints1.cc | 42 prp.refine_with_constraint(A == 0); in test01() 45 gr.refine_with_constraint(A == 0); in test01() 62 prp.refine_with_constraint(A >= 4); in test02() 65 ph.refine_with_constraint(A >= 4); in test02() 155 known_prp.refine_with_constraint(A >= 0); in test06() 156 known_prp.refine_with_constraint(B == 0); in test06() 212 known_prp.refine_with_constraint(A >= 0); in test08() 270 prp.refine_with_constraint(A > 2); in test10() 271 prp.refine_with_constraint(B >= 2); in test10() 277 known_prp.refine_with_constraint(A > 2); in test10() [all …]
|
H A D | constraints1.cc | 45 dp.refine_with_constraint(A > 9); in test01() 46 dp.refine_with_constraint(A <= 11); in test01() 52 known_ph.refine_with_constraint(B + C == 3); in test01() 53 known_ph.refine_with_constraint(A <= 11); in test01() 54 known_ph.refine_with_constraint(A > 9); in test01() 75 dp.refine_with_constraint(A > 9); in test02() 76 dp.refine_with_constraint(A <= 11); in test02() 82 known_ph.refine_with_constraint(B + C == 3); in test02() 83 known_ph.refine_with_constraint(A > 9); in test02() 84 known_ph.refine_with_constraint(A <= 11); in test02()
|
H A D | topclosure1.cc | 41 prp.refine_with_constraint(B >= 0); in test01() 42 prp.refine_with_constraint(4*A + C == 0); in test01() 43 prp.refine_with_constraint(2*A - B == 0); in test01() 45 prp.refine_with_constraint(A > 0); in test01() 50 known_prp.refine_with_constraint(B >= 0); in test01() 51 known_prp.refine_with_constraint(4*A + C == 0); in test01() 52 known_prp.refine_with_constraint(2*A - B == 0); in test01() 54 known_prp.refine_with_constraint(A >= 0); in test01()
|
H A D | boundedaffineimage1.cc | 83 prp.refine_with_constraint(A == 1); in test04() 84 prp.refine_with_constraint(3*B == 2); in test04() 103 prp.refine_with_constraint(A - B >= 1); in test05() 104 prp.refine_with_constraint(A - B <= 1); in test05() 124 prp.refine_with_constraint(B == 1); in test06() 178 prp.refine_with_constraint(A == 0); in test08() 179 prp.refine_with_constraint(A == 1); in test08() 180 prp.refine_with_constraint(C == -2); in test08() 238 prp.refine_with_constraint(A == 0); in test10() 239 prp.refine_with_constraint(A == 1); in test10() [all …]
|
H A D | discrete1.cc | 43 prp.refine_with_constraint(A == 1); in test01() 44 prp.refine_with_constraint(B == 2); in test01() 45 prp.refine_with_constraint(C <= 3); in test01() 63 prp.refine_with_constraint(A <= 3); in test02() 64 prp.refine_with_constraint(A >= 3); in test02() 65 prp.refine_with_constraint(B == 0); in test02() 84 prp.refine_with_constraint(B >= 0); in test03() 85 prp.refine_with_constraint(B <= 0); in test03()
|
H A D | frompolyhedron1.cc | 70 known_result.refine_with_constraint(A > 0); in test02() 89 ph.refine_with_constraint(3*x + y >= 2); in test03() 90 ph.refine_with_constraint(x <= 4); in test03() 91 ph.refine_with_constraint(y <= 4); in test03() 98 known_prp.refine_with_constraint(3*x >= -2); in test03() 99 known_prp.refine_with_constraint(x <= 4); in test03() 100 known_prp.refine_with_constraint(y >= -10); in test03() 101 known_prp.refine_with_constraint(y <= 4); in test03()
|
H A D | difference1.cc | 40 prp1.refine_with_constraint(A >= 0); in test01() 44 prp2.refine_with_constraint(A >= 3); in test01() 49 known_prp.refine_with_constraint(A >= 0); in test01() 50 known_prp.refine_with_constraint(A < 3); in test01() 70 prp.refine_with_constraint(A <= 18); in test02() 71 prp.refine_with_constraint(A >= 18); in test02() 108 prp.refine_with_constraint(A >= 1); in test03() 117 prp2.refine_with_constraint(A > 1); in test03()
|
H A D | contains1.cc | 40 prp1.refine_with_constraint(A <= 3); in test01() 44 prp2.refine_with_constraint(A <= 3); in test01() 54 prp2.refine_with_constraint(A <= 2); in test01() 55 prp2.refine_with_constraint(A >= -1); in test01() 72 prp1.refine_with_constraint(A <= 2); in test02() 76 prp2.refine_with_constraint(A <= 1); in test02() 81 prp1.refine_with_constraint(A <= 1); in test02()
|
H A D | concatenate1.cc | 42 prp1.refine_with_constraint(A >= 0); in test01() 46 prp2.refine_with_constraint(A <= 1); in test01() 47 prp2.refine_with_constraint(B >= 0); in test01() 52 known_prp.refine_with_constraint(A >= 0); in test01() 54 known_prp.refine_with_constraint(C <= 1); in test01() 55 known_prp.refine_with_constraint(D >= 0); in test01()
|
H A D | upperbound1.cc | 45 prp2.refine_with_constraint(A == 19); in test01() 50 known_prp.refine_with_constraint(A >= 9); in test01() 51 known_prp.refine_with_constraint(A <= 19); in test01() 101 prp1.refine_with_constraint(B == 0); in test03() 104 prp2.refine_with_constraint(B == 0); in test03() 105 prp2.refine_with_constraint(A == 8); in test03() 110 known_prp.refine_with_constraint(B == 0); in test03() 161 prp2.refine_with_constraint(B >= 1); in test04() 162 prp2.refine_with_constraint(B <= 1); in test04()
|
H A D | frombox1.cc | 43 box.refine_with_constraint(3*B >= 2); in test01() 44 box.refine_with_constraint(A >= 2); in test01() 45 box.refine_with_constraint(A <= 2); in test01() 50 known_dp.refine_with_constraint(3*B >= 2); in test01() 51 known_dp.refine_with_constraint(A == 2); in test01() 72 known_result.refine_with_constraint(A > 0); in test02()
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | frompartiallyreducedproduct1.cc | 37 dp.refine_with_constraint(A <= 4); in test01() 38 dp.refine_with_constraint(A >= 2); in test01() 47 known_box.refine_with_constraint(A >= 2); in test01() 63 dp.refine_with_constraint(A <= 4); in test02() 64 dp.refine_with_constraint(A >= 2); in test02() 68 box.refine_with_constraint(3*A >= 2); in test02() 69 box.refine_with_constraint(A <= 6); in test02() 91 sp.refine_with_constraint(A >= 4); in test03() 92 sp.refine_with_constraint(A <= 2); in test03() 112 cp.refine_with_constraint(A <= 4); in test04() [all …]
|
H A D | refinewithconstraint1.cc | 34 box.refine_with_constraint(A >= 0); in test01() 38 box.refine_with_constraint(B >= A); in test01() 42 box.refine_with_constraint(11*A < 127); in test01() 46 box.refine_with_constraint(7*A - 15*B > 8); in test01() 50 box.refine_with_constraint(3*B > 2*A); in test01() 54 box.refine_with_constraint(A == B); in test01() 82 box.refine_with_constraint(A - 2*B >= 0); in test02() 109 box.refine_with_constraint(c); in test03() 132 box.refine_with_constraint(c); in test04()
|
H A D | wrap1.cc | 46 known_result.refine_with_constraint(0 <= x); in test01() 47 known_result.refine_with_constraint(x <= 255); in test01() 48 known_result.refine_with_constraint(0 <= y); in test01() 49 known_result.refine_with_constraint(y <= 255); in test01() 80 known_result.refine_with_constraint(0 <= x); in test02() 81 known_result.refine_with_constraint(x <= 255); in test02() 82 known_result.refine_with_constraint(0 <= y); in test02() 83 known_result.refine_with_constraint(y <= 50); in test02() 114 known_result.refine_with_constraint(0 <= x); in test03() 116 known_result.refine_with_constraint(0 <= y); in test03() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | refinewithconstraint1.cc | 34 ph1.refine_with_constraint(A > 0); in test01() 35 ph1.refine_with_constraint(B == 5); in test01() 36 ph1.refine_with_constraint(A + B < 6); in test01() 43 ph2.refine_with_constraint(*i); in test01() 68 ph.refine_with_constraint(A == B); in test02() 83 ph.refine_with_constraint(A >= 0); in test03() 84 ph.refine_with_constraint(A <= 2); in test03() 85 ph.refine_with_constraint(A >= -1); in test03() 89 ph.refine_with_constraint(B > 1); in test03()
|