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_ */