diff options
Diffstat (limited to 'doc/html/boost_typeerasure/conceptdef.html')
-rw-r--r-- | doc/html/boost_typeerasure/conceptdef.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/html/boost_typeerasure/conceptdef.html b/doc/html/boost_typeerasure/conceptdef.html index 03a8f45d81..dc211a67f8 100644 --- a/doc/html/boost_typeerasure/conceptdef.html +++ b/doc/html/boost_typeerasure/conceptdef.html @@ -28,7 +28,7 @@ </h2></div></div></div> <p> A Concept defines a set of constraints on the types that are stored in an - <code class="computeroutput"><a class="link" href="../boost/type_erasure/any.html" title="Class template any">any</a></code>. + <code class="computeroutput">any</code>. </p> <p> There are three kinds of concepts. @@ -54,7 +54,7 @@ Each primitive concept defines a single function. A primitive concept must be a specialization of a class template, with a static member function called <code class="computeroutput"><span class="identifier">apply</span></code>, which will be executed - when the function is dispatched by <code class="computeroutput"><a class="link" href="../boost/type_erasure/call_idp150247888.html" title="Function call">call</a></code>. + when the function is dispatched by <code class="computeroutput"><a class="link" href="../boost/type_erasure/call_idp304107712.html" title="Function call">call</a></code>. The template can only take template type parameters. non-type template parameters and template template parameters are not allowed. </p> @@ -76,8 +76,8 @@ Any other placeholders are ignored. </p> <p> - A concept is instantiated by constructing an <code class="computeroutput"><a class="link" href="../boost/type_erasure/any.html" title="Class template any">any</a></code> - from a raw value or by constructing a <code class="computeroutput"><a class="link" href="../boost/type_erasure/binding.html" title="Class template binding">binding</a></code>. + A concept is instantiated by constructing an <code class="computeroutput">any</code> + from a raw value or by constructing a <code class="computeroutput">binding</code>. When a concept is instantiated with a specific set of type bindings, each placeholder is bound to a cv-unqualified non-reference type. After replacing each placeholder in the template argument list with the type that it binds to, the following |