Home
last modified time | relevance | path

Searched refs:refine_with_constraint (Results 1 – 25 of 82) sorted by relevance

1234

/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dwrap1.cc33 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 Dwrap1.cc33 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 Dsmashproduct1.cc95 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 Ddropsomenonintegerpoints1.cc41 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 Dtimeelapse1.cc41 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 Dgeneralizedaffineimage1.cc43 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 Dintersection1.cc40 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 Dbounds1.cc83 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 Dspacedims1.cc47 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 Ddisjoint1.cc43 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 Drefinewithconstraints1.cc42 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 Dconstraints1.cc45 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 Dtopclosure1.cc41 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 Dboundedaffineimage1.cc83 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 Ddiscrete1.cc43 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 Dfrompolyhedron1.cc70 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 Ddifference1.cc40 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 Dcontains1.cc40 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 Dconcatenate1.cc42 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 Dupperbound1.cc45 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 Dfrombox1.cc43 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 Dfrompartiallyreducedproduct1.cc37 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 Drefinewithconstraint1.cc34 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 Dwrap1.cc46 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 Drefinewithconstraint1.cc34 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()

1234