Boost  v1.57.0
doxygen for www.boost.org
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Types | List of all members
boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap > Struct Template Reference

#include <is_subconcept.hpp>

Public Types

typedef
::boost::type_erasure::detail::normalize_concept
< Super >::concept_set 		super_set
 
typedef
::boost::type_erasure::detail::get_placeholder_normalization_map
< Super >::type 		placeholder_subs_super
 
typedef
::boost::type_erasure::detail::normalize_concept
< Sub >::type 		normalized_sub
 
typedef
::boost::type_erasure::detail::get_placeholder_normalization_map
< Sub >::type 		placeholder_subs_sub
 
typedef ::boost::mpl::eval_if
< ::boost::is_same
< PlaceholderMap, void >
, boost::mpl::identity< void >
,::boost::type_erasure::detail::convert_deductions
< PlaceholderMap,
placeholder_subs_sub,
placeholder_subs_super >
>::type 		bindings
 
typedef ::boost::mpl::if_
< ::boost::is_same
< PlaceholderMap, void >
,::boost::mpl::_1,::boost::type_erasure::detail::rebind_placeholders
< ::boost::mpl::_1, bindings >
>::type 		transform
 
typedef ::boost::is_same
< typename::boost::mpl::find_if
< normalized_sub,::boost::mpl::not_
< ::boost::mpl::has_key
< super_set, transform >
> >::type,
typename::boost::mpl::end
< normalized_sub >::type >
::type 		type
 

Member Typedef Documentation

template<class Sub, class Super, class PlaceholderMap>
typedef ::boost::mpl::eval_if< ::boost::is_same<PlaceholderMap, void>, boost::mpl::identity<void>, ::boost::type_erasure::detail::convert_deductions< PlaceholderMap, placeholder_subs_sub, placeholder_subs_super > >::type boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap >::bindings
template<class Sub, class Super, class PlaceholderMap>
typedef ::boost::type_erasure::detail::normalize_concept< Sub>::type boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap >::normalized_sub
template<class Sub, class Super, class PlaceholderMap>
typedef ::boost::type_erasure::detail::get_placeholder_normalization_map< Sub >::type boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap >::placeholder_subs_sub
template<class Sub, class Super, class PlaceholderMap>
typedef ::boost::type_erasure::detail::get_placeholder_normalization_map< Super >::type boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap >::placeholder_subs_super
template<class Sub, class Super, class PlaceholderMap>
typedef ::boost::type_erasure::detail::normalize_concept< Super>::concept_set boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap >::super_set
template<class Sub, class Super, class PlaceholderMap>
typedef ::boost::mpl::if_< ::boost::is_same<PlaceholderMap, void>, ::boost::mpl::_1, ::boost::type_erasure::detail::rebind_placeholders< ::boost::mpl::_1, bindings > >::type boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap >::transform
template<class Sub, class Super, class PlaceholderMap>
typedef ::boost::is_same< typename ::boost::mpl::find_if<normalized_sub, ::boost::mpl::not_< ::boost::mpl::has_key< super_set, transform > > >::type, typename ::boost::mpl::end<normalized_sub>::type >::type boost::type_erasure::detail::is_subconcept_impl< Sub, Super, PlaceholderMap >::type
The documentation for this struct was generated from the following file: