diff --git a/bibliography.htm b/bibliography.htm index 267f6c1..2c42925 100644 --- a/bibliography.htm +++ b/bibliography.htm @@ -1,17 +1,10 @@ - + + + + -Boost Graph Library: Bibliography +Boost Concept Checking Library: Bibliography -# include +# include # include namespace fake diff --git a/include/boost/concept/where.hpp b/include/boost/concept/requires.hpp similarity index 100% rename from include/boost/concept/where.hpp rename to include/boost/concept/requires.hpp diff --git a/reference.htm b/reference.htm index f5dd9d9..0e1797b 100644 --- a/reference.htm +++ b/reference.htm @@ -66,6 +66,23 @@ BOOST_CONCEPT_ASSERT((concept checking class template specialization)); Note: this macro can be used at global, class, or function scope.

+ 
+#include "boost/concept/requires.hpp"
+
+template <…template parameters…>
+BOOST_CONCEPT_REQUIRES(
+  ((concept checking class template specialization1)) 
+  ((concept checking class template specialization2))… 
+  ((concept checking class template specializationn)),
+  (function return type)
+) function_template_name(…function parameters…)
+
+ +

Effects: causes a compilation failure if the + given concepts are not satisfied.
+ Note: this macro is intended to be used in place of + a function template's return type.

+

Basic Concept Checking Classes