roboptim::detail::is_compatible_list< CLIST_, CLIST > Struct Template Reference

Check that CLIST_ is a subset of CLIST (i.e. More...

#include <roboptim/core/detail/utility.hh>

Public Types

typedef boost::mpl::fold< CLIST_, boost::mpl::bool_< true >, boost::mpl::if_< contains_base_of< CLIST, boost::mpl::_2 >, boost::mpl::_1, boost::mpl::bool_< false > > >::type type
 

Detailed Description

template<typename CLIST_, typename CLIST>
struct roboptim::detail::is_compatible_list< CLIST_, CLIST >

Check that CLIST_ is a subset of CLIST (i.e.

all the functions of CLIST_ derive from functions of CLIST).

Template Parameters
CLIST_a vector of constraint types.
CLISTa vector of constraint types.

Member Typedef Documentation

template<typename CLIST_ , typename CLIST >
typedef boost::mpl::fold<CLIST_, boost::mpl::bool_<true>, boost::mpl::if_< contains_base_of<CLIST,boost::mpl::_2>, boost::mpl::_1, boost::mpl::bool_<false> > >::type roboptim::detail::is_compatible_list< CLIST_, CLIST >::type