/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | polyhullifexact2.cc | 39 ph2.add_constraint(x == 0); in test01() 69 ph2.add_constraint(x >= 0); in test02() 70 ph2.add_constraint(x <= 2); in test02() 71 ph2.add_constraint(y == 1); in test02() 101 ph2.add_constraint(x == y); in test03() 102 ph2.add_constraint(x <= 2); in test03() 103 ph2.add_constraint(y >= 0); in test03() 164 ph2.add_constraint(x == 2); in test05() 194 ph2.add_constraint(y > 0); in test06() 195 ph2.add_constraint(y < 2); in test06() [all …]
|
H A D | nncpostimeelapse1.cc | 38 NNC_Polyhedron ph2(2); in test01() local 39 ph2.add_constraint(x > 0); in test01() 68 NNC_Polyhedron ph2(2); in test02() local 101 C_Polyhedron ph2(2); in test03() local 136 NNC_Polyhedron ph2(2); in test04() local 165 NNC_Polyhedron ph2(2); in test05() local 193 NNC_Polyhedron ph2(2); in test06() local 246 NNC_Polyhedron ph2(2); in test08() local 323 NNC_Polyhedron ph2(2); in test11() local 361 NNC_Polyhedron ph2(2); in test12() local [all …]
|
H A D | h79widening1.cc | 39 C_Polyhedron ph2(2); in test01() local 46 C_Polyhedron ph2_1(ph2); in test01() 53 C_Polyhedron ph2_2(ph2); in test01() 55 C_Polyhedron ph2_3(ph2); in test01() 59 C_Polyhedron ph2_4(ph2); in test01() 74 C_Polyhedron ph2(2); in test02() local 75 ph2.add_constraint(A >= 0); in test02() 109 C_Polyhedron ph2(gs2); in test03() local 156 C_Polyhedron ph2(2); in test05() local 186 C_Polyhedron ph2(2); in test06() local [all …]
|
H A D | bhrz03widening1.cc | 52 C_Polyhedron ph2(gs2); in test01() local 76 C_Polyhedron ph2(2); in test02() local 110 C_Polyhedron ph2(gs2); in test03() local 139 NNC_Polyhedron ph2(gs2); in test04() local 167 C_Polyhedron ph2(2); in test05() local 198 C_Polyhedron ph2(2); in test06() local 236 C_Polyhedron ph2(gs2); in test07() local 273 C_Polyhedron ph2(gs2); in test08() local 418 C_Polyhedron ph2(2); in test11() local 451 C_Polyhedron ph2(gs2); in test12() local [all …]
|
H A D | limitedh79extrapolation1.cc | 49 C_Polyhedron ph2(cs2); in test01() local 94 C_Polyhedron ph2(cs2); in test02() local 130 C_Polyhedron ph2(cs2); in test03() local 157 C_Polyhedron ph2(2); in test04() local 158 ph2.add_constraint(B >= 0); in test04() 175 print_constraints(ph2, in test04() 202 print_constraints(ph2, in test05() 212 C_Polyhedron ph2; in test06() local 227 print_constraints(ph2, in test06() 242 C_Polyhedron ph2(2); in test07() local [all …]
|
H A D | congruences1.cc | 37 C_Polyhedron ph2(cgs); in test01() local 56 C_Polyhedron ph2(7); in test02() local 57 ph2.add_congruences(cgs); in test02() 92 C_Polyhedron ph2(0); in test04() local 117 C_Polyhedron ph2(3); in test05() local 144 C_Polyhedron ph2(3); in test06() local 164 C_Polyhedron ph2(cgs); in test07() local 183 C_Polyhedron ph2(7); in test08() local 219 C_Polyhedron ph2(0); in test10() local 244 C_Polyhedron ph2(3); in test11() local [all …]
|
H A D | polyhull1.cc | 47 C_Polyhedron ph2(gs2); in test01() local 78 C_Polyhedron ph2(gs); in test02() local 108 C_Polyhedron ph2(2); in test03() local 109 ph2.add_constraint(y >= 2); in test03() 110 ph2.add_constraint(y <= 4); in test03() 201 C_Polyhedron ph2; in test06() local 234 C_Polyhedron ph2(gs2); in test07() local 280 C_Polyhedron ph2; in test09() local 306 C_Polyhedron ph2(2); in test10() local 307 ph2.generators(); in test10() [all …]
|
H A D | disjoint1.cc | 38 C_Polyhedron ph2(2); in test01() local 39 ph2.add_constraint(A == 0); in test01() 40 ph2.add_constraint(B >= 1); in test01() 41 ph2.add_constraint(B <= 2); in test01() 43 bool ok = ph1.is_disjoint_from(ph2); in test01() 73 C_Polyhedron ph2(2, EMPTY); in test02() local 74 ph2.add_generator(point(2*A + B)); in test02() 75 ph2.add_generator(point(4*A + 3*B)); in test02() 76 ph2.add_generator(ray(A - B)); in test02() 125 C_Polyhedron ph2(2, EMPTY); in test05() local [all …]
|
H A D | bhrz03widening2.cc | 43 C_Polyhedron ph2(gs2); in test01() local 48 ph2.BHRZ03_widening_assign(ph1); in test01() 53 bool ok = (ph2 == known_result); in test01() 75 C_Polyhedron ph2(gs2); in test02() local 80 ph2.BHRZ03_widening_assign(ph1); in test02() 85 bool ok = (ph2 == known_result); in test02() 107 C_Polyhedron ph2(gs2); in test03() local 139 C_Polyhedron ph2(gs2); in test04() local 171 C_Polyhedron ph2(gs2); in test05() local 203 C_Polyhedron ph2(gs2); in test06() local [all …]
|
H A D | exceptions2.cc | 288 NNC_Polyhedron ph2(2); in test11() local 318 NNC_Polyhedron ph2(2); in test12() local 385 NNC_Polyhedron ph2(2); in test15() local 419 NNC_Polyhedron ph2(2); in test16() local 452 C_Polyhedron ph2(2); in test17() local 490 C_Polyhedron ph2(2); in test18() local 569 ph1.contains(ph2); in test20() 714 C_Polyhedron ph2(1); in test26() local 724 ph2.contains(ph1); in test26() 836 C_Polyhedron ph2; in test30() local [all …]
|
H A D | termination2.cc | 31 C_Polyhedron ph2(4); in test01() local 34 && !termination_test_PR_2(ph1, ph2); in test01() 41 C_Polyhedron ph2(4, EMPTY); in test02() local 44 && termination_test_PR_2(ph1, ph2); in test02() 51 C_Polyhedron ph2(4, EMPTY); in test03() local 60 C_Polyhedron ph2(4); in test04() local 69 C_Polyhedron ph2(4); in test05() local 81 C_Polyhedron ph2(4, EMPTY); in test06() local 93 C_Polyhedron ph2(4); in test07() local 103 C_Polyhedron ph2(4, EMPTY); in test08() local [all …]
|
H A D | simplifyusingcontext1.cc | 142 C_Polyhedron ph2(1); in test03() local 143 ph2.add_constraint(x >= 0); in test03() 144 ph2.add_constraint(x <= 5); in test03() 176 ph2.add_constraint(i >= 0); in test04() 177 ph2.add_constraint(i <= 2); in test04() 178 ph2.add_constraint(j >= 2); in test04() 179 ph2.add_constraint(j <= 9); in test04() 180 ph2.add_constraint(k == 0); in test04() 209 ph2.add_constraint(i == 1); in test05() 316 C_Polyhedron ph2(1); in test09() local [all …]
|
H A D | intersection1.cc | 187 C_Polyhedron ph2(2); in test03() local 188 ph2.add_constraint(x >= 0); in test03() 189 ph2.add_constraint(y >= 0); in test03() 254 ph2.add_generator(ray(y)); in test05() 289 C_Polyhedron ph2(gs2); in test06() local 356 C_Polyhedron ph2(2); in test08() local 399 C_Polyhedron ph2(2); in test10() local 419 C_Polyhedron ph2; in test11() local 445 C_Polyhedron ph2(2); in test12() local 446 ph2.generators(); in test12() [all …]
|
H A D | disjoint2.cc | 59 NNC_Polyhedron ph2(2, EMPTY); in test01() local 60 ph2.add_generator(point(3*A + B)); in test01() 61 ph2.add_generator(closure_point(2*A + B)); in test01() 63 ph2.add_generator(ray(A - B)); in test01() 68 print_generators(ph2, "*** ph2 ***"); in test01() 84 print_generators(ph2, "*** ph2 ***"); in test02() 100 print_generators(ph2, "*** ph2 ***"); in test03() 112 NNC_Polyhedron ph2(2, EMPTY); in test04() local 113 ph2.add_generator(point(-2*A - 2*B)); in test04() 116 ph2.add_generator(ray(-A - B)); in test04() [all …]
|
H A D | contains2.cc | 57 NNC_Polyhedron ph2(gs); in test01() local 59 bool ok = ph1.contains(ph2); in test01() 76 NNC_Polyhedron ph2(gs2); in test02() local 95 C_Polyhedron ph2(ph1); in test03() local 96 ph2.add_constraint(A == B); in test03() 115 NNC_Polyhedron ph2(ph1); in test04() local 116 ph2.add_constraint(A > B); in test04() 138 C_Polyhedron ph2(cs2); in test05() local 140 bool ok = (ph1 != ph2); in test05() 157 NNC_Polyhedron ph2(ph1); in test06() local [all …]
|
H A D | polydifference1.cc | 47 C_Polyhedron ph2(gs2); in test01() local 79 C_Polyhedron ph2; in test02() local 88 ph1.difference_assign(ph2); in test02() 107 C_Polyhedron ph2(2); in test03() local 118 ph1.difference_assign(ph2); in test03() 134 C_Polyhedron ph2(1); in test04() local 135 ph2.add_constraint(A == 5); in test04() 142 ph1.difference_assign(ph2); in test04() 157 C_Polyhedron ph2(2); in test05() local 158 ph2.add_constraint(A == B); in test05() [all …]
|
H A D | timeelapse1.cc | 39 C_Polyhedron ph2(2); in test01() local 40 ph2.add_constraint(y == 5); in test01() 45 ph1.time_elapse_assign(ph2); in test01() 62 C_Polyhedron ph2; in test02() local 67 ph1.time_elapse_assign(ph2); in test02() 106 C_Polyhedron ph2(gs2); in test03() local 125 C_Polyhedron ph2(0, EMPTY); in test04() local 151 C_Polyhedron ph2(2); in test05() local 152 ph2.generators(); in test05() 192 C_Polyhedron ph2(2); in test06() local [all …]
|
H A D | polyhullifexact1.cc | 78 ph2.add_constraint(x >= 1); in test02() 79 ph2.add_constraint(x <= 2); in test02() 80 ph2.add_constraint(y >= 0); in test02() 81 ph2.add_constraint(y <= 2); in test02() 109 ph2.add_constraint(x >= 0); in test03() 110 ph2.add_constraint(x <= 2); in test03() 111 ph2.add_constraint(y >= 0); in test03() 112 ph2.add_constraint(y <= 2); in test03() 142 ph2.add_constraint(x >= 0); in test04() 143 ph2.add_constraint(x <= 2); in test04() [all …]
|
H A D | ascii_dump_load1.cc | 54 C_Polyhedron ph2; in test01() local 55 ph2.ascii_load(f); in test01() 80 C_Polyhedron ph2; in test02() local 112 C_Polyhedron ph2; in test03() local 144 C_Polyhedron ph2; in test04() local 176 C_Polyhedron ph2; in test05() local 208 C_Polyhedron ph2; in test06() local 240 C_Polyhedron ph2; in test07() local 272 C_Polyhedron ph2; in test08() local 304 C_Polyhedron ph2; in test09() local [all …]
|
H A D | timeelapse2.cc | 39 NNC_Polyhedron ph2(2); in test01() local 41 ph2.add_constraint(x > 2); in test01() 42 ph2.add_constraint(x < 4); in test01() 43 ph2.add_constraint(y == 3); in test01() 48 ph1.time_elapse_assign(ph2); in test01() 80 NNC_Polyhedron ph2(gs); in test02() local 85 ph1.time_elapse_assign(ph2); in test02() 103 NNC_Polyhedron ph2(2); in test03() local 104 ph2.add_constraint(x > 3); in test03() 105 ph2.add_constraint(y > 2); in test03() [all …]
|
H A D | polydifference2.cc | 46 NNC_Polyhedron ph2(cs2); in test01() local 48 print_constraints(ph2, "*** ph2 ***"); in test01() 79 NNC_Polyhedron ph2(2); in test02() local 80 ph2.add_constraint(A > 2); in test02() 81 ph2.add_constraint(B >= 0); in test02() 86 ph1.difference_assign(ph2); in test02() 123 C_Polyhedron ph2(cs2); in test03() local 151 C_Polyhedron ph2(1); in test04() local 152 ph2.add_constraint(A >= 1); in test04() 153 ph2.add_constraint(A <= 0); in test04() [all …]
|
H A D | concatenate1.cc | 134 C_Polyhedron ph2(gs2); in test04() local 139 ph1.concatenate_assign(ph2); in test04() 166 C_Polyhedron ph2; in test05() local 173 ph1.concatenate_assign(ph2); in test05() 191 C_Polyhedron ph2(1); in test06() local 192 ph2.generators(); in test06() 193 ph2.add_constraint(A == 2); in test06() 198 ph1.concatenate_assign(ph2); in test06() 221 C_Polyhedron ph2(1, EMPTY); in test07() local 223 ph2.constraints(); in test07() [all …]
|
/dports/deskutils/cairo-dock-plugins/cairo-dock-plug-ins-3.4.1/po/misc/ |
H A D | replace_my_trad.sh | 50 sed -i "s/] $ph1/] $ph2/g" "$i" 51 sed -i "s/\[$ph1/\[$ph2/g" "$i" 52 sed -i "s/{$ph1/{$ph2/g" "$i" 53 sed -i "s/+ $ph1/+ $ph2/g" "$i" 54 sed -i "s/- $ph1/- $ph2/g" "$i" 55 sed -i "s/> $ph1/> $ph2/g" "$i" 56 sed -i "s/;$ph1;/;$ph2;/g" "$i" 57 sed -i "s/;$ph1]/;$ph2]/g" "$i" 58 sed -i "s/#b $ph1/#b $ph2/g" "$i" 59 sed -i "s/#B $ph1/#B $ph2/g" "$i" [all …]
|
/dports/deskutils/cairo-dock/cairo-dock-core-3.4.1/po/misc/ |
H A D | replace_my_trad.sh | 50 sed -i "s/] $ph1/] $ph2/g" "$i" 51 sed -i "s/\[$ph1/\[$ph2/g" "$i" 52 sed -i "s/{$ph1/{$ph2/g" "$i" 53 sed -i "s/+ $ph1/+ $ph2/g" "$i" 54 sed -i "s/- $ph1/- $ph2/g" "$i" 55 sed -i "s/> $ph1/> $ph2/g" "$i" 56 sed -i "s/;$ph1;/;$ph2;/g" "$i" 57 sed -i "s/;$ph1]/;$ph2]/g" "$i" 58 sed -i "s/#b $ph1/#b $ph2/g" "$i" 59 sed -i "s/#B $ph1/#B $ph2/g" "$i" [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | relationwith1.cc | 55 C_Polyhedron ph2(1); in test02() local 60 ps.add_disjunct(ph2); in test02() 80 C_Polyhedron ph2(1); in test03() local 85 ps.add_disjunct(ph2); in test03() 105 C_Polyhedron ph2(1); in test04() local 110 ps.add_disjunct(ph2); in test04() 148 C_Polyhedron ph2(1); in test06() local 173 C_Polyhedron ph2(1); in test07() local 198 C_Polyhedron ph2(1); in test08() local 223 C_Polyhedron ph2(1); in test09() local [all …]
|