Home
last modified time | relevance | path

Searched refs:generalized_affine_image (Results 1 – 25 of 41) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Box/
H A Dgeneralizedaffineimage1.cc40 box.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01()
70 box.generalized_affine_image(A, EQUAL, A + 2); in test02()
301 ph.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test10()
384 box.generalized_affine_image(2*B + 3*A, in test13()
386 ph.generalized_affine_image(2*B + 3*A, in test13()
442 box.generalized_affine_image(2*B - 5, EQUAL, 3*B); in test15()
443 ph.generalized_affine_image(2*B - 5, EQUAL, 3*B); in test15()
473 ph.generalized_affine_image(Linear_Expression(-4), in test16()
505 ph.generalized_affine_image(Linear_Expression(2), in test17()
536 box.generalized_affine_image(-2*A - B - 1, in test18()
[all …]
H A Dgeneralizedaffineimage2.cc40 box.generalized_affine_image(B, GREATER_THAN, A+2); in test01()
69 box.generalized_affine_image(A, EQUAL, A + 2); in test02()
90 box.generalized_affine_image(A, LESS_THAN, B + 1); in test03()
226 ph.generalized_affine_image(e1, GREATER_THAN, e2); in test08()
290 box.generalized_affine_image(e1, LESS_THAN, e2); in test10()
291 ph.generalized_affine_image(e1, LESS_THAN, e2); in test10()
345 box.generalized_affine_image(2*B + 3*A, in test12()
347 ph.generalized_affine_image(2*B + 3*A, in test12()
439 box.generalized_affine_image(-2*A - B - 1, in test15()
441 ph.generalized_affine_image(-2*A - B - 1, in test15()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dgeneralizedaffineimage2.cc41 ph.generalized_affine_image(B, LESS_THAN, B+2); in test01()
73 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test02()
101 ph2.generalized_affine_image(-2*B, LESS_OR_EQUAL, A+2); in test03()
127 ph.generalized_affine_image(B, LESS_OR_EQUAL, A-B+2, -3); in test04()
154 ph.generalized_affine_image(B, LESS_THAN, B+2); in test05()
178 ph.generalized_affine_image(A, EQUAL, A + 2); in test06()
179 ph2.generalized_affine_image(-2*A, EQUAL, -2*(A + 2)); in test06()
206 ph2.generalized_affine_image(-3*(A + B), in test07()
232 ph.generalized_affine_image(B, GREATER_THAN, A + B + 1); in test08()
286 ph.generalized_affine_image(Linear_Expression(2), in test10()
[all …]
H A Dboundedaffineimage1.cc48 kr1.generalized_affine_image(A, GREATER_OR_EQUAL, 7-B); in test01()
49 kr2.generalized_affine_image(A, LESS_OR_EQUAL, B+3); in test01()
80 kr1.generalized_affine_image(A, GREATER_OR_EQUAL, 7-3*A+2*B); in test02()
81 kr2.generalized_affine_image(A, LESS_OR_EQUAL, B+5*A-3); in test02()
136 kr1.generalized_affine_image(x, GREATER_OR_EQUAL, -2*x + y + 1, -1); in test04()
137 kr2.generalized_affine_image(x, LESS_OR_EQUAL, -2*x + y + 1, -1); in test04()
170 kr1.generalized_affine_image(x, GREATER_OR_EQUAL, 2*x + y + 1, -1); in test05()
171 kr2.generalized_affine_image(x, LESS_OR_EQUAL, 2*x + y + 1, -1); in test05()
204 kr1.generalized_affine_image(x, GREATER_OR_EQUAL, -2*x + y + 1); in test06()
205 kr2.generalized_affine_image(x, LESS_OR_EQUAL, -2*x + y + 1); in test06()
H A Dgeneralizedaffineimage1.cc41 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01()
70 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2, -2); in test02()
99 ph.generalized_affine_image(B, LESS_OR_EQUAL, A-B+2, -3); in test03()
128 ph.generalized_affine_image(A, EQUAL, A + 2); in test04()
157 ph.generalized_affine_image(A + B, GREATER_OR_EQUAL, 2*A - B + 2); in test05()
177 ph1.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test06()
198 ph1.generalized_affine_image(A + B, GREATER_OR_EQUAL, A + B + 1); in test07()
220 ph.generalized_affine_image(A, GREATER_OR_EQUAL, A+2); in test08()
243 ph.generalized_affine_image(A+1, GREATER_OR_EQUAL, A+2); in test09()
H A Dexceptions1.cc976 ph.generalized_affine_image(B, GREATER_OR_EQUAL, B + 2, d); in test38()
999 ph.generalized_affine_image(A, GREATER_OR_EQUAL, B); in test39()
1023 ph.generalized_affine_image(B, LESS_OR_EQUAL, A + 1); in test40()
1048 ph.generalized_affine_image(A + B, GREATER_OR_EQUAL, B + C); in test41()
1073 ph.generalized_affine_image(B + C, LESS_OR_EQUAL, A + 1); in test42()
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dgeneralizedaffineimage3.cc65 gr.generalized_affine_image(A, GREATER_OR_EQUAL, A - 2*C + 3, 4); in test02()
88 gr.generalized_affine_image(A, LESS_THAN, A + 2, 1, 0); in test03()
112 gr.generalized_affine_image(B, GREATER_OR_EQUAL, A + 2, 0); in test04()
136 gr.generalized_affine_image(B, GREATER_OR_EQUAL, D + 2, 1); in test05()
160 gr.generalized_affine_image(D, GREATER_OR_EQUAL, A + 2, 1); in test06()
232 gr.generalized_affine_image(A - B, GREATER_THAN, 2*A - 2*B, 0); in test09()
258 gr.generalized_affine_image(B + C, GREATER_THAN, D + 2); in test10()
281 gr.generalized_affine_image(A + D, GREATER_THAN, A + 2); in test11()
301 gr.generalized_affine_image(A, GREATER_THAN, A + 2, 1); in test12()
325 gr.generalized_affine_image(A + D, GREATER_THAN, A + 2, 1); in test13()
[all …]
H A Dgeneralizedaffineimage1.cc91 gr.generalized_affine_image(B, EQUAL, A + 1, 1, 1); in test03()
118 gr.generalized_affine_image(B, EQUAL, A + 1, 2, 1); in test04()
145 gr.generalized_affine_image(B, EQUAL, A + 1, 2, 3); in test05()
172 gr.generalized_affine_image(B, EQUAL, A + 2, -2, 1); in test06()
199 gr.generalized_affine_image(B, EQUAL, A + 2, 1, -7); in test07()
227 gr.generalized_affine_image(A, EQUAL, A - C + 2, 1, 5); in test08()
308 gr.generalized_affine_image(A, EQUAL, A + 2, 1, 1); in test11()
329 gr.generalized_affine_image(A, EQUAL, A + 2, 1, 1); in test12()
353 gr.generalized_affine_image(B, EQUAL, A + 2, 0, 1); in test13()
377 gr.generalized_affine_image(B, EQUAL, D + 2, 1, 1); in test14()
[all …]
H A Dgeneralizedaffineimage2.cc96 gr.generalized_affine_image(1*B, EQUAL, A + 1, 1); in test03()
122 gr.generalized_affine_image(2*B, EQUAL, A + 1, 1); in test04()
148 gr.generalized_affine_image(2*B, EQUAL, A + 1, 3); in test05()
174 gr.generalized_affine_image(2*B, EQUAL, A + 1, 3); in test06()
200 gr.generalized_affine_image(-2*B, EQUAL, A + 2, 1); in test07()
226 gr.generalized_affine_image(1*B, EQUAL, A + 2, -7); in test08()
332 gr.generalized_affine_image(1*A, EQUAL, A + 2, 1); in test12()
352 gr.generalized_affine_image(1*A, EQUAL, A + 2, 1); in test13()
429 gr.generalized_affine_image(A - B, EQUAL, C, 1); in test16()
456 gr.generalized_affine_image(A - B, EQUAL, A); in test17()
[all …]
H A Daffineimage2.cc269 gr1.generalized_affine_image(B, EQUAL, 18*A + B, 1, 0); in test10()
270 gr1.generalized_affine_image(A, EQUAL, 15*A, 1, 0); in test10()
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Dgeneralizedaffineimage2.cc40 bds.generalized_affine_image(y, LESS_OR_EQUAL, -y + 1); in test01()
67 bds.generalized_affine_image(x, GREATER_OR_EQUAL, -x - 3); in test02()
92 bds.generalized_affine_image(B, LESS_OR_EQUAL, 3*B + 1, 2); in test03()
117 bds.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test04()
169 bds.generalized_affine_image(C, LESS_OR_EQUAL, 2*C + 1, 5); in test06()
200 bds.generalized_affine_image(C, EQUAL, 5*C - 3, 4); in test07()
308 bds.generalized_affine_image(e1, EQUAL, e2); in test11()
335 bds.generalized_affine_image(e1, EQUAL, e2); in test12()
362 bds.generalized_affine_image(x, LESS_THAN, x + 1); in test13()
385 bds.generalized_affine_image(x, GREATER_THAN, x + 1); in test14()
[all …]
H A Dgeneralizedaffineimage1.cc41 bds.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01()
69 bds.generalized_affine_image(A, EQUAL, A + 2); in test02()
90 bds.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03()
115 bds.generalized_affine_image(x, GREATER_OR_EQUAL, 2*x - 2, 2); in test04()
143 bds.generalized_affine_image(y, GREATER_OR_EQUAL, 2*x - 2, 2); in test05()
173 bds.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test06()
267 bds.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09()
371 bds.generalized_affine_image(2*B + 3*A, in test13()
397 bds.generalized_affine_image(-2*A + 5, EQUAL, -4*B); in test14()
499 bds.generalized_affine_image(-2*A - B - 1, in test18()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dgeneralizedaffineimage3.cc45 oct.generalized_affine_image(y, LESS_OR_EQUAL, -y + 1); in test01()
71 oct.generalized_affine_image(x, GREATER_OR_EQUAL, -x - 3); in test02()
97 oct.generalized_affine_image(B, LESS_OR_EQUAL, 3*B + 1, 2); in test03()
122 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test04()
178 oct.generalized_affine_image(C, LESS_OR_EQUAL, 2*C + 1, 5); in test06()
204 oct.generalized_affine_image(C, EQUAL, 5*C - 3, 4); in test07()
337 oct.generalized_affine_image(x, LESS_THAN, x + 1); in test12()
361 oct.generalized_affine_image(x, GREATER_THAN, x + 1); in test13()
387 oct.generalized_affine_image(y, GREATER_OR_EQUAL, z); in test14()
413 oct.generalized_affine_image(z, GREATER_OR_EQUAL, y); in test15()
[all …]
H A Dgeneralizedaffineimage1.cc46 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01()
69 oct.generalized_affine_image(A, EQUAL, A + 2); in test02()
92 oct.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03()
293 oct.generalized_affine_image(C, LESS_OR_EQUAL, C + 1); in test11()
319 oct.generalized_affine_image(C, EQUAL, C + 1); in test12()
347 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test13()
375 oct.generalized_affine_image(B, LESS_OR_EQUAL, C + 3); in test14()
401 oct.generalized_affine_image(B, EQUAL, C + 3); in test15()
434 oct.generalized_affine_image(B, LESS_OR_EQUAL, B + 3); in test16()
468 oct.generalized_affine_image(B, LESS_OR_EQUAL, C + 3, -1); in test17()
[all …]
H A Dgeneralizedaffineimage4.cc46 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test01()
73 oct.generalized_affine_image(e1, EQUAL, e2); in test02()
99 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test03()
126 oct.generalized_affine_image(e1, EQUAL, e2); in test04()
152 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test05()
181 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test06()
210 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test07()
238 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test08()
270 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09()
298 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test10()
[all …]
H A Dgeneralizedaffineimage2.cc44 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test01()
67 oct.generalized_affine_image(e1, EQUAL, e2); in test02()
94 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test03()
120 oct.generalized_affine_image(e1, EQUAL, e2); in test04()
148 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test05()
181 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test06()
209 oct.generalized_affine_image(e1, EQUAL, e2); in test07()
239 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test08()
271 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09()
304 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test10()
[all …]
H A Dgeneralizedaffineimage5.cc53 oct.generalized_affine_image(B, LESS_OR_EQUAL, -2*A - 3*C + 3, 4); in test01()
83 oct.generalized_affine_image(B, LESS_OR_EQUAL, A + 2*C + 3, 2); in test02()
113 oct.generalized_affine_image(B, LESS_OR_EQUAL, 4*A - 3*C + 3, 4); in test03()
143 oct.generalized_affine_image(B, LESS_OR_EQUAL, A + 2*C + 3, -2); in test04()
173 oct.generalized_affine_image(B, LESS_OR_EQUAL, -4*A - 3*C + 3, 4); in test05()
203 oct.generalized_affine_image(B, GREATER_OR_EQUAL, 4*A - 3*C + 3, 4); in test06()
233 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 2*C + 3, 2); in test07()
260 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 2*C + 3, 2); in test08()
290 oct.generalized_affine_image(B, GREATER_OR_EQUAL, 4*A - 3*C + 3, -4); in test09()
320 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A - 2*C + 3, 2); in test10()
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Dgeneralizedaffineimage1.cc48 prp.generalized_affine_image(A, EQUAL, le); in test01()
75 prp.generalized_affine_image(B, EQUAL, A + 1, 2); in test02()
154 prp.generalized_affine_image(Linear_Expression(2), LESS_OR_EQUAL, A + B); in test05()
184 prp.generalized_affine_image(A + 2*B, EQUAL, A - B); in test06()
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Daffineimage1.cc162 c_ps.generalized_affine_image(x - y, GREATER_OR_EQUAL, Linear_Expression(3)); in test04()
164 ph.generalized_affine_image(x - y, GREATER_OR_EQUAL, Linear_Expression(3)); in test04()
165 ph1.generalized_affine_image(x - y, GREATER_OR_EQUAL, Linear_Expression(3)); in test04()
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_inlines.hh291 ::generalized_affine_image(Variable var, in generalized_affine_image() function in Parma_Polyhedra_Library::Partially_Reduced_Product
295 d1.generalized_affine_image(var, relsym, expr, denominator); in generalized_affine_image()
296 d2.generalized_affine_image(var, relsym, expr, denominator); in generalized_affine_image()
315 ::generalized_affine_image(const Linear_Expression& lhs, in generalized_affine_image() function in Parma_Polyhedra_Library::Partially_Reduced_Product
318 d1.generalized_affine_image(lhs, relsym, rhs); in generalized_affine_image()
319 d2.generalized_affine_image(lhs, relsym, rhs); in generalized_affine_image()
H A DPointset_Powerset_defs.hh826 void generalized_affine_image(Variable var,
885 void generalized_affine_image(const Linear_Expression& lhs,
H A DPartially_Reduced_Product_defs.hh1173 void generalized_affine_image(Variable var,
1234 void generalized_affine_image(const Linear_Expression& lhs,
H A DGrid_defs.hh1336 generalized_affine_image(Variable var,
1408 generalized_affine_image(const Linear_Expression& lhs,
H A DPolyhedron_defs.hh1395 void generalized_affine_image(Variable var,
1454 void generalized_affine_image(const Linear_Expression& lhs,
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java614 public native void generalized_affine_image(Variable var, in generalized_affine_image() method in Polyhedron
670 public native void generalized_affine_image(Linear_Expression lhs, in generalized_affine_image() method in Polyhedron

12