check_match.hpp File Reference

#include <boost/mpl/vector.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/is_sequence.hpp>
#include <boost/mpl/find_if.hpp>
#include <boost/mpl/not.hpp>
#include <boost/mpl/end.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/iteration/iterate.hpp>
#include <boost/preprocessor/repetition/repeat.hpp>
#include <boost/preprocessor/repetition/enum_params.hpp>
#include <boost/preprocessor/repetition/enum_trailing_params.hpp>
#include <boost/preprocessor/repetition/enum_trailing_binary_params.hpp>
#include <boost/type_erasure/detail/extract_concept.hpp>
#include <boost/type_erasure/relaxed.hpp>
#include <boost/type_erasure/detail/access.hpp>

Include dependency graph for check_match.hpp:

This graph shows which files directly or indirectly include this file:

Classes
struct	boost::type_erasure::typeid_< T >
	Enables runtime type information. More...
singleton	boost::type_erasure::binding< Concept >
	Stores the binding of a Concept to a set of actual types. More...
struct	boost::type_erasure::detail::should_check< Concept, T >

Namespaces
	boost
	Duration formatting facet for input.
	boost::type_erasure
	boost::type_erasure::detail

Functions
template<class P , class T , class Table >
bool	boost::type_erasure::detail::maybe_check_table (const T &arg, const Table *&table, boost::mpl::true_)
template<class P , class T , class Table >
bool	boost::type_erasure::detail::maybe_check_table (const T &, const Table *&, boost::mpl::false_)
template<class Concept >
bool	boost::type_erasure::detail::check_table (const ::boost::type_erasure::binding< Concept > *t, void(*)())
template<class Concept , class R , class T0 , class... T, class U0 , class... U>
bool	boost::type_erasure::detail::check_table (const ::boost::type_erasure::binding< Concept > *t, R(*)(T0, T...), const U0 &arg0, const U &...arg)
template<class Concept , class Op , class... U>
bool	boost::type_erasure::check_match (const ::boost::type_erasure::binding< Concept > &table, const Op &, U &&...arg)
template<class Op , class... U>
bool	boost::type_erasure::check_match (const Op &, U &&...arg)