Home
last modified time | relevance | path

Searched refs:oct1 (Results 1 – 25 of 80) sorted by relevance

1234

/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dsimplifyusingcontext1.cc33 TOctagonal_Shape oct1(2); in test01() local
34 oct1.add_constraint(x >= 0); in test01()
35 oct1.add_constraint(x <= 2); in test01()
36 oct1.add_constraint(y >= 0); in test01()
37 oct1.add_constraint(y <= 2); in test01()
41 TOctagonal_Shape oct2(oct1); in test01()
52 print_constraints(oct1, in test01()
62 TOctagonal_Shape oct1(2); in test02() local
86 print_constraints(oct1, in test02()
95 TOctagonal_Shape oct1(1); in test03() local
[all …]
H A Dfoldspacedims1.cc33 TOctagonal_Shape oct1(3); in test01() local
82 TOctagonal_Shape oct1(3); in test03() local
83 oct1.add_constraint(A >= 0); in test03()
109 TOctagonal_Shape oct1(2); in test04() local
110 oct1.add_constraint(A >= 1); in test04()
140 TOctagonal_Shape oct1(3); in test05() local
175 TOctagonal_Shape oct1(4); in test06() local
210 TOctagonal_Shape oct1(4); in test07() local
247 TOctagonal_Shape oct1(3); in test08() local
385 oct1.OK(); in test12()
[all …]
H A Dexpandspacedim1.cc32 TOctagonal_Shape oct1(3); in test01() local
75 TOctagonal_Shape oct1(2); in test03() local
76 oct1.add_constraint(A >= 0); in test03()
101 oct1.add_constraint(B >= 0); in test04()
123 TOctagonal_Shape oct1(2); in test05() local
124 oct1.add_constraint(A >= 0); in test05()
151 TOctagonal_Shape oct1(2); in test06() local
152 oct1.add_constraint(A >= 0); in test06()
182 TOctagonal_Shape oct1(3); in test07() local
183 oct1.add_constraint(A <= 1); in test07()
[all …]
H A Dconstraints1.cc34 TOctagonal_Shape oct1(2); in test01() local
77 TOctagonal_Shape oct1(3); in test03() local
78 oct1.add_constraint(x == 1); in test03()
119 TOctagonal_Shape oct1(0); in test05() local
140 TOctagonal_Shape oct1(2); in test06() local
164 TOctagonal_Shape oct1(2); in test07() local
188 TOctagonal_Shape oct1(2); in test08() local
213 TOctagonal_Shape oct1(3); in test09() local
241 TOctagonal_Shape oct1(5); in test10() local
270 TOctagonal_Shape oct1(3); in test11() local
[all …]
H A Dintegerupperboundifexact1.cc90 print_constraints(oct1, in test02()
126 print_constraints(oct1, in test03()
156 print_constraints(oct1, in test04()
185 print_constraints(oct1, in test05()
211 print_constraints(oct1, in test06()
237 print_constraints(oct1, in test07()
263 print_constraints(oct1, in test08()
297 ok &= (oct1 == oct); in test09()
299 print_constraints(oct1, in test09()
331 ok &= (oct1 == oct); in test10()
[all …]
H A Dupperbound1.cc33 TOctagonal_Shape oct1(2); in test01() local
34 oct1.add_constraint(x1 >= 1); in test01()
62 TOctagonal_Shape oct1(2); in test02() local
63 oct1.add_constraint(x1 >= 0); in test02()
93 TOctagonal_Shape oct1(5); in test03() local
127 TOctagonal_Shape oct1(3); in test04() local
161 TOctagonal_Shape oct1(3); in test05() local
198 TOctagonal_Shape oct1(cs1); in test06() local
245 TOctagonal_Shape oct1(8); in test08() local
268 TOctagonal_Shape oct1(3); in test09() local
[all …]
H A Dupperboundifexact1.cc70 oct1.add_constraint(x >= -2); in test02()
71 oct1.add_constraint(x <= -1); in test02()
72 oct1.add_constraint(y >= 0); in test02()
73 oct1.add_constraint(y <= 2); in test02()
102 oct1.add_constraint(x <= 0); in test03()
103 oct1.add_constraint(y >= 0); in test03()
104 oct1.add_constraint(y <= 2); in test03()
288 C_Polyhedron ph1(oct1); in test09()
298 ok &= (oct1 == octs); in test09()
331 ok &= (oct1 == octs); in test10()
[all …]
H A Dlimitedcc76extrapolation1.cc61 print_constraints(oct1, in test01()
69 TOctagonal_Shape oct1(0); in test02() local
85 print_constraints(oct1, in test02()
96 TOctagonal_Shape oct1(2); in test03() local
119 print_constraints(oct1, in test03()
152 print_constraints(oct1, in test04()
187 print_constraints(oct1, in test05()
222 print_constraints(oct1, in test06()
258 print_constraints(oct1, in test07()
294 print_constraints(oct1, in test08()
[all …]
H A Ddifference1.cc35 TOctagonal_Shape oct1(2); in test01() local
36 oct1.add_constraint(A >= 0); in test01()
37 oct1.add_constraint(A <= -2); in test01()
38 oct1.add_constraint(B == 0); in test01()
63 TOctagonal_Shape oct1(0); in test02() local
84 TOctagonal_Shape oct1(1); in test03() local
85 oct1.add_constraint(A >= 0); in test03()
86 oct1.add_constraint(A <= 7); in test03()
134 TOctagonal_Shape oct1(2); in test05() local
195 TOctagonal_Shape oct1(2); in test07() local
[all …]
H A Dcongruences1.cc34 TOctagonal_Shape oct1(2); in test01() local
35 oct1.add_congruence((0*A %= 1) / 0); in test01()
37 print_constraints(oct1, "*** oct1 ***"); in test01()
59 TOctagonal_Shape oct1(3, EMPTY); in test02() local
61 print_constraints(oct1, "*** oct1 ***"); in test02()
81 TOctagonal_Shape oct1(3); in test03() local
82 oct1.add_congruence((x %= 1) / 0); in test03()
101 TOctagonal_Shape oct1(0, EMPTY); in test04() local
123 TOctagonal_Shape oct1(0); in test05() local
145 TOctagonal_Shape oct1(3); in test06() local
[all …]
H A Ddisjoint1.cc33 TOctagonal_Shape oct1(2); in test01() local
34 oct1.add_constraint(B == 0); in test01()
35 oct1.add_constraint(A >= 1); in test01()
36 oct1.add_constraint(A <= 2); in test01()
56 TOctagonal_Shape oct1(2); in test02() local
58 oct1.add_constraint(A <= 1); in test02()
59 oct1.add_constraint(B <= 1); in test02()
101 TOctagonal_Shape oct1(gs1); in test04() local
122 TOctagonal_Shape oct1(2); in test05() local
123 oct1.add_constraint(A >= 0); in test05()
[all …]
H A Dremovespacedims1.cc32 TOctagonal_Shape oct1(3); in test01() local
33 oct1.add_constraint(x2 <= 3); in test01()
87 TOctagonal_Shape oct1(6); in test03() local
88 oct1.add_constraint(x1 >= 1); in test03()
89 oct1.add_constraint(x1 + x3 >= 2); in test03()
92 oct1.add_constraint(x6 <= 7); in test03()
283 TOctagonal_Shape oct1(6); in test10() local
284 oct1.add_constraint(x1 >= 1); in test10()
288 oct1.add_constraint(x6 <= 7); in test10()
310 TOctagonal_Shape oct1(3); in test11() local
[all …]
H A Dfrompolyhedron1.cc52 bool ok = (oct1 == oct2 in test01()
56 print_constraints(oct1, "*** oct1 ***"); in test01()
74 bool ok = (oct1 == oct2 in test02()
77 print_constraints(oct1, "*** oct1 ***"); in test02()
92 bool ok = (oct1 == oct2 in test03()
95 print_constraints(oct1, "*** oct1 ***"); in test03()
115 bool ok = (oct1 == oct2 in test04()
118 print_constraints(oct1, "*** oct1 ***"); in test04()
140 bool ok = (oct1 == oct2 in test05()
176 bool ok = (oct1 == oct2 in test06()
[all …]
H A Dlimitedbhmz05extrapolation1.cc38 TOctagonal_Shape oct1(cs1); in test01() local
78 TOctagonal_Shape oct1(cs1); in test02() local
98 print_constraints(oct1, in test02()
106 TOctagonal_Shape oct1(0, EMPTY); in test03() local
120 print_constraints(oct1, in test03()
131 TOctagonal_Shape oct1(3, EMPTY); in test04() local
146 print_constraints(oct1, in test04()
158 TOctagonal_Shape oct1(3); in test05() local
176 print_constraints(oct1, in test05()
192 TOctagonal_Shape oct1(7); in test06() local
[all …]
H A Dcc76extrapolation1.cc33 TOctagonal_Shape oct1(2); in test01() local
34 oct1.add_constraint(x <= 1); in test01()
141 TOctagonal_Shape oct1(0); in test04() local
182 TOctagonal_Shape oct1(2); in test06() local
212 TOctagonal_Shape oct1(2); in test07() local
213 oct1.add_constraint(A <= 2); in test07()
239 TOctagonal_Shape oct1(3); in test08() local
240 oct1.add_constraint(C <= 4); in test08()
241 oct1.add_constraint(B >= 2); in test08()
272 TOctagonal_Shape oct1(2); in test09() local
[all …]
H A Daffineimage1.cc447 TOctagonal_Shape oct1(2); in test17() local
448 oct1.add_constraint(x >= 0); in test17()
449 oct1.add_constraint(x <= 2); in test17()
450 oct1.add_constraint(y >= 0); in test17()
451 oct1.add_constraint(y <= 2); in test17()
455 oct1.affine_image(y, y + 6); in test17()
475 TOctagonal_Shape oct1(2); in test18() local
476 oct1.add_constraint(x >= 0); in test18()
477 oct1.add_constraint(x <= 2); in test18()
478 oct1.add_constraint(y >= 0); in test18()
[all …]
/dports/net-mgmt/ap-utils/ap-utils-1.4.1/lib/
H A Dber.c16 int num_val=0, oct1=0; in encode_oid() local
34 oct1=40* num_val; in encode_oid()
41 oct1+=num_val; in encode_oid()
42 oid_out[oct_count]=oct1; in encode_oid()
/dports/science/axom/axom-0.6.1/src/axom/primal/tests/
H A Dprimal_octahedron.cpp110 QOct oct1(pt1[0], pt1[1], pt1[2], pt1[3], pt1[4], pt1[5]); in TEST_F() local
117 EXPECT_FALSE(oct0.equals(oct1)); in TEST_F()
119 EXPECT_TRUE(oct1.equals(oct1)); in TEST_F()
/dports/textproc/p5-XML-TreePP/XML-TreePP-0.43/t/
H A D34_utf8_flag.t87 my $oct1 = '一';
102 isnt( $one, $oct1, "[$name] 1: string != octets" );
104 is( $one, $oct1, "[$name] 2: octets == octets" );
115 my $oct1 = '一';
130 is( $one, $oct1, "[$name] 1: octets == octets" );
/dports/emulators/qemu42/qemu-4.2.1/roms/openbios/forth/lib/
H A D64bit.fs96 : xlflip ( oct1 -- oct2 )
106 : xwflip ( oct1 -- oct2 )
116 : xbflip ( oct1 -- oct2 )
/dports/emulators/qemu5/qemu-5.2.0/roms/openbios/forth/lib/
H A D64bit.fs96 : xlflip ( oct1 -- oct2 )
106 : xwflip ( oct1 -- oct2 )
116 : xbflip ( oct1 -- oct2 )
/dports/emulators/qemu-powernv/qemu-powernv-3.0.50/roms/openbios/forth/lib/
H A D64bit.fs96 : xlflip ( oct1 -- oct2 )
106 : xwflip ( oct1 -- oct2 )
116 : xbflip ( oct1 -- oct2 )
/dports/emulators/qemu-utils/qemu-4.2.1/roms/openbios/forth/lib/
H A D64bit.fs96 : xlflip ( oct1 -- oct2 )
106 : xwflip ( oct1 -- oct2 )
116 : xbflip ( oct1 -- oct2 )
/dports/emulators/qemu-guest-agent/qemu-5.0.1/roms/openbios/forth/lib/
H A D64bit.fs96 : xlflip ( oct1 -- oct2 )
106 : xwflip ( oct1 -- oct2 )
116 : xbflip ( oct1 -- oct2 )
/dports/emulators/qemu/qemu-6.2.0/roms/openbios/forth/lib/
H A D64bit.fs96 : xlflip ( oct1 -- oct2 )
106 : xwflip ( oct1 -- oct2 )
116 : xbflip ( oct1 -- oct2 )

1234