src/lemon/concept_check.h
changeset 989 ca95f8b5c931
parent 986 e997802b855c
child 1022 567f392d1d2e
     1.1 --- a/src/lemon/concept_check.h	Sat Nov 13 17:47:44 2004 +0000
     1.2 +++ b/src/lemon/concept_check.h	Sat Nov 13 21:37:54 2004 +0000
     1.3 @@ -39,6 +39,11 @@
     1.4  #endif
     1.5    }
     1.6  
     1.7 +  template <typename Concept, typename Type>
     1.8 +  inline void checkConcept() {
     1.9 +    function_requires<typename Concept::template Constraints<Type> >();
    1.10 +  }
    1.11 +
    1.12  #define BOOST_CLASS_REQUIRE(type_var, ns, concept) \
    1.13    typedef void (ns::concept <type_var>::* func##type_var##concept)(); \
    1.14    template <func##type_var##concept Tp1_> \