All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
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