Home
last modified time | relevance | path

Searched refs:relation_with (Results 1 – 25 of 57) sorted by relevance

123

/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Drelations3.cc58 && gr.relation_with(B > -2) in test02()
60 && gr.relation_with(B > 2) in test02()
62 && gr.relation_with(B >= 2) in test02()
84 bool ok = (gr.relation_with(B == 1) in test03()
100 bool ok = (gr.relation_with(B == 0) in test04()
104 && gr.relation_with(B > 0) in test04()
171 bool ok = (gr.relation_with(A == 3) in test07()
252 gr.relation_with(A + B >= 0); in test11()
274 bool ok = (gr.relation_with(B == 0) in test12()
296 bool ok = (gr.relation_with(A == 0) in test13()
[all …]
H A Drelations2.cc72 = (gr.relation_with((A + C %= 0) / 3) in test03()
195 = (gr.relation_with(A - 2*D %= 0) in test09()
211 = (gr.relation_with((A %= 3) / 0) in test10()
216 && gr.relation_with(2*A %= 1) in test10()
266 = (gr.relation_with(A %= 0) in test13()
282 gr.relation_with(A + B %= 0); in test14()
305 = (gr.relation_with((B %= 0) / 2) in test15()
324 = (gr.relation_with((A %= 0) / 4) in test16()
342 = (gr.relation_with((A %= 0) / 8) in test17()
360 = (gr.relation_with((A %= 0) / 8) in test18()
[all …]
H A Drelations1.cc84 = (gr.relation_with(grid_point(2*A)) == Poly_Gen_Relation::nothing()); in test04()
144 gr.relation_with(grid_line(A + C)); in test08()
173 bool ok = (gr.relation_with(point(A)) == Poly_Gen_Relation::nothing()); in test10()
206 = (gr.relation_with(point(A + B)) == Poly_Gen_Relation::subsumes()); in test12()
221 = (gr.relation_with(point(2*A)) == Poly_Gen_Relation::nothing()); in test13()
237 bool ok = (gr.relation_with(point()) == Poly_Gen_Relation::nothing() in test14()
253 = (gr.relation_with(ray(A)) == Poly_Gen_Relation::nothing()); in test15()
267 bool ok = (gr.relation_with(line(A)) == Poly_Gen_Relation::nothing()); in test16()
281 gr.relation_with(line(A + C)); in test17()
317 = (gr.relation_with(line(A + B)) == Poly_Gen_Relation::nothing() in test19()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Drelations1.cc82 bool ok = (dp.relation_with(B == 0) in test03()
86 && dp.relation_with(B >= 0) in test03()
123 Poly_Con_Relation rel4 = dp.relation_with(A + B == 0); in test04()
124 Poly_Con_Relation rel5 = dp.relation_with(A == 0); in test04()
126 Poly_Con_Relation rel7 = dp.relation_with(2*A + B >= 3); in test04()
192 Poly_Con_Relation rel = dp.relation_with(cg); in test06()
212 Poly_Con_Relation rel = dp.relation_with(B %= 0); in test07()
250 Poly_Con_Relation rel4 = dp.relation_with(A + B %= 0); in test08()
251 Poly_Con_Relation rel5 = dp.relation_with(A %= 0); in test08()
287 bool okdp1 = (dp.domain1().relation_with(2*A + B %= 3) in test09()
[all …]
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Drelations2.cc82 Poly_Con_Relation rel = bds.relation_with(A > 0); in test04()
102 Poly_Con_Relation rel = bds.relation_with(A - B > 3); in test05()
121 Poly_Con_Relation rel = bds.relation_with(A - B > 3); in test06()
141 Poly_Con_Relation rel = bds.relation_with(A > 0); in test07()
164 Poly_Con_Relation rel = bds.relation_with(A - B > 1); in test08()
187 Poly_Con_Relation rel = bds.relation_with(A > 0); in test09()
210 Poly_Con_Relation rel = bds.relation_with(B - A > 1); in test10()
293 Poly_Gen_Relation rel1 = bds.relation_with(point(B)); in test14()
294 Poly_Gen_Relation rel2 = bds.relation_with(point(-B)); in test14()
313 Poly_Gen_Relation rel = bds.relation_with(ray(-A)); in test15()
[all …]
H A Drelations3.cc103 Poly_Con_Relation rel = bds.relation_with(A == 0); in test04()
121 Poly_Con_Relation rel = bds.relation_with(A >= 0); in test05()
139 Poly_Con_Relation rel = bds.relation_with(A <= -2); in test06()
275 Poly_Gen_Relation rel = bds.relation_with(g); in test13()
296 Poly_Gen_Relation rel = bds.relation_with(g); in test14()
317 Poly_Gen_Relation rel = bds.relation_with(g); in test15()
339 Poly_Con_Relation rel = bds.relation_with(c); in test16()
360 Poly_Con_Relation rel = bds.relation_with(c); in test17()
381 Poly_Con_Relation rel = bds.relation_with(cg); in test18()
405 Poly_Con_Relation rel = bds.relation_with(cg); in test19()
[all …]
H A Drelations1.cc34 Poly_Con_Relation rel = bds.relation_with(A >= 0); in test01()
56 Poly_Con_Relation rel = bds.relation_with(c); in test02()
78 Poly_Con_Relation rel = bds.relation_with(c); in test03()
100 Poly_Con_Relation rel = bds.relation_with(c); in test04()
121 Poly_Con_Relation rel = bds.relation_with(c); in test05()
146 Poly_Con_Relation rel = bds.relation_with(c); in test06()
171 Poly_Con_Relation rel = bds.relation_with(c); in test07()
195 Poly_Con_Relation rel = bds.relation_with(c); in test08()
219 Poly_Con_Relation rel = bds.relation_with(c); in test09()
286 Poly_Con_Relation rel = bds.relation_with(c); in test13()
[all …]
H A Drelations4.cc40 Poly_Con_Relation rel = bds.relation_with(A + B <= -1); in test01()
63 Poly_Con_Relation rel = bds.relation_with(A + B >= 0); in test02()
86 Poly_Con_Relation rel = bds.relation_with(A + B == 0); in test03()
109 Poly_Con_Relation rel = bds.relation_with(A + B == 0); in test04()
132 Poly_Con_Relation rel = bds.relation_with(B - 4*A >= 1); in test05()
225 Poly_Con_Relation rel = bds.relation_with(A + B >= 1); in test09()
249 Poly_Con_Relation rel = bds.relation_with(A + B == 1); in test10()
273 Poly_Con_Relation rel = bds.relation_with(A + B >= 1); in test11()
297 Poly_Con_Relation rel = bds.relation_with(A + B >= 6); in test12()
322 Poly_Con_Relation rel = bds.relation_with(A + B >= 6); in test13()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Drelations2.cc82 Poly_Con_Relation rel = box.relation_with(A > 0); in test04()
102 Poly_Con_Relation rel = box.relation_with(A > 3); in test05()
121 Poly_Con_Relation rel = box.relation_with(A > 3); in test06()
141 Poly_Con_Relation rel = box.relation_with(A > 0); in test07()
163 Poly_Con_Relation rel = box.relation_with(A > 1); in test08()
185 Poly_Con_Relation rel = box.relation_with(A > 0); in test09()
207 Poly_Con_Relation rel = box.relation_with(B > 1); in test10()
289 Poly_Gen_Relation rel1 = box.relation_with(point(B)); in test14()
309 Poly_Gen_Relation rel = box.relation_with(ray(-A)); in test15()
327 Poly_Gen_Relation rel = box.relation_with(line(A)); in test16()
[all …]
H A Drelations1.cc34 Poly_Con_Relation rel = box.relation_with(A >= 0); in test01()
56 Poly_Con_Relation rel = box.relation_with(c); in test02()
78 Poly_Con_Relation rel = box.relation_with(c); in test03()
100 Poly_Con_Relation rel = box.relation_with(c); in test04()
121 Poly_Con_Relation rel = box.relation_with(c); in test05()
146 Poly_Con_Relation rel = box.relation_with(c); in test06()
171 Poly_Con_Relation rel = box.relation_with(c); in test07()
195 Poly_Con_Relation rel = box.relation_with(c); in test08()
219 Poly_Con_Relation rel = box.relation_with(c); in test09()
286 Poly_Con_Relation rel = box.relation_with(c); in test13()
[all …]
H A Drelations4.cc36 Poly_Con_Relation rel = box.relation_with(A + B %= 3); in test01()
60 Poly_Con_Relation rel = box.relation_with((A + B %= 2) / 0); in test02()
84 Poly_Con_Relation rel = box.relation_with((A + B %= -7) / 0); in test03()
108 Poly_Con_Relation rel = box.relation_with((A + B %= 6) / 0); in test04()
132 Poly_Con_Relation rel = box.relation_with((A + B %= 0) / 6); in test05()
168 Poly_Con_Relation rel = box.relation_with(A - 2*B %= 1); in test07()
194 Poly_Con_Relation rel = box.relation_with(2*B - 3*A %= 1); in test08()
211 Poly_Con_Relation rel = box.relation_with(c); in test09()
233 Poly_Con_Relation rel = box.relation_with((A + B %= 0) / 2); in test10()
256 Poly_Con_Relation rel = box.relation_with((A + B %= 0) / 5); in test11()
[all …]
H A Drelations3.cc36 Poly_Con_Relation rel = box.relation_with(A + B > 3); in test01()
55 Poly_Con_Relation rel = box.relation_with(A + B >= 3); in test02()
79 Poly_Con_Relation rel = box.relation_with(A + B == 2); in test03()
103 Poly_Con_Relation rel = box.relation_with(A + B == 7); in test04()
151 Poly_Con_Relation rel = box.relation_with(A + B == 6); in test06()
175 Poly_Con_Relation rel = box.relation_with(A + B >= 6); in test07()
199 Poly_Con_Relation rel = box.relation_with(A + B <= 6); in test08()
266 Poly_Con_Relation rel = box.relation_with(A + B > 0); in test11()
328 Poly_Con_Relation rel = box.relation_with(A == 2); in test14()
349 Poly_Con_Relation rel = box.relation_with(c); in test15()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Drelations1.cc44 Poly_Gen_Relation rel = ph.relation_with(g); in test01()
64 Poly_Gen_Relation rel = ph.relation_with(g); in test02()
82 Poly_Gen_Relation rel = ph.relation_with(g); in test03()
107 Poly_Gen_Relation rel = ph.relation_with(g); in test04()
147 Poly_Con_Relation rel = ph.relation_with(c); in test06()
171 rel = ph.relation_with(c_false1); in test07()
182 rel = ph.relation_with(c_false2); in test07()
193 rel = ph.relation_with(c_saturated1); in test07()
205 rel = ph.relation_with(c_saturated2); in test07()
217 rel = ph.relation_with(c_satisfied); in test07()
[all …]
H A Drelations2.cc46 Poly_Con_Relation rel1 = ph1.relation_with(A == 0); in test01()
47 Poly_Con_Relation rel2 = ph2.relation_with(A == 0); in test01()
68 Poly_Con_Relation rel = ph.relation_with(B > 0); in test02()
87 Poly_Gen_Relation rel = ph.relation_with(ray(A + B)); in test03()
110 Poly_Con_Relation rel = ph.relation_with(A == 0); in test04()
138 Poly_Con_Relation rel1 = ph1.relation_with((A %= 0) / 5); in test05()
139 Poly_Con_Relation rel2 = ph2.relation_with((A %= 0) / 5); in test05()
159 Poly_Con_Relation rel = ph.relation_with(A %= 0); in test06()
178 Poly_Con_Relation rel = ph.relation_with((A %= 1) / 4); in test07()
201 Poly_Con_Relation rel1 = ph.relation_with(A %= 0); in test08()
[all …]
H A Drelations3.cc39 Poly_Gen_Relation rel1 = ph.relation_with(point(B)); in test01()
40 Poly_Gen_Relation rel2 = ph.relation_with(point(-B)); in test01()
82 Poly_Con_Relation rel = ph1.relation_with(A >= 1); in test03()
104 Poly_Con_Relation rel = ph1.relation_with(A > 1); in test04()
132 Poly_Con_Relation rel = ph1.relation_with(B >= 1); in test05()
162 Poly_Con_Relation rel = ph1.relation_with(B == 1); in test06()
184 Poly_Con_Relation rel = ph1.relation_with(B <= 0); in test07()
206 Poly_Con_Relation rel = ph1.relation_with(A >= 0); in test08()
229 Poly_Con_Relation rel = ph1.relation_with(B < 0); in test09()
252 Poly_Con_Relation rel = ph1.relation_with(A < 0); in test10()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Drelatwithgen1.cc41 Poly_Gen_Relation rel = oct.relation_with(g); in test01()
60 Poly_Gen_Relation rel = oct.relation_with(g); in test02()
79 Poly_Gen_Relation rel = oct.relation_with(point(2*A)); in test03()
100 Poly_Gen_Relation rel1 = oct.relation_with(point(B)); in test04()
125 Poly_Gen_Relation rel = oct.relation_with(ray(-A)); in test05()
145 Poly_Gen_Relation rel = oct.relation_with(ray(-A)); in test06()
166 Poly_Gen_Relation rel = oct.relation_with(line(A)); in test07()
186 Poly_Gen_Relation rel = oct.relation_with(line(-A)); in test08()
274 Poly_Gen_Relation rel = oc.relation_with(ray(C)); in test12()
440 Poly_Gen_Relation rel = oct.relation_with(g); in test20()
[all …]
H A Drelatwithcons2.cc89 Poly_Con_Relation rel = oct.relation_with(A > 0); in test04()
110 Poly_Con_Relation rel = oct.relation_with(A + B > 3); in test05()
130 Poly_Con_Relation rel = oct.relation_with(A + B > 3); in test06()
176 Poly_Con_Relation rel = oct.relation_with(A + B > 1); in test08()
199 Poly_Con_Relation rel = oct.relation_with(B - A > 1); in test09()
337 Poly_Con_Relation rel = oct.relation_with(c); in test15()
355 Poly_Con_Relation rel = oct.relation_with(A == 0); in test16()
376 Poly_Con_Relation rel = oc.relation_with(c); in test17()
397 Poly_Con_Relation rel = oc.relation_with(c); in test18()
418 Poly_Con_Relation rel = oc.relation_with(cg); in test19()
[all …]
H A Drelatwithcons3.cc40 Poly_Con_Relation rel = oct.relation_with(A + 2*B >= 1); in test01()
63 Poly_Con_Relation rel = oct.relation_with(A + 2*B == 0); in test02()
86 Poly_Con_Relation rel = oct.relation_with(A + 2*B == 0); in test03()
109 Poly_Con_Relation rel = oct.relation_with(B - 4*A >= 1); in test04()
132 Poly_Con_Relation rel = oct.relation_with(B + 4*A >= 1); in test05()
155 Poly_Con_Relation rel = oct.relation_with(B + 4*A == 5); in test06()
178 Poly_Con_Relation rel = oct.relation_with(B + 4*A >= 6); in test07()
404 Poly_Con_Relation rel = oc.relation_with(cg); in test17()
428 Poly_Con_Relation rel = oc.relation_with(cg); in test18()
450 Poly_Con_Relation rel = oc.relation_with(cg); in test19()
[all …]
H A Drelatwithcons1.cc37 Poly_Con_Relation rel = oct.relation_with(A >= 0); in test01()
63 Poly_Con_Relation rel = oct.relation_with(c); in test02()
88 Poly_Con_Relation rel = oct.relation_with(c); in test03()
112 Poly_Con_Relation rel = oct.relation_with(c); in test04()
141 Poly_Con_Relation rel = oct.relation_with(c); in test05()
168 Poly_Con_Relation rel = oct.relation_with(c); in test06()
219 Poly_Con_Relation rel = oct.relation_with(c); in test08()
336 Poly_Con_Relation rel = oct.relation_with(c); in test09()
359 Poly_Con_Relation rel = oct.relation_with(B - A == 1); in test10()
430 Poly_Con_Relation rel = oct.relation_with(A >= 0); in test14()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Drelationwith1.cc37 Poly_Con_Relation rel = ps.relation_with(cg); in test01()
63 Poly_Con_Relation rel = ps.relation_with(cg); in test02()
88 Poly_Con_Relation rel = ps.relation_with(cg); in test03()
113 Poly_Con_Relation rel = ps.relation_with(cg); in test04()
130 Poly_Con_Relation rel = ps.relation_with(c); in test05()
156 Poly_Con_Relation rel = ps.relation_with(c); in test06()
181 Poly_Con_Relation rel = ps.relation_with(c); in test07()
206 Poly_Con_Relation rel = ps.relation_with(c); in test08()
231 Poly_Gen_Relation rel = ps.relation_with(g); in test09()
256 Poly_Gen_Relation rel = ps.relation_with(g); in test10()
[all …]
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_templates.hh152 ::relation_with(const Generator& g) const { in relation_with() function in Parma_Polyhedra_Library::Partially_Reduced_Product
154 if (Poly_Gen_Relation::nothing() == d1.relation_with(g) in relation_with()
155 || Poly_Gen_Relation::nothing() == d2.relation_with(g)) { in relation_with()
166 ::relation_with(const Constraint& c) const { in relation_with() function in Parma_Polyhedra_Library::Partially_Reduced_Product
168 Poly_Con_Relation relation1 = d1.relation_with(c); in relation_with()
169 Poly_Con_Relation relation2 = d2.relation_with(c); in relation_with()
198 ::relation_with(const Congruence& cg) const { in relation_with() function in Parma_Polyhedra_Library::Partially_Reduced_Product
200 Poly_Con_Relation relation1 = d1.relation_with(cg); in relation_with()
201 Poly_Con_Relation relation2 = d2.relation_with(cg); in relation_with()
555 PPL_ASSERT(d1.relation_with(cg) == Poly_Con_Relation::is_included()); in shrink_to_congruence_no_check()
H A DPolyhedron_nonpublic.cc1709 if (x.relation_with(y_gs_i).implies(Poly_Gen_Relation::subsumes())) { in BHZ09_NNC_poly_hull_assign_if_exact()
1771 if (y.relation_with(x_c).implies(Poly_Con_Relation::is_included())) { in BHZ09_NNC_poly_hull_assign_if_exact()
1837 if (x.relation_with(y_c).implies(Poly_Con_Relation::is_included())) { in BHZ09_NNC_poly_hull_assign_if_exact()
1987 PPL_ASSERT(!(ub.relation_with(eq_i) in BHZ09_NNC_poly_hull_assign_if_exact()
2006 PPL_ASSERT(!(ub.relation_with(eq_i) in BHZ09_NNC_poly_hull_assign_if_exact()
2184 if (x.relation_with(mid_g) == Poly_Gen_Relation::nothing() in BFT00_poly_hull_assign_if_exact()
2185 && y.relation_with(mid_g) == Poly_Gen_Relation::nothing()) { in BFT00_poly_hull_assign_if_exact()
2198 if (x.relation_with(mid_g) == Poly_Gen_Relation::nothing() in BFT00_poly_hull_assign_if_exact()
2199 && y.relation_with(mid_g) == Poly_Gen_Relation::nothing()) { in BFT00_poly_hull_assign_if_exact()
2210 if (x.relation_with(mid_g) == Poly_Gen_Relation::nothing() in BFT00_poly_hull_assign_if_exact()
[all …]
H A DGrid_defs.hh640 Poly_Con_Relation relation_with(const Congruence& cg) const;
649 relation_with(const Grid_Generator& g) const;
658 relation_with(const Generator& g) const;
668 Poly_Con_Relation relation_with(const Constraint& c) const;
/dports/lang/gleam/gleam-0.18.2/cargo-crates/pubgrub-0.2.1/src/
H A Dterm.rs151 pub(crate) fn relation_with(&self, other_terms_intersection: &Term<V>) -> Relation { in relation_with() method
200 fn relation_with(term1 in strategy(), term2 in strategy()) {
201 match term1.relation_with(&term2) {
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java252 public native Poly_Con_Relation relation_with(Constraint c); in relation_with() method in Polyhedron
261 public native Poly_Gen_Relation relation_with(Generator c); in relation_with() method in Polyhedron
270 public native Poly_Con_Relation relation_with(Congruence c); in relation_with() method in Polyhedron

123