Struct template is_subconcept
boost::type_erasure::is_subconcept
Synopsis
template<typename Sub, typename Super, typename PlaceholderMap = void>
struct is_subconcept {
};Description
является подконцепцией— булева метафункция, определяющая, является ли одно понятие подпонятием другого.
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
- typenameSub
Субконцепция
[ORIG_END] -->[ORIG_END] --> Супермена
typenameSuperСуперконцепция
[ORIG_END] -->[ORIG_END] -->(факультативно) Карта MPL , ключи , , , , . Сопутствующий излучателю электоральный уровень, равный сальдо, - соответствующий градусу.PlaceholderMapPlaceholderMapSuperиSubSub[скрыто].
[ORIG_END] -->