boost::type_erasure::is_subconcept< Sub, Super, PlaceholderMap > Struct Template Reference

is_subconcept is a boolean metafunction that determines whether one concept is a sub-concept of another. More...

#include <is_subconcept.hpp>

Inheritance diagram for boost::type_erasure::is_subconcept< Sub, Super, PlaceholderMap >:

Collaboration diagram for boost::type_erasure::is_subconcept< Sub, Super, PlaceholderMap >:

Detailed Description

template<class Sub, class Super, class PlaceholderMap = void>
struct boost::type_erasure::is_subconcept< Sub, Super, PlaceholderMap >

is_subconcept is a boolean metafunction that determines whether one concept is a sub-concept of another.

is_subconcept<incrementable<>, incrementable<> >             -> true
is_subconcept<incrementable<>, addable<> >                   -> false
is_subconcept<incrementable<_a>, forward_iterator<_iter>,
  mpl::map<mpl::pair<_a, _iter> > >                          -> true

Template Parameters

Sub	The sub concept
Super	The super concept
PlaceholderMap	(optional) An MPL map with keys for every non-deduced placeholder in Sub. The associated value of each key is the corresponding placeholder in Super. If PlaceholderMap is omitted, Super and Sub are presumed to use the same set of placeholders.

---

The documentation for this struct was generated from the following file:

• boost_1_57_0/boost/type_erasure/is_subconcept.hpp