Home
last modified time | relevance | path

Searched refs:difference_assign (Results 1 – 25 of 49) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dgriddifference1.cc40 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 Dpowersetdifference1.cc49 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 Dmembytes1.cc247 p2gr2.difference_assign(pgr1); in test02()
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Ddifference1.cc49 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 Dascii_dump_load1.cc210 box1.difference_assign(box1_copy); in test06()
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Ddifference1.cc50 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 Dmembytes1.cc203 proct.difference_assign(poct); in test02()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dpolydifference1.cc53 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 Dpolydifference2.cc52 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 Ddifference1.cc47 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 Dmembytes1.cc211 prbds.difference_assign(pbds); in test02()
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Ddifference1.cc47 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 Dsmashproduct1.cc491 sp1.difference_assign(sp2); in test15()
501 sp2.difference_assign(sp1); in test15()
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Ddifference1.cc44 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 DPointset_Powerset_defs.hh735 void difference_assign(const Pointset_Powerset& y);
1434 ::difference_assign(const Pointset_Powerset& y);
1439 ::difference_assign(const Pointset_Powerset& y);
H A DPointset_Powerset_inlines.hh304 ::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 DBit_Row_defs.hh156 void difference_assign(const Bit_Row& x, const Bit_Row& y);
H A DPointset_Powerset.cc34 ::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 DBit_Row_inlines.hh156 Bit_Row::difference_assign(const Bit_Row& x, const Bit_Row& y) { in difference_assign() function in Parma_Polyhedra_Library::Bit_Row
H A DPartially_Reduced_Product_inlines.hh228 ::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 DDeterminate_inlines.hh197 pointset().difference_assign(y.pointset()); in weakening_assign()
H A DInterval_defs.hh656 difference_assign(const From& x);
667 difference_assign(const From1& x, const From2& y);
H A DPolyhedron_inlines.hh86 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 DFake_Class_for_Doxygen.java454 public native void difference_assign(Polyhedron y); in difference_assign() method in Polyhedron
/dports/devel/ppl/ppl-1.2/tests/
H A Dppl_test.hh877 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()

12