Searched refs:BHMZ05_widening_assign (Results 1 – 10 of 10) sorted by relevance
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | bhmz05widening1.cc | 48 oc1.BHMZ05_widening_assign(oc2); in test01() 68 oc1.BHMZ05_widening_assign(oc2); in test02() 97 oc1.BHMZ05_widening_assign(oc2); in test03() 141 oc1.BHMZ05_widening_assign(oc2); in test04() 204 oc1.BHMZ05_widening_assign(oc2); in test05() 256 oc1.BHMZ05_widening_assign(oc2); in test06() 298 oc1.BHMZ05_widening_assign(oc2); in test07() 338 oc1.BHMZ05_widening_assign(oc2); in test08() 381 oc1.BHMZ05_widening_assign(oc2); in test09() 416 oc1.BHMZ05_widening_assign(oc2); in test10() [all …]
|
H A D | bhz03widening1.cc | 66 (Q, widen_fun_ref(&TOctagonal_Shape::BHMZ05_widening_assign)); in test01()
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | bhmz05widening1.cc | 47 bds1.BHMZ05_widening_assign(bds2); in test01() 67 bds1.BHMZ05_widening_assign(bds2); in test02() 109 bds1.BHMZ05_widening_assign(bds2); in test03() 142 bds1.BHMZ05_widening_assign(bds2); in test04() 172 bds1.BHMZ05_widening_assign(bds2); in test05() 226 m_i_next.BHMZ05_widening_assign(m_i); in test06() 268 bds1.BHMZ05_widening_assign(bds2); in test07() 301 bds2.BHMZ05_widening_assign(bds1); in test08() 321 bds2.BHMZ05_widening_assign(bds1); in test09()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Octagonal_Shape_defs.hh | 1588 void BHMZ05_widening_assign(const Octagonal_Shape& y, unsigned* tp = 0);
|
H A D | BD_Shape_defs.hh | 1598 void BHMZ05_widening_assign(const BD_Shape& y, unsigned* tp = 0);
|
H A D | Octagonal_Shape_inlines.hh | 599 BHMZ05_widening_assign(y, tp); in widening_assign()
|
H A D | BD_Shape_templates.hh | 3245 BD_Shape<T>::BHMZ05_widening_assign(const BD_Shape& y, unsigned* tp) { in BHMZ05_widening_assign() function in Parma_Polyhedra_Library::BD_Shape 3273 x_tmp.BHMZ05_widening_assign(y, 0); in BHMZ05_widening_assign() 3351 BHMZ05_widening_assign(y, tp); in limited_BHMZ05_extrapolation_assign()
|
H A D | Octagonal_Shape_templates.hh | 4019 Octagonal_Shape<T>::BHMZ05_widening_assign(const Octagonal_Shape& y, in BHMZ05_widening_assign() function in Parma_Polyhedra_Library::Octagonal_Shape 4048 x_tmp.BHMZ05_widening_assign(y, 0); in BHMZ05_widening_assign() 4124 BHMZ05_widening_assign(y, tp); in limited_BHMZ05_extrapolation_assign()
|
H A D | ppl.hh.dist | 64249 void BHMZ05_widening_assign(const BD_Shape& y, unsigned* tp = 0); 68773 //! Same as BHMZ05_widening_assign(y, tp). 70750 BHMZ05_widening_assign(y, tp); 75073 Octagonal_Shape<T>::BHMZ05_widening_assign(const Octagonal_Shape& y, 75077 throw_dimension_incompatible("BHMZ05_widening_assign(y)", y); 75102 x_tmp.BHMZ05_widening_assign(y, 0); 75178 BHMZ05_widening_assign(y, tp); 83792 BD_Shape<T>::BHMZ05_widening_assign(const BD_Shape& y, unsigned* tp) { 83797 throw_dimension_incompatible("BHMZ05_widening_assign(y)", y); 83820 x_tmp.BHMZ05_widening_assign(y, 0); [all …]
|
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog_2001-2008 | 55215 BHMZ05_widening_assign(). Fixed a few problems in the
|