traits.hpp

Go to the documentation of this file.

#pragma once

#include "algo/ad/dual.hpp"
#include "algo/ad/fwd.h"
#include <boost/numeric/ublas/traits.hpp>
#include <boost/numeric/ublas/vector.hpp>
#include <boost/numeric/ublas/vector_expression.hpp>
#include <boost/type_traits/is_base_of.hpp>

namespace algo { namespace ad {
    /*--------------------------------------------------------------------------
     * is_scalar
     *------------------------------------------------------------------------*/
    template <typename T> 
    struct is_scalar 
    : boost::mpl::bool_<boost::is_scalar<T>::value> {
    };
    /*--------------------------------------------------------------------------
     * is_vector
     *------------------------------------------------------------------------*/
    template <typename T> 
    struct is_vector 
    : boost::mpl::bool_<
        boost::is_base_of<boost::numeric::ublas::vector_expression<T>, T>::value> {
    };
    /*--------------------------------------------------------------------------
     * is_dual
     *------------------------------------------------------------------------*/
    template <typename T>
    struct is_scalar_dual 
    : boost::mpl::bool_<boost::is_base_of<dual_expression<T>, T>::value> 
    {
    };
    template <typename T>
    struct is_vector_dual<T, true> 
    : boost::mpl::bool_<is_scalar_dual<typename T::value_type>::value> {
    };
    template <typename T>
    struct is_vector_dual<T, false> : boost::mpl::bool_<false> {
    };
    template <typename T>
    struct is_dual : boost::mpl::bool_<
         boost::mpl::or_<
             is_vector_dual<T>, 
             is_scalar_dual<T> >::value> {
    };
    /*--------------------------------------------------------------------------
     * const_closure_type_traits
     *------------------------------------------------------------------------*/
    template <typename T>
    struct const_closure_type_traits_impl<T, false> {
        typedef T type;
    };
    template <typename T>
    struct const_closure_type_traits_impl<T, true> {
        typedef const T& type;
    };
    template <typename T>
    struct const_closure_type_traits : public const_closure_type_traits_impl<T> {
    };
} } // namespace algo { namespace ad {