Boost  v1.57.0
doxygen for www.boost.org
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Types | Public Member Functions | List of all members
boost::parameter::aux::deduce_tag0< Argument, ArgumentPack, DeducedArgs, UsedArgs, TagFn > Struct Template Reference

#include <parameters.hpp>

Public Types

typedef DeducedArgs::spec spec
 
typedef mpl::apply_wrap2
< typename mpl::lambda
< typename spec::predicate,
lambda_tag >::type, Argument,
ArgumentPack >::type 		condition
 
typedef mpl::eval_if
< condition, tag_deduced
< UsedArgs, spec, Argument,
TagFn >, deduce_tag< Argument,
ArgumentPack, typename
DeducedArgs::tail, UsedArgs,
TagFn > >::type 		type
 

Public Member Functions

 BOOST_MPL_ASSERT ((mpl::not_< mpl::and_< condition, aux::has_key_< UsedArgs, typename tag_type< spec >::type > > >))
 

Member Typedef Documentation

template<class Argument , class ArgumentPack , class DeducedArgs , class UsedArgs , class TagFn >
typedef mpl::apply_wrap2< typename mpl::lambda< typename spec::predicate, lambda_tag >::type , Argument , ArgumentPack >::type boost::parameter::aux::deduce_tag0< Argument, ArgumentPack, DeducedArgs, UsedArgs, TagFn >::condition
template<class Argument , class ArgumentPack , class DeducedArgs , class UsedArgs , class TagFn >
typedef DeducedArgs::spec boost::parameter::aux::deduce_tag0< Argument, ArgumentPack, DeducedArgs, UsedArgs, TagFn >::spec
template<class Argument , class ArgumentPack , class DeducedArgs , class UsedArgs , class TagFn >
typedef mpl::eval_if< condition , tag_deduced<UsedArgs, spec, Argument, TagFn> , deduce_tag<Argument, ArgumentPack, typename DeducedArgs::tail, UsedArgs, TagFn> >::type boost::parameter::aux::deduce_tag0< Argument, ArgumentPack, DeducedArgs, UsedArgs, TagFn >::type

Member Function Documentation

template<class Argument , class ArgumentPack , class DeducedArgs , class UsedArgs , class TagFn >
boost::parameter::aux::deduce_tag0< Argument, ArgumentPack, DeducedArgs, UsedArgs, TagFn >::BOOST_MPL_ASSERT ( (mpl::not_< mpl::and_< condition, aux::has_key_< UsedArgs, typename tag_type< spec >::type > > >)  )
The documentation for this struct was generated from the following file: