equal
deleted
inserted
replaced
56 template <class Concept> |
56 template <class Concept> |
57 inline void function_requires() |
57 inline void function_requires() |
58 { |
58 { |
59 #if !defined(NDEBUG) |
59 #if !defined(NDEBUG) |
60 void (Concept::*x)() = & Concept::constraints; |
60 void (Concept::*x)() = & Concept::constraints; |
61 ignore_unused_variable_warning(x); |
61 ::lemon::ignore_unused_variable_warning(x); |
62 #endif |
62 #endif |
63 } |
63 } |
64 |
64 |
65 ///\e |
65 ///\e |
66 template <typename Concept, typename Type> |
66 template <typename Concept, typename Type> |
67 inline void checkConcept() { |
67 inline void checkConcept() { |
68 #if !defined(NDEBUG) |
68 #if !defined(NDEBUG) |
69 typedef typename Concept::template Constraints<Type> ConceptCheck; |
69 typedef typename Concept::template Constraints<Type> ConceptCheck; |
70 void (ConceptCheck::*x)() = & ConceptCheck::constraints; |
70 void (ConceptCheck::*x)() = & ConceptCheck::constraints; |
71 ignore_unused_variable_warning(x); |
71 ::lemon::ignore_unused_variable_warning(x); |
72 #endif |
72 #endif |
73 } |
73 } |
74 |
74 |
75 } // namespace lemon |
75 } // namespace lemon |
76 |
76 |