create_vmpl_sequence.hpp

/*
 * mpl_sequence.hpp
 *
 * Set of classes to create an mpl::vector with a filled sequence
 *
 *  Created on: Aug 27, 2014
 *      Author: Pietro Incardona
 */

#ifndef MPL_SEQUENCE_HPP
#define MPL_SEQUENCE_HPP

#include <boost/mpl/int.hpp>
#include <boost/mpl/reverse.hpp>

template<int c,int end>
struct exit_impl : boost::mpl::equal_to<boost::mpl::int_<c>,boost::mpl::int_<end>>
{};

template<class H, int c , int end, bool exit>
struct to_variadic_impl
{
   typedef typename exit_impl<c,end>::type exit_;
   typedef typename boost::mpl::push_back<H,boost::mpl::int_<c>> v;
   typedef typename to_variadic_impl<v,c+1,end,exit_::value>::type type;
};


template<template<typename> class H,typename F,typename L>
struct to_variadic_impl<H,F,L,true>
{
   typedef H type;
};

template<typename Seq>
struct seq_traits_impl
{
   typedef typename boost::mpl::begin<Seq>::type first_;
   typedef typename boost::mpl::end<Seq>::type last_;
   typedef typename exit_impl<first_,last_>::type exit_;
};

template<unsigned int N, unsigned int M>
struct to_int_sequence
{
    typedef typename exit_impl<N,M>::type exit_;

    typedef boost::mpl::vector<boost::mpl::int_<N>> vi;

    typedef typename to_variadic_impl<vi,N+1,M,exit_::value >::type type;
};


#endif