/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | griddifference1.cc | 40 gr1.difference_assign(gr2); in test01() 60 gr1.difference_assign(gr2); in test02() 86 gr1.difference_assign(gr2); in test03() 113 gr1.difference_assign(gr2); in test04() 135 gr1.difference_assign(gr2); in test05() 156 gr1.difference_assign(gr2); in test06() 186 gr1.difference_assign(gr2); in test07() 207 gr1.difference_assign(gr2); in test08() 236 gr1.difference_assign(gr2); in test09() 262 gr1.difference_assign(gr2); in test10() [all …]
|
H A D | powersetdifference1.cc | 49 ps.difference_assign(qs); in test01() 94 ps.difference_assign(qs); in test02() 124 ps.difference_assign(qs); in test03() 150 ps.difference_assign(qs); in test04() 176 ps.difference_assign(qs); in test05() 198 ps.difference_assign(qs); in test06() 223 ps.difference_assign(qs); in test07() 254 ps.difference_assign(qs); in test08() 299 ps.difference_assign(qs); in test09()
|
H A D | membytes1.cc | 247 p2gr2.difference_assign(pgr1); in test02()
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | difference1.cc | 49 box1.difference_assign(box2); in test01() 79 box1.difference_assign(box2); in test02() 97 box1.difference_assign(box2); in test03() 131 box1.difference_assign(box2); in test04() 170 box1.difference_assign(box2); in test05() 200 box1.difference_assign(box2); in test06() 232 box1.difference_assign(box2); in test07() 274 box1.difference_assign(box2); in test08() 311 box1.difference_assign(box2); in test09() 348 box1.difference_assign(box2); in test10() [all …]
|
H A D | ascii_dump_load1.cc | 210 box1.difference_assign(box1_copy); in test06()
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | difference1.cc | 50 oct1.difference_assign(oct2); in test01() 69 oct1.difference_assign(oct2); in test02() 95 oct1.difference_assign(oct2); in test03() 117 oc1.difference_assign(oc2); in test04() 147 oct1.difference_assign(oct2); in test05() 181 oc1.difference_assign(oc2); in test06() 210 oct1.difference_assign(oct2); in test07() 238 oct1.difference_assign(oct2); in test08()
|
H A D | membytes1.cc | 203 proct.difference_assign(poct); in test02()
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | polydifference1.cc | 53 computed_result.difference_assign(ph2); in test01() 66 known_result.difference_assign(ph3); in test01() 88 ph1.difference_assign(ph2); in test02() 118 ph1.difference_assign(ph2); in test03() 142 ph1.difference_assign(ph2); in test04() 165 ph1.difference_assign(ph2); in test05() 188 ph1.difference_assign(ph2); in test06()
|
H A D | polydifference2.cc | 52 computed_result.difference_assign(ph2); in test01() 86 ph1.difference_assign(ph2); in test02() 128 computed_result.difference_assign(ph2); in test03() 158 ph1.difference_assign(ph2); in test04()
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | difference1.cc | 47 bds1.difference_assign(bds2); in test01() 66 bds1.difference_assign(bds2); in test02() 99 bds1.difference_assign(bds2); in test03() 137 bds1.difference_assign(bds2); in test04() 166 bds1.difference_assign(bds2); in test05() 197 bds1.difference_assign(bds2); in test06() 238 bds1.difference_assign(bds2); in test07() 257 bds1.difference_assign(bds2); in test08()
|
H A D | membytes1.cc | 211 prbds.difference_assign(pbds); in test02()
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | difference1.cc | 47 prp1.difference_assign(prp2); in test01() 78 prp1.difference_assign(prp2); in test02() 88 prp2.difference_assign(prp1); in test02() 123 prp1.difference_assign(prp2); in test03()
|
H A D | smashproduct1.cc | 491 sp1.difference_assign(sp2); in test15() 501 sp2.difference_assign(sp1); in test15()
|
/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | difference1.cc | 44 c_ps1.difference_assign(c_ps2); in test01() 67 c_ps1.difference_assign(c_ps2); in test02() 108 difference.difference_assign(squares); in test03()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Pointset_Powerset_defs.hh | 735 void difference_assign(const Pointset_Powerset& y); 1434 ::difference_assign(const Pointset_Powerset& y); 1439 ::difference_assign(const Pointset_Powerset& y);
|
H A D | Pointset_Powerset_inlines.hh | 304 ::difference_assign(const Pointset_Powerset& y) { in difference_assign() function in Parma_Polyhedra_Library::Pointset_Powerset 308 nnc_this.difference_assign(nnc_y); in difference_assign()
|
H A D | Bit_Row_defs.hh | 156 void difference_assign(const Bit_Row& x, const Bit_Row& y);
|
H A D | Pointset_Powerset.cc | 34 ::difference_assign(const Pointset_Powerset& y) { in difference_assign() function in PPL::Pointset_Powerset::NNC_Polyhedron 278 ::difference_assign(const Pointset_Powerset& y) { in difference_assign() function in PPL::Pointset_Powerset::Grid
|
H A D | Bit_Row_inlines.hh | 156 Bit_Row::difference_assign(const Bit_Row& x, const Bit_Row& y) { in difference_assign() function in Parma_Polyhedra_Library::Bit_Row
|
H A D | Partially_Reduced_Product_inlines.hh | 228 ::difference_assign(const Partially_Reduced_Product& y) { in difference_assign() function in Parma_Polyhedra_Library::Partially_Reduced_Product 231 d1.difference_assign(y.d1); in difference_assign() 232 d2.difference_assign(y.d2); in difference_assign()
|
H A D | Determinate_inlines.hh | 197 pointset().difference_assign(y.pointset()); in weakening_assign()
|
H A D | Interval_defs.hh | 656 difference_assign(const From& x); 667 difference_assign(const From1& x, const From2& y);
|
H A D | Polyhedron_inlines.hh | 86 Polyhedron::difference_assign(const Polyhedron& y) { in difference_assign() function in Parma_Polyhedra_Library::Polyhedron
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 454 public native void difference_assign(Polyhedron y); in difference_assign() method in Polyhedron
|
/dports/devel/ppl/ppl-1.2/tests/ |
H A D | ppl_test.hh | 877 void difference_assign(const FCAIBVP& y); 953 FCAIBVP::difference_assign(const FCAIBVP& y) { in difference_assign() function in Parma_Polyhedra_Library::Test::FCAIBVP 970 difference_assign(y); in weakening_assign()
|