// | |
// Copyright (c) 2000-2002 | |
// Joerg Walter, Mathias Koch | |
// | |
// Distributed under the Boost Software License, Version 1.0. (See | |
// accompanying file LICENSE_1_0.txt or copy at | |
// http://www.boost.org/LICENSE_1_0.txt) | |
// | |
// The authors gratefully acknowledge the support of | |
// GeNeSys mbH & Co. KG in producing this work. | |
// | |
#ifndef _BOOST_UBLAS_VECTOR_ASSIGN_ | |
#define _BOOST_UBLAS_VECTOR_ASSIGN_ | |
#include <boost/numeric/ublas/functional.hpp> // scalar_assign | |
// Required for make_conformant storage | |
#include <vector> | |
// Iterators based on ideas of Jeremy Siek | |
namespace boost { namespace numeric { namespace ublas { | |
namespace detail { | |
// Weak equality check - useful to compare equality two arbitary vector expression results. | |
// Since the actual expressions are unknown, we check for and arbitary error bound | |
// on the relative error. | |
// For a linear expression the infinity norm makes sense as we do not know how the elements will be | |
// combined in the expression. False positive results are inevitable for arbirary expressions! | |
template<class E1, class E2, class S> | |
BOOST_UBLAS_INLINE | |
bool equals (const vector_expression<E1> &e1, const vector_expression<E2> &e2, S epsilon, S min_norm) { | |
return norm_inf (e1 - e2) < epsilon * | |
std::max<S> (std::max<S> (norm_inf (e1), norm_inf (e2)), min_norm); | |
} | |
template<class E1, class E2> | |
BOOST_UBLAS_INLINE | |
bool expression_type_check (const vector_expression<E1> &e1, const vector_expression<E2> &e2) { | |
typedef typename type_traits<typename promote_traits<typename E1::value_type, | |
typename E2::value_type>::promote_type>::real_type real_type; | |
return equals (e1, e2, BOOST_UBLAS_TYPE_CHECK_EPSILON, BOOST_UBLAS_TYPE_CHECK_MIN); | |
} | |
// Make sparse proxies conformant | |
template<class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void make_conformant (V &v, const vector_expression<E> &e) { | |
BOOST_UBLAS_CHECK (v.size () == e ().size (), bad_size ()); | |
typedef typename V::size_type size_type; | |
typedef typename V::difference_type difference_type; | |
typedef typename V::value_type value_type; | |
// FIXME unbounded_array with push_back maybe better | |
std::vector<size_type> index; | |
typename V::iterator it (v.begin ()); | |
typename V::iterator it_end (v.end ()); | |
typename E::const_iterator ite (e ().begin ()); | |
typename E::const_iterator ite_end (e ().end ()); | |
if (it != it_end && ite != ite_end) { | |
size_type it_index = it.index (), ite_index = ite.index (); | |
while (true) { | |
difference_type compare = it_index - ite_index; | |
if (compare == 0) { | |
++ it, ++ ite; | |
if (it != it_end && ite != ite_end) { | |
it_index = it.index (); | |
ite_index = ite.index (); | |
} else | |
break; | |
} else if (compare < 0) { | |
increment (it, it_end, - compare); | |
if (it != it_end) | |
it_index = it.index (); | |
else | |
break; | |
} else if (compare > 0) { | |
if (*ite != value_type/*zero*/()) | |
index.push_back (ite.index ()); | |
++ ite; | |
if (ite != ite_end) | |
ite_index = ite.index (); | |
else | |
break; | |
} | |
} | |
} | |
while (ite != ite_end) { | |
if (*ite != value_type/*zero*/()) | |
index.push_back (ite.index ()); | |
++ ite; | |
} | |
for (size_type k = 0; k < index.size (); ++ k) | |
v (index [k]) = value_type/*zero*/(); | |
} | |
}//namespace detail | |
// Explicitly iterating | |
template<template <class T1, class T2> class F, class V, class T> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void iterating_vector_assign_scalar (V &v, const T &t) { | |
typedef F<typename V::iterator::reference, T> functor_type; | |
typedef typename V::difference_type difference_type; | |
difference_type size (v.size ()); | |
typename V::iterator it (v.begin ()); | |
BOOST_UBLAS_CHECK (v.end () - it == size, bad_size ()); | |
#ifndef BOOST_UBLAS_USE_DUFF_DEVICE | |
while (-- size >= 0) | |
functor_type::apply (*it, t), ++ it; | |
#else | |
DD (size, 4, r, (functor_type::apply (*it, t), ++ it)); | |
#endif | |
} | |
// Explicitly case | |
template<template <class T1, class T2> class F, class V, class T> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void indexing_vector_assign_scalar (V &v, const T &t) { | |
typedef F<typename V::reference, T> functor_type; | |
typedef typename V::size_type size_type; | |
size_type size (v.size ()); | |
#ifndef BOOST_UBLAS_USE_DUFF_DEVICE | |
for (size_type i = 0; i < size; ++ i) | |
functor_type::apply (v (i), t); | |
#else | |
size_type i (0); | |
DD (size, 4, r, (functor_type::apply (v (i), t), ++ i)); | |
#endif | |
} | |
// Dense (proxy) case | |
template<template <class T1, class T2> class F, class V, class T> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_assign_scalar (V &v, const T &t, dense_proxy_tag) { | |
#ifdef BOOST_UBLAS_USE_INDEXING | |
indexing_vector_assign_scalar<F> (v, t); | |
#elif BOOST_UBLAS_USE_ITERATING | |
iterating_vector_assign_scalar<F> (v, t); | |
#else | |
typedef typename V::size_type size_type; | |
size_type size (v.size ()); | |
if (size >= BOOST_UBLAS_ITERATOR_THRESHOLD) | |
iterating_vector_assign_scalar<F> (v, t); | |
else | |
indexing_vector_assign_scalar<F> (v, t); | |
#endif | |
} | |
// Packed (proxy) case | |
template<template <class T1, class T2> class F, class V, class T> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_assign_scalar (V &v, const T &t, packed_proxy_tag) { | |
typedef F<typename V::iterator::reference, T> functor_type; | |
typedef typename V::difference_type difference_type; | |
typename V::iterator it (v.begin ()); | |
difference_type size (v.end () - it); | |
while (-- size >= 0) | |
functor_type::apply (*it, t), ++ it; | |
} | |
// Sparse (proxy) case | |
template<template <class T1, class T2> class F, class V, class T> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_assign_scalar (V &v, const T &t, sparse_proxy_tag) { | |
typedef F<typename V::iterator::reference, T> functor_type; | |
typename V::iterator it (v.begin ()); | |
typename V::iterator it_end (v.end ()); | |
while (it != it_end) | |
functor_type::apply (*it, t), ++ it; | |
} | |
// Dispatcher | |
template<template <class T1, class T2> class F, class V, class T> | |
BOOST_UBLAS_INLINE | |
void vector_assign_scalar (V &v, const T &t) { | |
typedef typename V::storage_category storage_category; | |
vector_assign_scalar<F> (v, t, storage_category ()); | |
} | |
template<class SC, bool COMPUTED, class RI> | |
struct vector_assign_traits { | |
typedef SC storage_category; | |
}; | |
template<bool COMPUTED> | |
struct vector_assign_traits<dense_tag, COMPUTED, packed_random_access_iterator_tag> { | |
typedef packed_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<dense_tag, false, sparse_bidirectional_iterator_tag> { | |
typedef sparse_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<dense_tag, true, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<bool COMPUTED> | |
struct vector_assign_traits<dense_proxy_tag, COMPUTED, packed_random_access_iterator_tag> { | |
typedef packed_proxy_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<dense_proxy_tag, false, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<dense_proxy_tag, true, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<packed_tag, false, sparse_bidirectional_iterator_tag> { | |
typedef sparse_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<packed_tag, true, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<bool COMPUTED> | |
struct vector_assign_traits<packed_proxy_tag, COMPUTED, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<sparse_tag, true, dense_random_access_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<sparse_tag, true, packed_random_access_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<> | |
struct vector_assign_traits<sparse_tag, true, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
// Explicitly iterating | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void iterating_vector_assign (V &v, const vector_expression<E> &e) { | |
typedef F<typename V::iterator::reference, typename E::value_type> functor_type; | |
typedef typename V::difference_type difference_type; | |
difference_type size (BOOST_UBLAS_SAME (v.size (), e ().size ())); | |
typename V::iterator it (v.begin ()); | |
BOOST_UBLAS_CHECK (v.end () - it == size, bad_size ()); | |
typename E::const_iterator ite (e ().begin ()); | |
BOOST_UBLAS_CHECK (e ().end () - ite == size, bad_size ()); | |
#ifndef BOOST_UBLAS_USE_DUFF_DEVICE | |
while (-- size >= 0) | |
functor_type::apply (*it, *ite), ++ it, ++ ite; | |
#else | |
DD (size, 2, r, (functor_type::apply (*it, *ite), ++ it, ++ ite)); | |
#endif | |
} | |
// Explicitly indexing | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void indexing_vector_assign (V &v, const vector_expression<E> &e) { | |
typedef F<typename V::reference, typename E::value_type> functor_type; | |
typedef typename V::size_type size_type; | |
size_type size (BOOST_UBLAS_SAME (v.size (), e ().size ())); | |
#ifndef BOOST_UBLAS_USE_DUFF_DEVICE | |
for (size_type i = 0; i < size; ++ i) | |
functor_type::apply (v (i), e () (i)); | |
#else | |
size_type i (0); | |
DD (size, 2, r, (functor_type::apply (v (i), e () (i)), ++ i)); | |
#endif | |
} | |
// Dense (proxy) case | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_assign (V &v, const vector_expression<E> &e, dense_proxy_tag) { | |
#ifdef BOOST_UBLAS_USE_INDEXING | |
indexing_vector_assign<F> (v, e); | |
#elif BOOST_UBLAS_USE_ITERATING | |
iterating_vector_assign<F> (v, e); | |
#else | |
typedef typename V::size_type size_type; | |
size_type size (BOOST_UBLAS_SAME (v.size (), e ().size ())); | |
if (size >= BOOST_UBLAS_ITERATOR_THRESHOLD) | |
iterating_vector_assign<F> (v, e); | |
else | |
indexing_vector_assign<F> (v, e); | |
#endif | |
} | |
// Packed (proxy) case | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_assign (V &v, const vector_expression<E> &e, packed_proxy_tag) { | |
BOOST_UBLAS_CHECK (v.size () == e ().size (), bad_size ()); | |
typedef F<typename V::iterator::reference, typename E::value_type> functor_type; | |
typedef typename V::difference_type difference_type; | |
typedef typename V::value_type value_type; | |
#if BOOST_UBLAS_TYPE_CHECK | |
vector<value_type> cv (v.size ()); | |
indexing_vector_assign<scalar_assign> (cv, v); | |
indexing_vector_assign<F> (cv, e); | |
#endif | |
typename V::iterator it (v.begin ()); | |
typename V::iterator it_end (v.end ()); | |
typename E::const_iterator ite (e ().begin ()); | |
typename E::const_iterator ite_end (e ().end ()); | |
difference_type it_size (it_end - it); | |
difference_type ite_size (ite_end - ite); | |
if (it_size > 0 && ite_size > 0) { | |
difference_type size ((std::min) (difference_type (it.index () - ite.index ()), ite_size)); | |
if (size > 0) { | |
ite += size; | |
ite_size -= size; | |
} | |
} | |
if (it_size > 0 && ite_size > 0) { | |
difference_type size ((std::min) (difference_type (ite.index () - it.index ()), it_size)); | |
if (size > 0) { | |
it_size -= size; | |
if (!functor_type::computed) { | |
while (-- size >= 0) // zeroing | |
functor_type::apply (*it, value_type/*zero*/()), ++ it; | |
} else { | |
it += size; | |
} | |
} | |
} | |
difference_type size ((std::min) (it_size, ite_size)); | |
it_size -= size; | |
ite_size -= size; | |
while (-- size >= 0) | |
functor_type::apply (*it, *ite), ++ it, ++ ite; | |
size = it_size; | |
if (!functor_type::computed) { | |
while (-- size >= 0) // zeroing | |
functor_type::apply (*it, value_type/*zero*/()), ++ it; | |
} else { | |
it += size; | |
} | |
#if BOOST_UBLAS_TYPE_CHECK | |
if (! disable_type_check<bool>::value) | |
BOOST_UBLAS_CHECK (detail::expression_type_check (v, cv), | |
external_logic ("external logic or bad condition of inputs")); | |
#endif | |
} | |
// Sparse case | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_assign (V &v, const vector_expression<E> &e, sparse_tag) { | |
BOOST_UBLAS_CHECK (v.size () == e ().size (), bad_size ()); | |
typedef F<typename V::iterator::reference, typename E::value_type> functor_type; | |
BOOST_STATIC_ASSERT ((!functor_type::computed)); | |
typedef typename V::value_type value_type; | |
#if BOOST_UBLAS_TYPE_CHECK | |
vector<value_type> cv (v.size ()); | |
indexing_vector_assign<scalar_assign> (cv, v); | |
indexing_vector_assign<F> (cv, e); | |
#endif | |
v.clear (); | |
typename E::const_iterator ite (e ().begin ()); | |
typename E::const_iterator ite_end (e ().end ()); | |
while (ite != ite_end) { | |
value_type t (*ite); | |
if (t != value_type/*zero*/()) | |
v.insert_element (ite.index (), t); | |
++ ite; | |
} | |
#if BOOST_UBLAS_TYPE_CHECK | |
if (! disable_type_check<bool>::value) | |
BOOST_UBLAS_CHECK (detail::expression_type_check (v, cv), | |
external_logic ("external logic or bad condition of inputs")); | |
#endif | |
} | |
// Sparse proxy or functional case | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_assign (V &v, const vector_expression<E> &e, sparse_proxy_tag) { | |
BOOST_UBLAS_CHECK (v.size () == e ().size (), bad_size ()); | |
typedef F<typename V::iterator::reference, typename E::value_type> functor_type; | |
typedef typename V::size_type size_type; | |
typedef typename V::difference_type difference_type; | |
typedef typename V::value_type value_type; | |
typedef typename V::reference reference; | |
#if BOOST_UBLAS_TYPE_CHECK | |
vector<value_type> cv (v.size ()); | |
indexing_vector_assign<scalar_assign> (cv, v); | |
indexing_vector_assign<F> (cv, e); | |
#endif | |
detail::make_conformant (v, e); | |
typename V::iterator it (v.begin ()); | |
typename V::iterator it_end (v.end ()); | |
typename E::const_iterator ite (e ().begin ()); | |
typename E::const_iterator ite_end (e ().end ()); | |
if (it != it_end && ite != ite_end) { | |
size_type it_index = it.index (), ite_index = ite.index (); | |
while (true) { | |
difference_type compare = it_index - ite_index; | |
if (compare == 0) { | |
functor_type::apply (*it, *ite); | |
++ it, ++ ite; | |
if (it != it_end && ite != ite_end) { | |
it_index = it.index (); | |
ite_index = ite.index (); | |
} else | |
break; | |
} else if (compare < 0) { | |
if (!functor_type::computed) { | |
functor_type::apply (*it, value_type/*zero*/()); | |
++ it; | |
} else | |
increment (it, it_end, - compare); | |
if (it != it_end) | |
it_index = it.index (); | |
else | |
break; | |
} else if (compare > 0) { | |
increment (ite, ite_end, compare); | |
if (ite != ite_end) | |
ite_index = ite.index (); | |
else | |
break; | |
} | |
} | |
} | |
if (!functor_type::computed) { | |
while (it != it_end) { // zeroing | |
functor_type::apply (*it, value_type/*zero*/()); | |
++ it; | |
} | |
} else { | |
it = it_end; | |
} | |
#if BOOST_UBLAS_TYPE_CHECK | |
if (! disable_type_check<bool>::value) | |
BOOST_UBLAS_CHECK (detail::expression_type_check (v, cv), | |
external_logic ("external logic or bad condition of inputs")); | |
#endif | |
} | |
// Dispatcher | |
template<template <class T1, class T2> class F, class V, class E> | |
BOOST_UBLAS_INLINE | |
void vector_assign (V &v, const vector_expression<E> &e) { | |
typedef typename vector_assign_traits<typename V::storage_category, | |
F<typename V::reference, typename E::value_type>::computed, | |
typename E::const_iterator::iterator_category>::storage_category storage_category; | |
vector_assign<F> (v, e, storage_category ()); | |
} | |
template<class SC, class RI> | |
struct vector_swap_traits { | |
typedef SC storage_category; | |
}; | |
template<> | |
struct vector_swap_traits<dense_proxy_tag, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
template<> | |
struct vector_swap_traits<packed_proxy_tag, sparse_bidirectional_iterator_tag> { | |
typedef sparse_proxy_tag storage_category; | |
}; | |
// Dense (proxy) case | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_swap (V &v, vector_expression<E> &e, dense_proxy_tag) { | |
typedef F<typename V::iterator::reference, typename E::iterator::reference> functor_type; | |
typedef typename V::difference_type difference_type; | |
difference_type size (BOOST_UBLAS_SAME (v.size (), e ().size ())); | |
typename V::iterator it (v.begin ()); | |
typename E::iterator ite (e ().begin ()); | |
while (-- size >= 0) | |
functor_type::apply (*it, *ite), ++ it, ++ ite; | |
} | |
// Packed (proxy) case | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_swap (V &v, vector_expression<E> &e, packed_proxy_tag) { | |
typedef F<typename V::iterator::reference, typename E::iterator::reference> functor_type; | |
typedef typename V::difference_type difference_type; | |
typename V::iterator it (v.begin ()); | |
typename V::iterator it_end (v.end ()); | |
typename E::iterator ite (e ().begin ()); | |
typename E::iterator ite_end (e ().end ()); | |
difference_type it_size (it_end - it); | |
difference_type ite_size (ite_end - ite); | |
if (it_size > 0 && ite_size > 0) { | |
difference_type size ((std::min) (difference_type (it.index () - ite.index ()), ite_size)); | |
if (size > 0) { | |
ite += size; | |
ite_size -= size; | |
} | |
} | |
if (it_size > 0 && ite_size > 0) { | |
difference_type size ((std::min) (difference_type (ite.index () - it.index ()), it_size)); | |
if (size > 0) | |
it_size -= size; | |
} | |
difference_type size ((std::min) (it_size, ite_size)); | |
it_size -= size; | |
ite_size -= size; | |
while (-- size >= 0) | |
functor_type::apply (*it, *ite), ++ it, ++ ite; | |
} | |
// Sparse proxy case | |
template<template <class T1, class T2> class F, class V, class E> | |
// BOOST_UBLAS_INLINE This function seems to be big. So we do not let the compiler inline it. | |
void vector_swap (V &v, vector_expression<E> &e, sparse_proxy_tag) { | |
BOOST_UBLAS_CHECK (v.size () == e ().size (), bad_size ()); | |
typedef F<typename V::iterator::reference, typename E::iterator::reference> functor_type; | |
typedef typename V::size_type size_type; | |
typedef typename V::difference_type difference_type; | |
typedef typename V::value_type value_type; | |
detail::make_conformant (v, e); | |
// FIXME should be a seperate restriction for E | |
detail::make_conformant (e (), v); | |
typename V::iterator it (v.begin ()); | |
typename V::iterator it_end (v.end ()); | |
typename E::iterator ite (e ().begin ()); | |
typename E::iterator ite_end (e ().end ()); | |
if (it != it_end && ite != ite_end) { | |
size_type it_index = it.index (), ite_index = ite.index (); | |
while (true) { | |
difference_type compare = it_index - ite_index; | |
if (compare == 0) { | |
functor_type::apply (*it, *ite); | |
++ it, ++ ite; | |
if (it != it_end && ite != ite_end) { | |
it_index = it.index (); | |
ite_index = ite.index (); | |
} else | |
break; | |
} else if (compare < 0) { | |
increment (it, it_end, - compare); | |
if (it != it_end) | |
it_index = it.index (); | |
else | |
break; | |
} else if (compare > 0) { | |
increment (ite, ite_end, compare); | |
if (ite != ite_end) | |
ite_index = ite.index (); | |
else | |
break; | |
} | |
} | |
} | |
#if BOOST_UBLAS_TYPE_CHECK | |
increment (ite, ite_end); | |
increment (it, it_end); | |
#endif | |
} | |
// Dispatcher | |
template<template <class T1, class T2> class F, class V, class E> | |
BOOST_UBLAS_INLINE | |
void vector_swap (V &v, vector_expression<E> &e) { | |
typedef typename vector_swap_traits<typename V::storage_category, | |
typename E::const_iterator::iterator_category>::storage_category storage_category; | |
vector_swap<F> (v, e, storage_category ()); | |
} | |
}}} | |
#endif |