/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | spacedims1.cc | 48 prp1.refine_with_congruence((A %= 0) / 2); in test01() 53 known_prp.refine_with_congruence((A %= 0) / 2); in test01() 73 prp1.refine_with_congruence((A %= 0) / 2); in test02() 99 prp.refine_with_congruence((A %= 0) / 2); in test03() 100 prp.refine_with_congruence((A - C %= 0) / 2); in test03() 129 prp.refine_with_congruence((A %= 0) / 2); in test04() 130 prp.refine_with_congruence((A - C %= 0) / 2); in test04() 154 prp.refine_with_congruence((A - B %= 0) / 2); in test05() 210 prp.refine_with_congruence((A %= 2) / 7); in test07() 211 prp.refine_with_congruence((B %= 2) / 14); in test07() [all …]
|
H A D | smashproduct1.cc | 50 sp1.refine_with_congruence((A %= 0) / 4); in test01() 51 sp1.refine_with_congruence((A %= 1) / 4); in test01() 72 sp1.refine_with_congruence((A %= 9) / 19); in test02() 73 sp1.refine_with_congruence((A %= 8) / 19); in test02() 97 sp.refine_with_congruence((A %= 1) / 3); in test03() 118 sp.refine_with_congruence((A %= 1) / 3); in test04() 218 sp.refine_with_congruence((A %= 1) / 3); in test08() 417 sp.refine_with_congruence((A %= 0) / 2); in test14() 526 sp1.refine_with_congruence(3*A %= 0); in test16() 564 sp.refine_with_congruence(3*A %= 0); in test17() [all …]
|
H A D | generalizedaffineimage1.cc | 41 prp.refine_with_congruence(A %= 0); in test01() 51 known_prp.refine_with_congruence(A %= 0); in test01() 71 prp.refine_with_congruence(A %= 0); in test02() 79 known_prp.refine_with_congruence(A %= 0); in test02() 102 prp.refine_with_congruence(A %= B); in test03() 126 prp.refine_with_congruence(A %= 0); in test04() 127 prp.refine_with_congruence((B %= 0) / 2); in test04() 133 known_prp.refine_with_congruence(A %= 0); in test04() 150 prp.refine_with_congruence(A %= 0); in test05() 157 known_prp.refine_with_congruence(A %= 0); in test05() [all …]
|
H A D | contains1.cc | 41 prp1.refine_with_congruence((A %= 3) / 2); in test01() 45 prp2.refine_with_congruence(A %= 3); in test01() 49 prp2.refine_with_congruence((A %= 1) / 4); in test01() 53 prp1.refine_with_congruence((A == 1) / 0); in test01() 56 prp2.refine_with_congruence((A %= 1) / 3); in test01() 73 prp1.refine_with_congruence(A %= 0); in test02() 77 prp2.refine_with_congruence(A %= 0); in test02() 82 prp2.refine_with_congruence((A %= 1) /2); in test02() 86 prp1.refine_with_congruence((A %= 1) /2); in test02()
|
H A D | shapepreservingproduct1.cc | 45 shpp.refine_with_congruence((A %= 0)/ 2); in test01() 51 known_shpp.refine_with_congruence((A %= 0)/ 2); in test01() 73 shpp.refine_with_congruence((2*A %= 0)/ 1); in test02() 79 known_shpp.refine_with_congruence((2*A %= 0)/ 1); in test02() 100 shpp.refine_with_congruence((A %= 0)/ 2); in test03() 106 known_shpp.refine_with_congruence((A %= 0)/ 2); in test03() 128 shpp.refine_with_congruence((A %= 0)/ 2); in test04() 129 shpp.refine_with_congruence((B %= 0)/ 2); in test04() 134 known_shpp.refine_with_congruence((A %= 0)/ 2); in test04() 135 known_shpp.refine_with_congruence((B %= 0)/ 2); in test04()
|
H A D | disjoint1.cc | 61 prp1.refine_with_congruence((A %= 0) / 7); in test02() 64 prp2.refine_with_congruence((A %= 1) / 7); in test02() 82 prp1.refine_with_congruence((A %= 0) / 7); in test03() 84 prp2.refine_with_congruence((A %= 1) / 7); in test03() 104 prp1.refine_with_congruence((A %= 1) / 7); in test04() 106 prp2.refine_with_congruence((A %= 1) / 14); in test04() 133 prp1.refine_with_congruence((A %= 0) / 2); in test05() 134 prp1.refine_with_congruence((A %= 0) / 4); in test05() 142 prp2.refine_with_congruence((A %= 0) / 2); in test05() 143 prp2.refine_with_congruence((A %= 0) / 4); in test05()
|
H A D | refinewithcongruences1.cc | 42 prp.refine_with_congruence((A == 0) / 0); in test01() 45 gr.refine_with_congruence((A == 0) / 0); in test01() 62 prp.refine_with_congruence((A %= 0) / 4); in test02() 65 gr.refine_with_congruence((A %= 0) / 4); in test02() 106 prp.refine_with_congruence((Linear_Expression(0) == 1) / 2); in test04() 123 prp.refine_with_congruence((Linear_Expression(0) == 0) / 0); in test05() 155 known_dp.refine_with_congruence((A %= 0) / 2); in test06() 156 known_dp.refine_with_congruence((B == 0) / 2); in test06() 185 known_prp.refine_with_congruence((A %= 0) / 2); in test07() 213 known_prp.refine_with_congruence((A + B %= 0) / 2); in test08() [all …]
|
H A D | intersection1.cc | 41 prp1.refine_with_congruence((A %= 0) / 2); in test01() 45 prp2.refine_with_congruence((A %= 0) / 7); in test01() 50 known_prp.refine_with_congruence((A %= 0) / 14); in test01() 70 prp1.refine_with_congruence((A %= 0) / 2); in test02() 75 prp2.refine_with_congruence((A %= 0) / 7); in test02() 100 prp1.refine_with_congruence((A %= 0) / 2); in test03() 105 prp2.refine_with_congruence((A %= 0) / 7); in test03()
|
H A D | congruencesproduct1.cc | 46 cgp.refine_with_congruence((A %= 0)/ 2); in test01() 51 known_cgp.refine_with_congruence((A %= 0)/ 2); in test01() 79 cgp.refine_with_congruence((A %= 0)/ 2); in test02() 84 known_cgp.refine_with_congruence((A %= 0)/ 2); in test02() 113 cgp.refine_with_congruence((A %= 0)/ 2); in test03() 118 known_cgp.refine_with_congruence((A %= 0)/ 2); in test03() 147 cgp.refine_with_congruence((A %= 0)/ 2); in test04() 180 cgp.refine_with_congruence((A %= 0)/ 2); in test05() 212 cgp.refine_with_congruence((A %= 0)/ 2); in test06() 242 cgp.refine_with_congruence((A %= 0)/ 2); in test07()
|
H A D | difference1.cc | 41 prp1.refine_with_congruence((A - B %= 0) / 2); in test01() 45 prp2.refine_with_congruence((A - B %= 0) / 4); in test01() 51 known_prp.refine_with_congruence((A - B %= 2) / 4); in test01() 76 prp2.refine_with_congruence((A %= 18) / 20); in test02() 91 known_prp.refine_with_congruence((A %= 18) / 20); in test02() 109 prp.refine_with_congruence((A %= 0) / 2); in test03() 118 prp2.refine_with_congruence((A %= 1) / 2); in test03()
|
H A D | upperbound1.cc | 52 known_prp.refine_with_congruence((A %= 9) / 10); in test01() 129 prp.refine_with_congruence((A %= 0) / 2); in test04() 130 prp.refine_with_congruence((B %= 0) / 2); in test04() 135 prp2.refine_with_congruence((A %= 1) / 3); in test04() 136 prp2.refine_with_congruence((B %= 1) / 3); in test04() 159 prp1.refine_with_congruence((B %= 1) / 2); in test04() 171 known_prp.refine_with_congruence((B %= 1) / 0); in test04() 172 known_prp.refine_with_congruence((A %= 1) / 3); in test04()
|
H A D | dropsomenonintegerpoints1.cc | 46 prp1.refine_with_congruence(3*A %= 0); in test01() 54 known_prp.refine_with_congruence(A %= 0); in test01() 80 known_prp.refine_with_congruence(A %= 0); in test02() 108 prp1.refine_with_congruence(3*A %= 0); in test03() 116 known_prp.refine_with_congruence(A %= 0); in test03()
|
H A D | isempty1.cc | 43 prp.refine_with_congruence(A %= 9); in test01() 44 prp.refine_with_congruence(B + C %= 3); in test01() 61 prp.refine_with_congruence((A %= 0) / 2); in test02() 62 prp.refine_with_congruence((A %= 1) / 2); in test02()
|
H A D | affineimage1.cc | 41 prp.refine_with_congruence((B %= 2) / 14); in test01() 48 known_prp.refine_with_congruence((B %= 2) / 14); in test01() 69 prp.refine_with_congruence((A %= 0) / 3); in test02() 74 known_prp.refine_with_congruence((B %= 0) / 3); in test02()
|
H A D | boundedaffineimage1.cc | 105 prp.refine_with_congruence(3*B %= 2); in test05() 145 prp.refine_with_congruence((A == 0) / 0); in test07() 146 prp.refine_with_congruence((B == 0) / 0); in test07() 147 prp.refine_with_congruence((C == -2) / 0); in test07() 205 prp.refine_with_congruence((A == 0) / 0); in test09() 206 prp.refine_with_congruence((B == 0) / 0); in test09() 207 prp.refine_with_congruence((C == -2) / 0); in test09()
|
H A D | timeelapse1.cc | 46 prp1.refine_with_congruence(3*A %= 0); in test01() 60 known_prp.refine_with_congruence((65*A - B %= 0) / 7); in test01() 61 known_prp.refine_with_congruence(21*A %= 0); in test01() 87 gr.refine_with_congruence((A %= 0)/ 2); in test02()
|
H A D | topclosed1.cc | 43 prp.refine_with_congruence((A %= 0) / 3); in test01() 61 prp.refine_with_congruence((A %= 0) / 3); in test02() 78 prp.refine_with_congruence((A %= 0) / 4); in test03()
|
H A D | refinewithconstraints1.cc | 272 prp.refine_with_congruence((B %= 2) / 4); in test10() 273 prp.refine_with_congruence((A + B %= 6) / 0); in test10() 279 known_prp.refine_with_congruence((B %= 2) / 4); in test10() 280 known_prp.refine_with_congruence((A + B %= 6) / 0); in test10() 317 known_prp.refine_with_congruence((B %= 2) / 4); in test11() 318 known_prp.refine_with_congruence((A + B %= 6) / 0); in test11()
|
H A D | congruences1.cc | 44 dp.refine_with_congruence(A %= 9); in test01() 45 dp.refine_with_congruence(B + C %= 3); in test01() 71 dp.refine_with_congruence(B + C %= 3); in test02()
|
H A D | bounds1.cc | 112 prp.refine_with_congruence(3*B %= 2); in test05() 254 prp.refine_with_congruence(3*B %= 2); in test11() 337 prp.refine_with_congruence(3*B %= 2); in test13() 381 prp.refine_with_congruence((A == 0) / 0); in test14() 382 prp.refine_with_congruence((B == 0) / 0); in test14() 383 prp.refine_with_congruence((C == -2) / 0); in test14() 441 prp.refine_with_congruence((A == 0) / 0); in test16() 442 prp.refine_with_congruence((B == 0) / 0); in test16() 443 prp.refine_with_congruence((C == -2) / 0); in test16() 575 known_prp.refine_with_congruence(A %= 0); in test20() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | refinewithcongruence1.cc | 35 ph1.refine_with_congruence((A %= 0) / 2); in test01() 36 ph1.refine_with_congruence((B %= 5) / 0); in test01() 37 ph1.refine_with_congruence(A + B %= 6); in test01() 42 ph2.refine_with_congruence((A %= 1) / 0); in test01() 43 ph2.refine_with_congruence((B + C %= 4) / 5); in test01() 67 ph.refine_with_congruence((A %= B) / 0); in test02() 83 ph.refine_with_congruence((A %= 0) / 4); in test03() 84 ph.refine_with_congruence((A + B %= 2) / 5); in test03() 88 ph.refine_with_congruence((B %= 1) / 0); in test03()
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | refinewithcongruence1.cc | 33 box.refine_with_congruence(cg); in test01() 54 box.refine_with_congruence(cg); in test02() 75 box.refine_with_congruence(cg); in test03() 95 box.refine_with_congruence(cg); in test04() 124 box.refine_with_congruence((1*A + 2*B + 3*C + 4*D %= 0) / 0); in test05() 153 box1.refine_with_congruence(x %= 0); in test06() 154 box1.refine_with_congruence(y - x + z %= 0); in test06() 176 box.refine_with_congruence((y %= 0) / 0); in test07()
|
H A D | frompartiallyreducedproduct1.cc | 39 dp.refine_with_congruence((A %= 1) / 5); in test01() 65 dp.refine_with_congruence((A %= 0) / 3); in test02() 93 sp.refine_with_congruence((A %= 0) / 3); in test03() 114 cp.refine_with_congruence((A %= 0) / 3); in test04()
|
/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | refinewithcongruences1.cc | 45 gr.refine_with_congruence((A %= 0) / 2); in test01() 46 gr.refine_with_congruence((B %= 1) / 2); in test01() 94 gr.refine_with_congruence(A + C %= 0); in test03() 143 gr.refine_with_congruence((B %= 2) / 0); in test05() 190 gr.refine_with_congruence((Linear_Expression(1) %= 0) / 0); in test07()
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | congruences1.cc | 146 oct1.refine_with_congruence((x %= 1) / 0); in test06() 147 oct1.refine_with_congruence((y %= 3) / 2); in test06() 148 oct1.refine_with_congruence((y + z %= 0) / 3); in test06() 171 oct1.refine_with_congruence((x + y %= 3) / 0); in test07()
|