/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | relations3.cc | 58 && 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 D | relations2.cc | 72 = (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 D | relations1.cc | 84 = (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 D | relations1.cc | 82 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 D | relations2.cc | 82 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 D | relations3.cc | 103 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 D | relations1.cc | 34 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 D | relations4.cc | 40 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 D | relations2.cc | 82 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 D | relations1.cc | 34 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 D | relations4.cc | 36 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 D | relations3.cc | 36 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 D | relations1.cc | 44 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 D | relations2.cc | 46 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 D | relations3.cc | 39 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 D | relatwithgen1.cc | 41 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 D | relatwithcons2.cc | 89 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 D | relatwithcons3.cc | 40 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 D | relatwithcons1.cc | 37 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 D | relationwith1.cc | 37 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 D | Partially_Reduced_Product_templates.hh | 152 ::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 D | Polyhedron_nonpublic.cc | 1709 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 D | Grid_defs.hh | 640 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 D | term.rs | 151 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 D | Fake_Class_for_Doxygen.java | 252 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
|