Home
last modified time | relevance | path

Searched refs:construct_upward_approximation (Results 1 – 8 of 8) sorted by path

/dports/devel/ppl/ppl-1.2/
H A DChangeLog18325 DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const
H A DChangeLog_2001-200858828 DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const
58851 DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const
58906 DB_Row<T>::construct_upward_approximation(const DB_Row<U>& y,
58909 DB_Row_Impl_Handler<U>::Impl::construct_upward_approximation(const
58916 DB_Row<T>::construct_upward_approximation(const DB_Row<U>& y,
58919 DB_Row_Impl_Handler<U>::Impl::construct_upward_approximation(const
/dports/devel/ppl/ppl-1.2/src/
H A DDB_Matrix_templates.hh49 rows[i].construct_upward_approximation(y[i], row_capacity); in DB_Matrix()
H A DDB_Row_defs.hh160 void construct_upward_approximation(const DB_Row<U>& y,
404 void construct_upward_approximation(const U& y);
H A DDB_Row_inlines.hh219 DB_Row<T>::construct_upward_approximation(const DB_Row<U>& y, in construct_upward_approximation() function in Parma_Polyhedra_Library::DB_Row
225 x.impl->construct_upward_approximation(*(y.impl)); in construct_upward_approximation()
H A DDB_Row_templates.hh34 DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) { in construct_upward_approximation() function in Parma_Polyhedra_Library::DB_Row_Impl_Handler::Impl
H A DOR_Matrix_inlines.hh567 vec.construct_upward_approximation(y.vec, vec_capacity); in OR_Matrix()
H A Dppl.hh.dist60714 void construct_upward_approximation(const DB_Row<U>& y,
60958 void construct_upward_approximation(const U& y);
61217 DB_Row<T>::construct_upward_approximation(const DB_Row<U>& y,
61223 x.impl->construct_upward_approximation(*(y.impl));
61439 DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) {
62253 rows[i].construct_upward_approximation(y[i], row_capacity);
66933 vec.construct_upward_approximation(y.vec, vec_capacity);