Home
last modified time | relevance | path

Searched refs:bounded_affine_preimage (Results 1 – 25 of 27) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Box/
H A Dboundedaffinepreimage1.cc42 box.bounded_affine_preimage(x, y, y+1); in test01()
43 ph.bounded_affine_preimage(x, y, y+1); in test01()
176 box.bounded_affine_preimage(A, A - 3, A, -1); in test05()
177 ph.bounded_affine_preimage(A, A - 3, A, -1); in test05()
238 box.bounded_affine_preimage(x, x + y, x + y, -1); in test07()
239 ph.bounded_affine_preimage(x, x + y, x + y, -1); in test07()
297 ph.bounded_affine_preimage(x, x + 5, x + 4, -1); in test09()
356 box.bounded_affine_preimage(y, 2*x, 2*x, 2); in test11()
357 ph.bounded_affine_preimage(y, 2*x, 2*x, 2); in test11()
415 box.bounded_affine_preimage(y, x, z); in test13()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dboundedaffinepreimage1.cc129 oct.bounded_affine_preimage(A, Linear_Expression(7), in test04()
162 oct.bounded_affine_preimage(A, Linear_Expression(3), A+2); in test05()
192 oct.bounded_affine_preimage(A, Linear_Expression(3), -A+2); in test06()
221 oct.bounded_affine_preimage(A, Linear_Expression(3), B+5); in test07()
250 oct.bounded_affine_preimage(A, Linear_Expression(3), B-5, -1); in test08()
348 oct.bounded_affine_preimage(A, 4*A + 3*B - 5, 4*A + 3*B - 5); in test11()
376 oct.bounded_affine_preimage(A, A, A); in test12()
408 oct.bounded_affine_preimage(A, 4*A + 3*B - 5, 2*A - 5*B - 1); in test13()
467 oct.bounded_affine_preimage(y, x, z); in test15()
492 oct.bounded_affine_preimage(y, z, x); in test16()
[all …]
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Dboundedaffinepreimage1.cc43 bds.bounded_affine_preimage(A, Linear_Expression(7), Linear_Expression(3)); in test01()
74 bds.bounded_affine_preimage(A, Linear_Expression(3), Linear_Expression(7)); in test02()
101 bds.bounded_affine_preimage(A, Linear_Expression(3), Linear_Expression(7), in test03()
129 bds.bounded_affine_preimage(A, Linear_Expression(7), in test04()
162 bds.bounded_affine_preimage(A, Linear_Expression(3), A+2); in test05()
192 bds.bounded_affine_preimage(A, Linear_Expression(3), -A+2); in test06()
221 bds.bounded_affine_preimage(A, Linear_Expression(3), B+5); in test07()
250 bds.bounded_affine_preimage(A, Linear_Expression(3), B-5, -1); in test08()
281 bds.bounded_affine_preimage(A, Linear_Expression(2), 4*A + 3*B - 5); in test09()
336 bds.bounded_affine_preimage(A, A, A); in test11()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dboundedaffinepreimage1.cc42 gr.bounded_affine_preimage(A, 7-B, B+3); in test01()
69 gr.bounded_affine_preimage(A, 7-B, B+3); in test02()
93 gr.bounded_affine_preimage(B, A - 7, B + 2, d); in test03()
117 gr.bounded_affine_preimage(A, B, A + 7); in test04()
141 gr.bounded_affine_preimage(A, A + 7, B); in test05()
165 gr.bounded_affine_preimage(B, A - 7, 2*A - 2); in test06()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dboundedaffinepreimage1.cc52 ph.bounded_affine_preimage(B, 7-A, A+3); in test01()
86 ph.bounded_affine_preimage(B, 7-3*A+2*B, B+5*A-3); in test02()
108 ph.bounded_affine_preimage(A, B+5, A-3); in test03()
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Daffinepreimage1.cc143 c_ps.bounded_affine_preimage(y, x, 2*y, 5); in test03()
145 ph.bounded_affine_preimage(y, x, 2*y, 5); in test03()
146 ph1.bounded_affine_preimage(y, x, 2*y, 5); in test03()
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Dboundedaffineimage1.cc212 prp.bounded_affine_preimage(A, 7-B, B+3); in test09()
245 prp.bounded_affine_preimage(A, 7-B, B+3); in test10()
H A Dbounds1.cc448 prp.bounded_affine_preimage(A, 7-B, B+3); in test16()
481 prp.bounded_affine_preimage(A, 7-B, B+3); in test17()
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_inlines.hh350 ::bounded_affine_preimage(Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Partially_Reduced_Product
354 d1.bounded_affine_preimage(var, lb_expr, ub_expr, denominator); in bounded_affine_preimage()
355 d2.bounded_affine_preimage(var, lb_expr, ub_expr, denominator); in bounded_affine_preimage()
H A DPointset_Powerset_defs.hh971 void bounded_affine_preimage(Variable var,
H A DPartially_Reduced_Product_defs.hh1321 void bounded_affine_preimage(Variable var,
H A DGrid_defs.hh1503 void bounded_affine_preimage(Variable var,
H A DPolyhedron_defs.hh1540 void bounded_affine_preimage(Variable var,
H A DBox_defs.hh1237 void bounded_affine_preimage(Variable var,
H A DOctagonal_Shape_defs.hh1425 void bounded_affine_preimage(Variable var,
H A DBD_Shape_defs.hh1436 void bounded_affine_preimage(Variable var,
H A DPointset_Powerset_templates.hh495 ::bounded_affine_preimage(Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Pointset_Powerset
502 si->pointset().bounded_affine_preimage(var, lb_expr, ub_expr, in bounded_affine_preimage()
H A DGrid_public.cc2596 bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in PPL::Grid
H A DPolyhedron_public.cc3004 bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in PPL::Polyhedron
H A DBox_templates.hh3374 ::bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Box
H A DBD_Shape_templates.hh5487 ::bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::BD_Shape
H A Dppl.hh.dist38140 void bounded_affine_preimage(Variable var,
48767 void bounded_affine_preimage(Variable var,
58018 void bounded_affine_preimage(Variable var,
64087 void bounded_affine_preimage(Variable var,
68608 void bounded_affine_preimage(Variable var,
86034 ::bounded_affine_preimage(const Variable var,
90993 ::bounded_affine_preimage(const Variable var,
98298 void bounded_affine_preimage(Variable var,
98987 ::bounded_affine_preimage(Variable var,
103078 void bounded_affine_preimage(Variable var,
[all …]
H A DOctagonal_Shape_templates.hh7281 Octagonal_Shape<T>::bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Octagonal_Shape
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java583 public native void bounded_affine_preimage(Variable var, in bounded_affine_preimage() method in Polyhedron
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/
H A Dpl_check.pl201 bounded_affine_preimage,
1121 bounded_affine_preimage :- label
1122 bounded_affine_preimage(c), bounded_affine_preimage(nnc).
1124 bounded_affine_preimage(T) :-

12