Home
last modified time | relevance | path

Searched refs:intersection_assign (Results 1 – 25 of 60) sorted by relevance

123

/dports/devel/ppl/ppl-1.2/tests/Concrete_Expression/
H A Ddigitalfilters1.cc524 bd.intersection_assign(FP_BD_Shape(oracle.int_store)); in test05()
560 bd.intersection_assign(FP_BD_Shape(oracle.int_store)); in test05()
577 bd.intersection_assign(FP_BD_Shape(oracle.int_store)); in test05()
588 bd.intersection_assign(FP_BD_Shape(oracle.int_store)); in test05()
619 bd.intersection_assign(FP_BD_Shape(oracle.int_store)); in test05()
653 bd.intersection_assign(FP_BD_Shape(oracle.int_store)); in test05()
942 ph.intersection_assign(NNC_Polyhedron(oracle.int_store)); in test07()
978 ph.intersection_assign(NNC_Polyhedron(oracle.int_store)); in test07()
995 ph.intersection_assign(NNC_Polyhedron(oracle.int_store)); in test07()
1037 ph.intersection_assign(NNC_Polyhedron(oracle.int_store)); in test07()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Dintersection1.cc42 box1.intersection_assign(box2); in test01()
70 box1.intersection_assign(box2); in test02()
102 box1.intersection_assign(box2); in test03()
136 box1.intersection_assign(box2); in test04()
166 box2.intersection_assign(box1); in test05()
185 box1.intersection_assign(box2); in test06()
213 box1.intersection_assign(box2); in test07()
238 box1.intersection_assign(box2); in test08()
299 box1.intersection_assign(box2); in test11()
318 box1.intersection_assign(box2); in test12()
[all …]
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Dintersection1.cc44 bds1.intersection_assign(bds2); in test01()
77 bds1.intersection_assign(bds2); in test02()
114 bds1.intersection_assign(bds2); in test03()
152 bds1.intersection_assign(bds2); in test04()
184 bds2.intersection_assign(bds1); in test05()
203 bds1.intersection_assign(bds2); in test06()
232 bds1.intersection_assign(bds2); in test07()
258 bds1.intersection_assign(bds2); in test08()
281 bds1.intersection_assign(bds2); in test09()
320 bds1.intersection_assign(bds2); in test11()
[all …]
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dintersection1.cc259 ph1.intersection_assign(ph2); in test05()
294 ph1.intersection_assign(ph2); in test06()
318 ph1.intersection_assign(ph2); in aux_test07()
364 ph1.intersection_assign(ph2); in test08()
384 ph1.intersection_assign(ph2); in test09()
407 ph1.intersection_assign(ph2); in test10()
426 ph1.intersection_assign(ph2); in test11()
453 ph1.intersection_assign(ph2); in test12()
454 copy_ph1.intersection_assign(copy_ph2); in test12()
486 ph1.intersection_assign(ph2); in test13()
[all …]
H A Dboundedaffineimage1.cc50 kr1.intersection_assign(kr2); in test01()
82 kr1.intersection_assign(kr2); in test02()
138 kr1.intersection_assign(kr2); in test04()
172 kr1.intersection_assign(kr2); in test05()
206 kr1.intersection_assign(kr2); in test06()
H A Dmc91.cc74 current.intersection_assign(b1); in test01()
77 current.intersection_assign(b2); in test01()
H A Dh79widening2.cc42 ph.intersection_assign(ph1); in test01()
H A Dappend1.cc34 q.intersection_assign(r); in shift_rename_add()
H A Ddualhypercubes.cc201 ph[0].intersection_assign(ph[1]); in computation()
239 ph[2].intersection_assign(ph[3]); in computation()
H A Dlinearpartition1.cc278 p_p.intersection_assign(p_c); in test04()
307 q_p.intersection_assign(q_c); in test04()
H A Dappend2.cc34 q.intersection_assign(r); in shift_rename_add()
H A Dpermute.cc34 q.intersection_assign(r); in shift_rename_add()
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dintersection1.cc44 gr1.intersection_assign(gr2); in test01()
76 gr1.intersection_assign(gr2); in test02()
106 gr1.intersection_assign(gr2); in test03()
132 gr1.intersection_assign(gr2); in test04()
158 gr1.intersection_assign(gr2); in test05()
186 gr1.intersection_assign(gr2); in test06()
213 gr1.intersection_assign(gr2); in test07()
246 gr1.intersection_assign(gr2); in test08()
271 gr1.intersection_assign(gr2); in test09()
294 gr1.intersection_assign(gr2); in test10()
H A Dsimplifyusingcontext1.cc342 gr3.intersection_assign(gr2); in test12()
353 gr4.intersection_assign(gr2); in test12()
380 gr3.intersection_assign(gr2); in test13()
391 gr4.intersection_assign(gr2); in test13()
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dintersection1.cc54 oc1.intersection_assign(oc2); in test01()
93 oc1.intersection_assign(oc2); in test02()
128 oc1.intersection_assign(oc2); in test03()
158 oc1.intersection_assign(oc2); in test04()
177 oc1.intersection_assign(oc2); in test05()
196 oc1.intersection_assign(oc2); in test06()
219 oc1.intersection_assign(oc2); in test07()
250 oc1.intersection_assign(oc2); in test08()
282 oc1.intersection_assign(oc2); in test09()
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Dintersection1.cc47 prp1.intersection_assign(prp2); in test01()
78 prp1.intersection_assign(prp2); in test02()
108 prp1.intersection_assign(prp2); in test03()
110 prp1.intersection_assign(prp2); in test03()
H A Dsmashproduct1.cc345 sp1.intersection_assign(sp2); in test12()
360 sp1.intersection_assign(sp2); in test12()
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Dintersection1.cc46 c_ps.intersection_assign(c_ps1); in test01()
78 c_ps.intersection_assign(c_ps1); in test02()
95 c_ps2.intersection_assign(c_ps1); in test02()
/dports/net/routinator/routinator-0.10.2/cargo-crates/rpki-0.12.2/src/repository/
H A Drta.rs1006 my.intersection_assign(them) in trim_to()
1011 my.intersection_assign(them) in trim_to()
1016 my.intersection_assign(them) in trim_to()
1022 res.intersection_assign(issuer.as_resources()) in trim_to_issuer()
1025 res.intersection_assign(issuer.v4_resources()) in trim_to_issuer()
1028 res.intersection_assign(issuer.v6_resources()) in trim_to_issuer()
/dports/net/krill/krill-0.9.4/cargo-crates/rpki-0.13.1-rc2/src/repository/
H A Drta.rs1016 my.intersection_assign(them) in trim_to()
1021 my.intersection_assign(them) in trim_to()
1026 my.intersection_assign(them) in trim_to()
1032 res.intersection_assign(issuer.as_resources()) in trim_to_issuer()
1035 res.intersection_assign(issuer.v4_resources()) in trim_to_issuer()
1038 res.intersection_assign(issuer.v6_resources()) in trim_to_issuer()
/dports/devel/ppl/ppl-1.2/src/
H A DPointset_Powerset_inlines.hh221 Pointset_Powerset<PSET>::intersection_assign(const Pointset_Powerset& y) { in intersection_assign() function in Parma_Polyhedra_Library::Pointset_Powerset
224 Det_PSET::lift_op_assign(std::mem_fun_ref(&PSET::intersection_assign))); in intersection_assign()
H A DBit_Row_defs.hh153 void intersection_assign(const Bit_Row& x, const Bit_Row& y);
H A DPartially_Reduced_Product_inlines.hh162 pg1.intersection_assign(pg2); in Partially_Reduced_Product()
219 ::intersection_assign(const Partially_Reduced_Product& y) { in intersection_assign() function in Parma_Polyhedra_Library::Partially_Reduced_Product
220 d1.intersection_assign(y.d1); in intersection_assign()
221 d2.intersection_assign(y.d2); in intersection_assign()
H A DBit_Row_inlines.hh151 Bit_Row::intersection_assign(const Bit_Row& x, const Bit_Row& y) { in intersection_assign() function in Parma_Polyhedra_Library::Bit_Row
H A DPolyhedron_widenings.cc202 yy.intersection_assign(x); in H79_widening_assign()
583 result.intersection_assign(H79); in BHRZ03_evolving_points()
726 result.intersection_assign(H79); in BHRZ03_evolving_rays()

123