Home
last modified time | relevance | path

Searched refs:BHMZ05_widening_assign (Results 1 – 10 of 10) sorted by relevance

/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dbhmz05widening1.cc48 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 Dbhz03widening1.cc66 (Q, widen_fun_ref(&TOctagonal_Shape::BHMZ05_widening_assign)); in test01()
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Dbhmz05widening1.cc47 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 DOctagonal_Shape_defs.hh1588 void BHMZ05_widening_assign(const Octagonal_Shape& y, unsigned* tp = 0);
H A DBD_Shape_defs.hh1598 void BHMZ05_widening_assign(const BD_Shape& y, unsigned* tp = 0);
H A DOctagonal_Shape_inlines.hh599 BHMZ05_widening_assign(y, tp); in widening_assign()
H A DBD_Shape_templates.hh3245 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 DOctagonal_Shape_templates.hh4019 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 Dppl.hh.dist64249 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 DChangeLog_2001-200855215 BHMZ05_widening_assign(). Fixed a few problems in the