OKlibrary  0.2.1.6
ConceptsMetafunctions.hpp File Reference

Metafunctions concerning the relations between concepts, concept tags and models; used mainly internally. More...

#include <tr1/type_traits>
#include <boost/mpl/if.hpp>
#include <boost/mpl/or.hpp>
#include <boost/mpl/and.hpp>
#include <boost/type_traits.hpp>
#include <boost/mpl/has_xxx.hpp>
#include <OKlib/Programming/MetaProgramming/Logical.hpp>
#include <OKlib/Concepts/ConceptsBase.hpp>
#include <OKlib/Concepts/traits/concept_tag.hpp>

Go to the source code of this file.

Classes

class  OKlib::Concepts::IsTagModel< T, concept_tag >
 Boolean metafunction: IsTagModel<T, tag> is true iff the concept tag of T is derived from (or equal to) tag. More...
class  OKlib::Concepts::IsConceptTag< Tag >
 Boolean metafunction: IsConceptTag<Tag> is true iff Tag is strictly derived from OKlib::Concepts::ConceptsBase_tag. More...
struct  OKlib::Concepts::implementation_has_concept_tag::is_concept_tag
struct  OKlib::Concepts::implementation_has_concept_tag::is_concept_tag< true, T >
class  OKlib::Concepts::HasConceptTag< T >
 Boolean metafunction: HasConceptTag<T> is true iff T has a nested type concept_tag which is a concept tag. More...

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::Concepts
 

Concept definitions and accompanying generic tests.


namespace  OKlib::Concepts::implementation_has_concept_tag

Functions

 OKlib::Concepts::implementation_has_concept_tag::BOOST_MPL_HAS_XXX_TRAIT_DEF (type) template< bool has_concept_tag

Detailed Description

Metafunctions concerning the relations between concepts, concept tags and models; used mainly internally.

Definition in file ConceptsMetafunctions.hpp.