Instigate Open Source Documentation

---

src/stl/_inner_product.hpp

Go to the documentation of this file.

#ifndef _INSTIGATE_STL_INTERNAL_HEADER_IN_ALGORITHM
#error This is an internal header file used to implement Instigate STL.\
        It should never be included directly by a program.
#endif

#ifndef INSTIGATE_STL_INNER_PRODUCT_HPP
#define INSTIGATE_STL_INNER_PRODUCT_HPP

// headers from this project
#include "concept.hpp"
#include "_basis.hpp"

// headers from other project
#include <generic/base.hpp>

// headers from standard library

// forward declaration
namespace instigate {
        namespace stl {
                template <typename I1, typename I2, typename T>
                T inner_product(I1 b, I1 e, I2 f, T i);

                template <typename I1, typename I2, typename T, 
                                typename BF1, typename BF2>
                T inner_product(I1 b, I1 e, I2 f, T i, BF1 b1, BF2 b2);
        }
}

template <typename I1, typename I2, typename T>
T instigate::stl::inner_product(I1 b, I1 e, I2 f, T i)
{
        namespace SP = instigate::stl::single_pass_iterator;
        namespace RI = instigate::stl::readable_iterator;
        namespace AS = instigate::generic::assignable;
        CHECK(SP::requirements<I1>);
        CHECK(RI::requirements<I1>);
        CHECK(SP::requirements<I2>);
        CHECK(RI::requirements<I2>);
        CHECK(AS::requirements<T>);
        for (; !equal(b, e); increment(b), increment(f)) {
                assign(i, i + ((const_dereference(b)) * 
                                        (const_dereference(f))));
        }
        return i;
} 

template <typename I1, typename I2, typename T, typename BF1, typename BF2>
T instigate::stl::inner_product(I1 b, I1 e, I2 f, T i, BF1 b1, BF2 b2)
{
        namespace SP = instigate::stl::single_pass_iterator;
        namespace RI = instigate::stl::readable_iterator;
        namespace AS = instigate::generic::assignable;
        namespace BFI = instigate::stl::binary_function;
        typedef typename RI::interface<I1>::value_type value_type1;
        typedef typename RI::interface<I2>::value_type value_type2;
        CHECK(SP::requirements<I1>);
        CHECK(RI::requirements<I1>);
        CHECK(SP::requirements<I2>);
        CHECK(RI::requirements<I2>);
        CHECK(AS::requirements<T>);
        CHECK(BFI::requirements<BF1>);
        CHECK(BFI::requirements<BF2>);
        typedef typename BFI::interface<BF1>::first_argument_type 
                                                        first_argument_type1;
        typedef typename BFI::interface<BF1>::second_argument_type 
                                                        second_argument_type1;
        typedef typename BFI::interface<BF2>::first_argument_type 
                                                        first_argument_type2;
        typedef typename BFI::interface<BF2>::second_argument_type 
                                                        second_argument_type2;
        typedef typename BFI::interface<BF2>::result_type result_type;
        CHECK_CONVERTIBILITY(value_type1, first_argument_type2);
        CHECK_CONVERTIBILITY(value_type2, second_argument_type2);
        CHECK_CONVERTIBILITY(T, first_argument_type1);
        CHECK_CONVERTIBILITY(result_type, second_argument_type1);
        CHECK_CONVERTIBILITY(result_type, T);
        for (; !equal(b, e); increment(b), increment(f)) {
                assign(i, invoke(b1, i, invoke(b2, const_dereference(b), 
                                        const_dereference(f))));
        }
        return i;
}

// vim:et:tabstop=8:shiftwidth=8:cindent:fo=croq:textwidth=80:

#endif // INSTIGATE_STL_INNER_PRODUCT_HPP

---

© Instigate CJSC, Open Source