forked from boostorg/concept_check
Minor doc updates
This commit is contained in:
@ -72,7 +72,7 @@
|
||||
<li>A mechanism for inserting compile-time checks on template parameters
|
||||
at their point of use.</li>
|
||||
|
||||
<li>A framework for specifying concept requirements though concept
|
||||
<li>A framework for specifying concept requirements through concept
|
||||
checking classes.</li>
|
||||
|
||||
<li>A mechanism for verifying that concept requirements cover the
|
||||
|
@ -51,8 +51,8 @@ struct EqualityComparable;
|
||||
</pre>
|
||||
|
||||
<p>The template argument is the type to be checked. That is, the purpose of
|
||||
<tt>EqualityComparable<<em>X</em>></tt> is to make sure that
|
||||
<tt><em>X</em></tt> models the EqualityComparable concept.</p>
|
||||
<tt>EqualityComparable<<em>T</em>></tt> is to make sure that
|
||||
<tt><em>T</em></tt> models the EqualityComparable concept.</p>
|
||||
|
||||
<h4><tt>BOOST_CONCEPT_ASSERT()</tt></h4>
|
||||
|
||||
@ -112,9 +112,9 @@ int main() {
|
||||
a sequence of adjacent concept checking template specializations,
|
||||
<strong>in double parentheses</strong>, and the function's return type must
|
||||
also be parenthesized. For example, the standard <code>stable_sort</code>
|
||||
algorithm might be declared as follows: class</p>
|
||||
algorithm might be declared as follows: </p>
|
||||
<pre>
|
||||
template<typename RanIter>
|
||||
template <class RanIter>
|
||||
BOOST_CONCEPT_REQUIRES(
|
||||
((Mutable_RandomAccessIterator<RanIter>))
|
||||
((LessThanComparable<typename Mutable_RandomAccessIterator<RanIter>::value_type>)),
|
||||
|
Reference in New Issue
Block a user