Home
last modified time | relevance | path

Searched refs:refine_with_congruence (Results 1 – 25 of 64) sorted by relevance

123

/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Dspacedims1.cc48 prp1.refine_with_congruence((A %= 0) / 2); in test01()
53 known_prp.refine_with_congruence((A %= 0) / 2); in test01()
73 prp1.refine_with_congruence((A %= 0) / 2); in test02()
99 prp.refine_with_congruence((A %= 0) / 2); in test03()
100 prp.refine_with_congruence((A - C %= 0) / 2); in test03()
129 prp.refine_with_congruence((A %= 0) / 2); in test04()
130 prp.refine_with_congruence((A - C %= 0) / 2); in test04()
154 prp.refine_with_congruence((A - B %= 0) / 2); in test05()
210 prp.refine_with_congruence((A %= 2) / 7); in test07()
211 prp.refine_with_congruence((B %= 2) / 14); in test07()
[all …]
H A Dsmashproduct1.cc50 sp1.refine_with_congruence((A %= 0) / 4); in test01()
51 sp1.refine_with_congruence((A %= 1) / 4); in test01()
72 sp1.refine_with_congruence((A %= 9) / 19); in test02()
73 sp1.refine_with_congruence((A %= 8) / 19); in test02()
97 sp.refine_with_congruence((A %= 1) / 3); in test03()
118 sp.refine_with_congruence((A %= 1) / 3); in test04()
218 sp.refine_with_congruence((A %= 1) / 3); in test08()
417 sp.refine_with_congruence((A %= 0) / 2); in test14()
526 sp1.refine_with_congruence(3*A %= 0); in test16()
564 sp.refine_with_congruence(3*A %= 0); in test17()
[all …]
H A Dgeneralizedaffineimage1.cc41 prp.refine_with_congruence(A %= 0); in test01()
51 known_prp.refine_with_congruence(A %= 0); in test01()
71 prp.refine_with_congruence(A %= 0); in test02()
79 known_prp.refine_with_congruence(A %= 0); in test02()
102 prp.refine_with_congruence(A %= B); in test03()
126 prp.refine_with_congruence(A %= 0); in test04()
127 prp.refine_with_congruence((B %= 0) / 2); in test04()
133 known_prp.refine_with_congruence(A %= 0); in test04()
150 prp.refine_with_congruence(A %= 0); in test05()
157 known_prp.refine_with_congruence(A %= 0); in test05()
[all …]
H A Dcontains1.cc41 prp1.refine_with_congruence((A %= 3) / 2); in test01()
45 prp2.refine_with_congruence(A %= 3); in test01()
49 prp2.refine_with_congruence((A %= 1) / 4); in test01()
53 prp1.refine_with_congruence((A == 1) / 0); in test01()
56 prp2.refine_with_congruence((A %= 1) / 3); in test01()
73 prp1.refine_with_congruence(A %= 0); in test02()
77 prp2.refine_with_congruence(A %= 0); in test02()
82 prp2.refine_with_congruence((A %= 1) /2); in test02()
86 prp1.refine_with_congruence((A %= 1) /2); in test02()
H A Dshapepreservingproduct1.cc45 shpp.refine_with_congruence((A %= 0)/ 2); in test01()
51 known_shpp.refine_with_congruence((A %= 0)/ 2); in test01()
73 shpp.refine_with_congruence((2*A %= 0)/ 1); in test02()
79 known_shpp.refine_with_congruence((2*A %= 0)/ 1); in test02()
100 shpp.refine_with_congruence((A %= 0)/ 2); in test03()
106 known_shpp.refine_with_congruence((A %= 0)/ 2); in test03()
128 shpp.refine_with_congruence((A %= 0)/ 2); in test04()
129 shpp.refine_with_congruence((B %= 0)/ 2); in test04()
134 known_shpp.refine_with_congruence((A %= 0)/ 2); in test04()
135 known_shpp.refine_with_congruence((B %= 0)/ 2); in test04()
H A Ddisjoint1.cc61 prp1.refine_with_congruence((A %= 0) / 7); in test02()
64 prp2.refine_with_congruence((A %= 1) / 7); in test02()
82 prp1.refine_with_congruence((A %= 0) / 7); in test03()
84 prp2.refine_with_congruence((A %= 1) / 7); in test03()
104 prp1.refine_with_congruence((A %= 1) / 7); in test04()
106 prp2.refine_with_congruence((A %= 1) / 14); in test04()
133 prp1.refine_with_congruence((A %= 0) / 2); in test05()
134 prp1.refine_with_congruence((A %= 0) / 4); in test05()
142 prp2.refine_with_congruence((A %= 0) / 2); in test05()
143 prp2.refine_with_congruence((A %= 0) / 4); in test05()
H A Drefinewithcongruences1.cc42 prp.refine_with_congruence((A == 0) / 0); in test01()
45 gr.refine_with_congruence((A == 0) / 0); in test01()
62 prp.refine_with_congruence((A %= 0) / 4); in test02()
65 gr.refine_with_congruence((A %= 0) / 4); in test02()
106 prp.refine_with_congruence((Linear_Expression(0) == 1) / 2); in test04()
123 prp.refine_with_congruence((Linear_Expression(0) == 0) / 0); in test05()
155 known_dp.refine_with_congruence((A %= 0) / 2); in test06()
156 known_dp.refine_with_congruence((B == 0) / 2); in test06()
185 known_prp.refine_with_congruence((A %= 0) / 2); in test07()
213 known_prp.refine_with_congruence((A + B %= 0) / 2); in test08()
[all …]
H A Dintersection1.cc41 prp1.refine_with_congruence((A %= 0) / 2); in test01()
45 prp2.refine_with_congruence((A %= 0) / 7); in test01()
50 known_prp.refine_with_congruence((A %= 0) / 14); in test01()
70 prp1.refine_with_congruence((A %= 0) / 2); in test02()
75 prp2.refine_with_congruence((A %= 0) / 7); in test02()
100 prp1.refine_with_congruence((A %= 0) / 2); in test03()
105 prp2.refine_with_congruence((A %= 0) / 7); in test03()
H A Dcongruencesproduct1.cc46 cgp.refine_with_congruence((A %= 0)/ 2); in test01()
51 known_cgp.refine_with_congruence((A %= 0)/ 2); in test01()
79 cgp.refine_with_congruence((A %= 0)/ 2); in test02()
84 known_cgp.refine_with_congruence((A %= 0)/ 2); in test02()
113 cgp.refine_with_congruence((A %= 0)/ 2); in test03()
118 known_cgp.refine_with_congruence((A %= 0)/ 2); in test03()
147 cgp.refine_with_congruence((A %= 0)/ 2); in test04()
180 cgp.refine_with_congruence((A %= 0)/ 2); in test05()
212 cgp.refine_with_congruence((A %= 0)/ 2); in test06()
242 cgp.refine_with_congruence((A %= 0)/ 2); in test07()
H A Ddifference1.cc41 prp1.refine_with_congruence((A - B %= 0) / 2); in test01()
45 prp2.refine_with_congruence((A - B %= 0) / 4); in test01()
51 known_prp.refine_with_congruence((A - B %= 2) / 4); in test01()
76 prp2.refine_with_congruence((A %= 18) / 20); in test02()
91 known_prp.refine_with_congruence((A %= 18) / 20); in test02()
109 prp.refine_with_congruence((A %= 0) / 2); in test03()
118 prp2.refine_with_congruence((A %= 1) / 2); in test03()
H A Dupperbound1.cc52 known_prp.refine_with_congruence((A %= 9) / 10); in test01()
129 prp.refine_with_congruence((A %= 0) / 2); in test04()
130 prp.refine_with_congruence((B %= 0) / 2); in test04()
135 prp2.refine_with_congruence((A %= 1) / 3); in test04()
136 prp2.refine_with_congruence((B %= 1) / 3); in test04()
159 prp1.refine_with_congruence((B %= 1) / 2); in test04()
171 known_prp.refine_with_congruence((B %= 1) / 0); in test04()
172 known_prp.refine_with_congruence((A %= 1) / 3); in test04()
H A Ddropsomenonintegerpoints1.cc46 prp1.refine_with_congruence(3*A %= 0); in test01()
54 known_prp.refine_with_congruence(A %= 0); in test01()
80 known_prp.refine_with_congruence(A %= 0); in test02()
108 prp1.refine_with_congruence(3*A %= 0); in test03()
116 known_prp.refine_with_congruence(A %= 0); in test03()
H A Disempty1.cc43 prp.refine_with_congruence(A %= 9); in test01()
44 prp.refine_with_congruence(B + C %= 3); in test01()
61 prp.refine_with_congruence((A %= 0) / 2); in test02()
62 prp.refine_with_congruence((A %= 1) / 2); in test02()
H A Daffineimage1.cc41 prp.refine_with_congruence((B %= 2) / 14); in test01()
48 known_prp.refine_with_congruence((B %= 2) / 14); in test01()
69 prp.refine_with_congruence((A %= 0) / 3); in test02()
74 known_prp.refine_with_congruence((B %= 0) / 3); in test02()
H A Dboundedaffineimage1.cc105 prp.refine_with_congruence(3*B %= 2); in test05()
145 prp.refine_with_congruence((A == 0) / 0); in test07()
146 prp.refine_with_congruence((B == 0) / 0); in test07()
147 prp.refine_with_congruence((C == -2) / 0); in test07()
205 prp.refine_with_congruence((A == 0) / 0); in test09()
206 prp.refine_with_congruence((B == 0) / 0); in test09()
207 prp.refine_with_congruence((C == -2) / 0); in test09()
H A Dtimeelapse1.cc46 prp1.refine_with_congruence(3*A %= 0); in test01()
60 known_prp.refine_with_congruence((65*A - B %= 0) / 7); in test01()
61 known_prp.refine_with_congruence(21*A %= 0); in test01()
87 gr.refine_with_congruence((A %= 0)/ 2); in test02()
H A Dtopclosed1.cc43 prp.refine_with_congruence((A %= 0) / 3); in test01()
61 prp.refine_with_congruence((A %= 0) / 3); in test02()
78 prp.refine_with_congruence((A %= 0) / 4); in test03()
H A Drefinewithconstraints1.cc272 prp.refine_with_congruence((B %= 2) / 4); in test10()
273 prp.refine_with_congruence((A + B %= 6) / 0); in test10()
279 known_prp.refine_with_congruence((B %= 2) / 4); in test10()
280 known_prp.refine_with_congruence((A + B %= 6) / 0); in test10()
317 known_prp.refine_with_congruence((B %= 2) / 4); in test11()
318 known_prp.refine_with_congruence((A + B %= 6) / 0); in test11()
H A Dcongruences1.cc44 dp.refine_with_congruence(A %= 9); in test01()
45 dp.refine_with_congruence(B + C %= 3); in test01()
71 dp.refine_with_congruence(B + C %= 3); in test02()
H A Dbounds1.cc112 prp.refine_with_congruence(3*B %= 2); in test05()
254 prp.refine_with_congruence(3*B %= 2); in test11()
337 prp.refine_with_congruence(3*B %= 2); in test13()
381 prp.refine_with_congruence((A == 0) / 0); in test14()
382 prp.refine_with_congruence((B == 0) / 0); in test14()
383 prp.refine_with_congruence((C == -2) / 0); in test14()
441 prp.refine_with_congruence((A == 0) / 0); in test16()
442 prp.refine_with_congruence((B == 0) / 0); in test16()
443 prp.refine_with_congruence((C == -2) / 0); in test16()
575 known_prp.refine_with_congruence(A %= 0); in test20()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Drefinewithcongruence1.cc35 ph1.refine_with_congruence((A %= 0) / 2); in test01()
36 ph1.refine_with_congruence((B %= 5) / 0); in test01()
37 ph1.refine_with_congruence(A + B %= 6); in test01()
42 ph2.refine_with_congruence((A %= 1) / 0); in test01()
43 ph2.refine_with_congruence((B + C %= 4) / 5); in test01()
67 ph.refine_with_congruence((A %= B) / 0); in test02()
83 ph.refine_with_congruence((A %= 0) / 4); in test03()
84 ph.refine_with_congruence((A + B %= 2) / 5); in test03()
88 ph.refine_with_congruence((B %= 1) / 0); in test03()
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Drefinewithcongruence1.cc33 box.refine_with_congruence(cg); in test01()
54 box.refine_with_congruence(cg); in test02()
75 box.refine_with_congruence(cg); in test03()
95 box.refine_with_congruence(cg); in test04()
124 box.refine_with_congruence((1*A + 2*B + 3*C + 4*D %= 0) / 0); in test05()
153 box1.refine_with_congruence(x %= 0); in test06()
154 box1.refine_with_congruence(y - x + z %= 0); in test06()
176 box.refine_with_congruence((y %= 0) / 0); in test07()
H A Dfrompartiallyreducedproduct1.cc39 dp.refine_with_congruence((A %= 1) / 5); in test01()
65 dp.refine_with_congruence((A %= 0) / 3); in test02()
93 sp.refine_with_congruence((A %= 0) / 3); in test03()
114 cp.refine_with_congruence((A %= 0) / 3); in test04()
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Drefinewithcongruences1.cc45 gr.refine_with_congruence((A %= 0) / 2); in test01()
46 gr.refine_with_congruence((B %= 1) / 2); in test01()
94 gr.refine_with_congruence(A + C %= 0); in test03()
143 gr.refine_with_congruence((B %= 2) / 0); in test05()
190 gr.refine_with_congruence((Linear_Expression(1) %= 0) / 0); in test07()
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dcongruences1.cc146 oct1.refine_with_congruence((x %= 1) / 0); in test06()
147 oct1.refine_with_congruence((y %= 3) / 2); in test06()
148 oct1.refine_with_congruence((y + z %= 0) / 3); in test06()
171 oct1.refine_with_congruence((x + y %= 3) / 0); in test07()

123