has_pack_agg.hpp

/*
 * has_pack_agg.hpp
 *
 *  Created on: Feb 10, 2016
 *      Author: yaroslav
 */

#ifndef SRC_PACKER_UNPACKER_HAS_PACK_AGG_HPP_
#define SRC_PACKER_UNPACKER_HAS_PACK_AGG_HPP_

#include "prp_all_zero.hpp"
#include "Vector/vect_isel.hpp"
#include "Vector/util.hpp"

#include <boost/fusion/mpl.hpp>


template<class T, size_t N , typename result_p ,class vprp>
struct is_complex_agg_impl
{
    typedef typename boost::mpl::at<vprp,typename boost::mpl::int_<N-1>>::type vprp_N;
    typedef typename boost::mpl::at<typename T::type,vprp_N>::type stype;

    typedef boost::mpl::int_<(is_vector<stype>::value ||
                                  is_vector_dist<stype>::value ||
                                  is_gpu_celllist<stype>::value)> crh_cond;

    typedef typename boost::mpl::bool_< crh_cond::value | result_p::value> result_n;
    typedef typename is_complex_agg_impl<T,N-1,result_n,vprp>::result result;
};

template<class T, typename result_p, class vprp>
struct is_complex_agg_impl<T,0,result_p,vprp>
{
    typedef boost::mpl::bool_<result_p::value> result;
//    typedef std::vector<result_p::value> fail;
};


template<class T, size_t N , typename result_p ,class vprp>
struct has_pack_agg_impl
{
    typedef typename boost::mpl::at<vprp,typename boost::mpl::int_<N-1>>::type vprp_N;
    typedef typename boost::mpl::at<typename T::type,vprp_N>::type stype;
    typedef typename boost::mpl::bool_<has_pack<stype>::value | result_p::value> result_n;
    typedef typename has_pack_agg_impl<T,N-1,result_n,vprp>::result result;
};

template<class T, typename result_p, class vprp>
struct has_pack_agg_impl<T,0,result_p,vprp>
{
    typedef boost::mpl::bool_<result_p::value> result;
//    typedef std::vector<result_p::value> fail;
};

template<typename T, int np>
struct number_prop
{
    enum
    {
        value = np
    };
};

template<typename T>
struct number_prop<T,0>
{
    enum
    {
        value = T::max_prop
    };
};

template<class T, int ... prp>
struct has_pack_agg
{
    typedef typename prp_all_zero<T,sizeof...(prp) == 0,prp...>::type vprp;

    typedef typename has_pack_agg_impl<T,number_prop<T,sizeof ... (prp)>::value, boost::mpl::bool_<false> , vprp>::result result;
};

template<class T, int ... prp>
struct is_complex_agg
{
    typedef typename prp_all_zero<T,sizeof...(prp) == 0,prp...>::type vprp;

    typedef typename is_complex_agg_impl<T,number_prop<T,sizeof ... (prp)>::value, boost::mpl::bool_<false> , vprp>::result result;
};

template<class T, unsigned int sel = openfpm::vect_isel<T>::value == OPENFPM_NATIVE>
struct has_pack_gen
{
    enum
    {
        value = has_pack_agg<T>::result::value
    };
};

template<class T>
struct has_pack_gen<T, false>
{
    enum
    {
        value = has_pack<T>::type::value
    };
};


#endif /* SRC_PACKER_UNPACKER_HAS_PACK_AGG_HPP_ */