Home
last modified time | relevance | path

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

12345678910>>...26

/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dpolyhullifexact2.cc39 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 Dnncpostimeelapse1.cc38 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 Dh79widening1.cc39 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 Dbhrz03widening1.cc52 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 Dlimitedh79extrapolation1.cc49 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 Dcongruences1.cc37 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 Dpolyhull1.cc47 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 Ddisjoint1.cc38 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 Dbhrz03widening2.cc43 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 Dexceptions2.cc288 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 Dtermination2.cc31 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 Dsimplifyusingcontext1.cc142 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 Dintersection1.cc187 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 Ddisjoint2.cc59 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 Dcontains2.cc57 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 Dpolydifference1.cc47 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 Dtimeelapse1.cc39 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 Dpolyhullifexact1.cc78 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 Dascii_dump_load1.cc54 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 Dtimeelapse2.cc39 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 Dpolydifference2.cc46 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 Dconcatenate1.cc134 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 Dreplace_my_trad.sh50 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 Dreplace_my_trad.sh50 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 Drelationwith1.cc55 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 …]

12345678910>>...26