Boost-Commit :

Date view	Thread view	Subject view	Author view

Subject: [Boost-commit] svn:boost r65754 - in sandbox/opaque/libs/opaque/doc: . html
From: vicente.botet_at_[hidden]
Date: 2010-10-04 16:37:59

Next message: vicente.botet_at_[hidden]: "[Boost-commit] svn:boost r65755 - sandbox/opaque/boost/opaque/meta_mixin"
Previous message: vicente.botet_at_[hidden]: "[Boost-commit] svn:boost r65753 - in sandbox/opaque/libs/opaque/test: . new_class"

Author: viboes
Date: 2010-10-04 16:37:53 EDT (Mon, 04 Oct 2010)
New Revision: 65754
URL: http://svn.boost.org/trac/boost/changeset/65754

Log:
Opaque:
* Add more documentation

Text files modified:
   sandbox/opaque/libs/opaque/doc/html/index.html | 4195 ++++++++++++++++++++++++++++++++-------
   sandbox/opaque/libs/opaque/doc/opaque.qbk | 491 +++-
   2 files changed, 3818 insertions(+), 868 deletions(-)

Modified: sandbox/opaque/libs/opaque/doc/html/index.html
==============================================================================
--- sandbox/opaque/libs/opaque/doc/html/index.html (original)
+++ sandbox/opaque/libs/opaque/doc/html/index.html 2010-10-04 16:37:53 EDT (Mon, 04 Oct 2010)
@@ -27,7 +27,7 @@
</h3></div></div></div>
<div>Copyright © 2010 Vicente J. Botet Escriba</div>
<div><div class="legalnotice">
-<a name="id4987066"></a>
+<a name="id4946181"></a>
 Distributed under the Boost Software License, Version 1.0. (See accompanying
 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 
@@ -109,7 +109,7 @@
<dt>Description</dt>
</dl></div>
<a name="boost.opaque.overview.how_to_use_this_documentation"></a><h3>
-<a name="id4948562"></a>
+<a name="id4948613"></a>
 <a href="index.html#boost.opaque.overview.how_to_use_this_documentation">How to
 Use This Documentation</a>
 </h3>
@@ -283,7 +283,7 @@
 Installing Boost.Opaque</a>
</h4></div></div></div>
<a name="boost.opaque.users_guide.getting_started.install.getting_boost_opaque"></a><h5>
-<a name="id4949134"></a>
+<a name="id4987337"></a>
 <a href="index.html#boost.opaque.users_guide.getting_started.install.getting_boost_opaque">Getting
 Boost.Opaque</a>
 </h5>
@@ -297,7 +297,7 @@
 Sandbox</a>.
 
<a name="boost.opaque.users_guide.getting_started.install.building_boost_opaque"></a><h5>
-<a name="id4949194"></a>
+<a name="id4987398"></a>
 <a href="index.html#boost.opaque.users_guide.getting_started.install.building_boost_opaque">Building
 Boost.Opaque</a>
 </h5>
@@ -307,7 +307,7 @@
 in your compiler include path.
 
<a name="boost.opaque.users_guide.getting_started.install.requirements"></a><h5>
-<a name="id4949227"></a>
+<a name="id4987430"></a>
 <a href="index.html#boost.opaque.users_guide.getting_started.install.requirements">Requirements</a>
 </h5>

@@ -315,7 +315,7 @@
 (and all libraries it depends on).
 
<a name="boost.opaque.users_guide.getting_started.install.exceptions_safety"></a><h5>
-<a name="id4949258"></a>
+<a name="id4987461"></a>
 <a href="index.html#boost.opaque.users_guide.getting_started.install.exceptions_safety">Exceptions
 safety</a>
 </h5>
@@ -324,7 +324,7 @@
 of exception safety as long as the underlying parameters provide it.
 
<a name="boost.opaque.users_guide.getting_started.install.thread_safety"></a><h5>
-<a name="id4949284"></a>
+<a name="id4987488"></a>
 <a href="index.html#boost.opaque.users_guide.getting_started.install.thread_safety">Thread
 safety</a>
 </h5>
@@ -332,7 +332,7 @@
 All functions in the library are thread-unsafe except when noted explicitly.
 
<a name="boost.opaque.users_guide.getting_started.install.tested_compilers"></a><h5>
-<a name="id4949310"></a>
+<a name="id4987513"></a>
 <a href="index.html#boost.opaque.users_guide.getting_started.install.tested_compilers">Tested
 compilers</a>
 </h5>
@@ -428,10 +428,10 @@
 stored on a sorted container.
 
<pre class="programlisting">struct Identifier_tag;
-typedef boost::opaque::new_type< int, Identifier_tag,
+typedef boost::opaque::new_type< int, Identifier_tag,
 boost::mpl::vector<
 opaque::using_totally_ordered1
- >
+ >
> Identifier;
</pre>

@@ -487,10 +487,10 @@
 user needs to add yet some specific methods, this tag is no more necessary
 as we need to define already a new class.
 
-<pre class="programlisting">class Identifier : boost::opaque::new_class<Identifier, int,
+<pre class="programlisting">class Identifier : boost::opaque::new_class<Identifier, int,
 boost::mpl::vector<
 opaque::using_totally_ordered1
- >
+ >
{
 void print();
 // ...
@@ -543,7 +543,7 @@
Bool f(Int a, Int b)
{
 if(cnd()) return 0; // 1
- else return a > b;
+ else return a > b;
}
</pre>

@@ -556,8 +556,8 @@

Bool f(Int a, Int b)
{
- if(cnd()) return 0; // (1) Error
- else return a > b; // (2) Error
+ if(cnd()) return 0; // (1) Error
+ else return a > b; // (2) Error
}
</pre>

@@ -568,7 +568,7 @@
<pre class="programlisting">Bool f(Int a, Int b)
{
 if(cnd()) return opaque::false_; // OK
- else return a > b; // (2) Error
+ else return a > b; // (2) Error
}
</pre>

@@ -586,7 +586,7 @@
 
<pre class="programlisting">struct Int_tag;
typedef boost::opaque::new_type<int, Int_tag, boost::mpl::vector<
- opaque::using_integer_like<opaque::boolean>
+ opaque::using_integer_like<opaque::boolean>
> > Int;
</pre>

@@ -643,11 +643,26 @@
 already do that for all the built-in types.
 
</div>
-<div class="section" lang="en"><div class="titlepage"><div><div><h4 class="title">
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.users_guide.tutorial.explicit_versus_implicit_conversions_to_the_ut"></a><a href="index.html#boost.opaque.users_guide.tutorial.explicit_versus_implicit_conversions_to_the_ut" title="Explicit
 versus Implicit Conversions to the UT">Explicit
 versus Implicit Conversions to the UT</a>
-</h4></div></div></div></div>
+</h4></div></div></div>
+
+ Opaque typedef are explicitly convertible to the underlying type. But are
+ they implicitly convertible? It depends. So the library provide two kind
+ of opaque typedef :
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ public opaque typedef: implicit conversion to the underlying type
+ </li>
+<li>
+ public opaque typedef: explict conversion to the underlying type
+ </li>
+</ul></div>
+</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.users_guide.tutorial.hiding_inherited_operations"></a><a href="index.html#boost.opaque.users_guide.tutorial.hiding_inherited_operations" title="Hiding
@@ -675,25 +690,65 @@
))
</pre>
</div>
-<div class="section" lang="en"><div class="titlepage"><div><div><h4 class="title">
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.users_guide.tutorial.underlying_types_hierarchy"></a><a href="index.html#boost.opaque.users_guide.tutorial.underlying_types_hierarchy" title="Underlying
 types hierarchy">Underlying
 types hierarchy</a>
-</h4></div></div></div></div>
-<div class="section" lang="en"><div class="titlepage"><div><div><h4 class="title">
+</h4></div></div></div>
+
+ Opaque and underlying types form a hierarchy with a implicit or explicit
+ conversion from the OT to the UT. This convertibility is a relation. It
+ seems natural that this relation satisfy the transitivity property.
+ 
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.users_guide.tutorial.using_udt_as_underlying_types"></a><a href="index.html#boost.opaque.users_guide.tutorial.using_udt_as_underlying_types" title="Using
 UDT as Underlying types">Using
 UDT as Underlying types</a>
-</h4></div></div></div></div>
+</h4></div></div></div>
+
+ Talk about the problem with direct data access that can not be wrapped
+ by the underlying type.
+ 
+
+ For example we can access the fisrt field of the UT pair, but the OT can
+ not give this access. Instead the OT could define some function accessors
+ that inderectly will almost behave as the data member.
+ 
+</div>
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h3 class="title">
<a name="boost.opaque.users_guide.examples"></a>Examples
</h3></div></div></div>
<div class="toc"><dl><dt>Identifier</dt></dl></div>
-<div class="section" lang="en"><div class="titlepage"><div><div><h4 class="title">
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.users_guide.examples.identifier"></a>Identifier
-</h4></div></div></div></div>
+</h4></div></div></div>
+
+ One of the use cases that were at the origin of this library was to be
+ able to define different identifiers that can be stored on a ordered container.
+ 
+
+ The following template IdentifierGenarator can be used for this propose
+ 
+<pre class="programlisting">template <typename UT, typename Tag>
+struct IdentifierGenarator
+{
+ typedef boost::opaque::new_type<UT, Tag,
+ boost::mpl::vector<boost::opaque::using::less_than_comparable> type;
+};
+</pre>
+
+ The class can be used as follows
+ 
+<pre class="programlisting">struct ConnectionIdentifierTag {};
+typedef IdentifierGenarator<int, ConnectionIdentifierTag>::type ConnectionIdentifier;
+</pre>
+</div>
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h3 class="title">
@@ -784,21 +839,21 @@
<dd><dl>
<dt> Concepts</dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.linear_hierarchy_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/linear_hierarchy.hpp></code></a></dt>
-<dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/inherited_from_undelying.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/linear_hierarchy.hpp></code></a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/inherited_from_underlying.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/using_operators.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/using_operators.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.hiding_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/hiding_operators.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/hiding_operators.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_combined_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/using_combined_operators.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/using_combined_operators.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.hiding_combined_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/hiding_combined_operators.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/hiding_combined_operators.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/transitive_substituable.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/transitive_substituable.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/transitive_explicit_substituable.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/transitive_explicit_substituable.hpp></code></a></dt>
</dl></dd>
</dl></div>
<div class="section" lang="en">
@@ -859,22 +914,48 @@
 Template new_class<>"> Class
 Template <code class="computeroutput">new_class<></code></a>
</h4></div></div></div>
+
+ <code class="computeroutput">new_class<></code>
+ wraps an underlying type providing the regular constructors and copy construction
+ from the underlying type and all the convertibles to the the UT.
+ 
+
+ Resuming:
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ Can instances of UT be explicitly converted to instances of OT? Yes
+ </li>
+<li>
+ Can instances of convertible to UT be explicitly converted to instances
+ of OT? Yes
+ </li>
+<li>
+ Can instances of UT be implicitly converted to instances of OT? No
+ </li>
+<li>
+ Can instances of OT be explicitly converted to instances of UT? No
+ </li>
+<li>
+ Can instances of OT be implicitly converted to instances of UT? No
+ </li>
+</ul></div>
<pre class="programlisting">template <
 typename Final,
- typename T,
- typename MetaMixinSeq=boost::mpl::vector0<>,
- typename Base=base_new_type
+ typename UT,
+ typename MetaMixinSeq,
+ typename Base
>
class new_class : public linear_hierarchy<MetaMixinSeq, Final, Base>::type
{
public:
- typedef T underlying_type;
+ typedef UT underlying_type;

 template <typename W>
 explicit new_class(W v);
 new_class();
 new_class(const new_class & rhs);
- explicit new_class(T v);
+ explicit new_class(underlying_type v);
protected:
 T val_;
 new_class & operator=(const new_class & rhs);
@@ -896,6 +977,27 @@

};
</pre>
+
+ Requirements
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ <code class="computeroutput">UT</code> must be a model
+ of a CopyCOnstructible and Assignable.
+ </li>
+<li>
+ <code class="computeroutput">Final</code> must be a model
+ of FinalUnderlying.
+ </li>
+<li>
+ <code class="computeroutput">MetaMixinSeq</code> must be
+ a model of FinalUnderlying: defaulted to the empty sequence.
+ </li>
+<li>
+ <code class="computeroutput">Base</code> is defaulted to
+ the base class of all the new types <code class="computeroutput">base_new_type</code>.
+ </li>
+</ul></div>
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
@@ -912,6 +1014,23 @@
>
T opaque_static_cast(new_class<Final, UT, MetaMixinSeq, Base> const& v);
</pre>
+
+ Requirements
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ <code class="computeroutput">T</code> and <code class="computeroutput">UT</code> must be a model of a CopyCOnstructible
+ and Assignable.
+ </li>
+<li>
+ <code class="computeroutput">Final</code> must be a model
+ of FinalUnderlying.
+ </li>
+<li>
+ <code class="computeroutput">MetaMixinSeq</code> must be
+ a model of FinalUnderlying.
+ </li>
+</ul></div>
</div>
</div>
<div class="section" lang="en">
@@ -926,9 +1045,9 @@
</dl></div>
<pre class="programlisting">namespace boost {
 template <
- typename T,
+ typename UT,
 typename Tag,
- typename Concepts=boost::mpl::vector0<>,
+ typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_new_type>
 class new_type;
</pre>
@@ -938,22 +1057,47 @@
 Template new_type<>"> Class
 Template <code class="computeroutput">new_type<></code></a>
</h4></div></div></div>
+
+ <code class="computeroutput">new_type<></code>
+ provides the equivalent of <code class="computeroutput">new_class<></code> but can be used as a typedef.
+ 
<pre class="programlisting">template <
- typename T,
+ typename UT,
 typename Tag,
- typename Concepts,
+ typename MetaMixinSeq,
 typename Base
class new_type
- : public new_class<new_type<T, Tag, Concepts, Base>, T, Concepts, Base>
+ : public new_class<new_type<UT, Tag, MetaMixinSeq, Base>, UT, MetaMixinSeq, Base>
{
public:
 template <typename W>
 explicit new_type(W v);
 new_type();
 new_type(const new_type & rhs);
- explicit new_type(T v);
+ explicit new_type(UT v);
};
</pre>
+
+ Requirements
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ <code class="computeroutput">UT</code> must be a model
+ of a CopyCOnstructible and Assignable.
+ </li>
+<li>
+ <code class="computeroutput">Tag</code> must be a unique
+ class.
+ </li>
+<li>
+ <code class="computeroutput">MetaMixinSeq</code> must be
+ a model of FinalUnderlying: defaulted to the empty sequence.
+ </li>
+<li>
+ <code class="computeroutput">Base</code> is defaulted to
+ the base class of all the new types <code class="computeroutput">base_new_type</code>.
+ </li>
+</ul></div>
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
@@ -965,10 +1109,10 @@
 typename T,
 typename UT,
 typename Tag,
- typename Concepts,
+ typename MetaMixinSeq,
 typename Base
>
-T opaque_static_cast(new_type<UT,Tag,Concepts,Base> const& v);
+T opaque_static_cast(new_type<UT,Tag,MetaMixinSeq,Base> const& v);
</pre>
</div>
</div>
@@ -1020,37 +1164,22 @@
 class base_private_opaque_type;
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_private_opaque_type
 >
 class private_opaque_class;
}
</pre>
-<div class="itemizedlist"><ul type="disc">
-<li>
- Can instances of UT be explicitly converted to instances of OT? Yes
- </li>
-<li>
- Can instances of UT be implicitly converted to instances of OT? No
- </li>
-<li>
- Can instances of OT be explicitly converted to instances of UT? Yes.
- </li>
-<li>
- Waiting for explicit conversion operators,, the explicit conversion must
- be done through the underlying function
- </li>
-<li>
- Can instances of OT be implicitly converted to instances of UT? No
- </li>
-</ul></div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.reference.private_opaque_class_hpp.base_private_opaque_type"></a><a href="index.html#boost.opaque.reference.private_opaque_class_hpp.base_private_opaque_type" title="
 Class base_private_opaque_type">
 Class <code class="computeroutput">base_private_opaque_type</code></a>
</h4></div></div></div>
+
+ This is the base class of all the private opaque types.
+ 
<pre class="programlisting">class base_private_opaque_type {};
</pre>
</div>
@@ -1060,18 +1189,66 @@
 Class Template private_opaque_class<>">
 Class Template <code class="computeroutput">private_opaque_class<></code></a>
</h4></div></div></div>
+
+ Resuming:
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ Can instances of UT be explicitly converted to instances of OT? Yes
+ </li>
+<li>
+ Can instances of convertibles to UT be explicitly converted to instances
+ of OT? Yes
+ </li>
+<li>
+ Can instances of UT be implicitly converted to instances of OT? No
+ </li>
+<li>
+ Can instances of OT be explicitly converted to instances of UT? Yes.
+ </li>
+<li>
+ Can instances of OT be explicitly converted to instances of convertible
+ to UT? Yes
+ </li>
+<li>
+ Can instances of OT be implicitly converted to instances of UT? No
+ </li>
+<li>
+ Can instances of OT be implicitly converted to instances of convertible
+ to UT? No
+ </li>
+</ul></div>
+<div class="note"><table border="0" summary="Note">
+<tr>
+<td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="../../../../doc/src/images/note.png"></td>
+<th align="left">Note</th>
+</tr>
+<tr><td align="left" valign="top">
+ Waiting for explicit conversion operators, the explicit conversion must
+ be done through the underlying function
+ </td></tr>
+</table></div>
+
+ <code class="computeroutput">private_opaque_class<></code>
+ is a <code class="computeroutput">new_class</code> with the
+ <code class="computeroutput">transitive_explicit_substituable<base_private_opaque_type></code> and <code class="computeroutput">inherited_from_underlying<UT></code> added to the sequence of meta-mixins
+ MetaMixinSeq, so a <code class="computeroutput">private_opaque_class</code>
+ inherits from all the operations of tye underlying type and adds transitive
+ explicit conversions to all the substituables. The nested typedef <code class="computeroutput">substituables</code> is the MPL sequence of
+ all the UT in the opaque type hierarchy.
+ 
<pre class="programlisting">template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq,
 typename Base
>
class private_opaque_class : public
- new_class< Final, T,
+ new_class< Final, UT,
 mpl::push<
 transitive_explicit_substituable<base_private_opaque_type>,
 mpl::push<
- inherited_from_undelying<T>,
+ inherited_from_underlying<UT>,
 MetaMixinSeq
 >
 >,
@@ -1083,7 +1260,7 @@
 private_opaque_class();
 private_opaque_class(const private_opaque_class & rhs);
 private_opaque_class(const Final & rhs);
- explicit private_opaque_class(T v);
+ explicit private_opaque_class(UT v);
 template <typename W>
 explicit private_opaque_class(W v);
};
@@ -1101,7 +1278,7 @@
<pre class="programlisting">namespace boost {
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_private_opaque_type
 >
@@ -1114,26 +1291,51 @@
 Class Template private_opaque_type<>">
 Class Template <code class="computeroutput">private_opaque_type<></code></a>
</h4></div></div></div>
+
+ <code class="computeroutput">private_opaque_type<></code>
+ provides the equivalent of <code class="computeroutput">private_opaque_class<></code> but can be used as a typedef.
+ 
<pre class="programlisting">template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq,
 typename Base
>
class private_opaque_type : public
 private_opaque_class<
- private_opaque_type<T,Tag,MetaMixinSeq,Base>, T, MetaMixinSeq, Base>
+ private_opaque_type<UT,Tag,MetaMixinSeq,Base>, UT, MetaMixinSeq, Base>
{
public:

 private_opaque_type();
 private_opaque_type(const private_opaque_class & rhs);
 private_opaque_type(const Final & rhs);
- explicit private_opaque_type(T v);
+ explicit private_opaque_type(UT v);
 template <typename W>
 explicit private_opaque_type(W v);
};
</pre>
+
+ Requirements
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ <code class="computeroutput">UT</code> must be a model
+ of a CopyCOnstructible and Assignable.
+ </li>
+<li>
+ <code class="computeroutput">Tag</code> must be a unique
+ class.
+ </li>
+<li>
+ <code class="computeroutput">MetaMixinSeq</code> must be
+ a model of FinalUnderlying: defaulted to the empty sequence.
+ </li>
+<li>
+ <code class="computeroutput">Base</code> is defaulted to
+ the base class of all the new types <code class="computeroutput">base_new_type</code>.
+ </li>
+</ul></div>
</div>
</div>
<div class="section" lang="en">
@@ -1158,33 +1360,22 @@

 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_public_opaque_type
 >
 class public_opaque_class;
}
</pre>
-<div class="itemizedlist"><ul type="disc">
-<li>
- Can instances of UT be explicitly converted to instances of OT? Yes
- </li>
-<li>
- Can instances of UT be implicitly converted to instances of OT? No
- </li>
-<li>
- Can instances of OT be explicitly converted to instances of UT? Yes
- </li>
-<li>
- Can instances of OT be implicitly converted to instances of UT? Yes
- </li>
-</ul></div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.reference.public_opaque_class_hpp.private_opaque_class"></a><a href="index.html#boost.opaque.reference.public_opaque_class_hpp.private_opaque_class" title="
 Class base_public_opaque_type">
 Class <code class="computeroutput">base_public_opaque_type</code></a>
</h4></div></div></div>
+
+ This is the base class of all the public opaque types.
+ 
<pre class="programlisting">class base_public_opaque_type {};
</pre>
</div>
@@ -1199,6 +1390,10 @@
 typedef <see below> type;
}
</pre>
+
+ The nested typedef <code class="computeroutput">type</code>
+ is an MPL sequence of all the UT in the opaque type hierarchy.
+ 
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
@@ -1206,18 +1401,52 @@
 Class Template public_opaque_class<>">
 Class Template <code class="computeroutput">public_opaque_class<></code></a>
</h4></div></div></div>
+
+ Resuming:
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ Can instances of UT be explicitly converted to instances of OT? Yes
+ </li>
+<li>
+ Can instances of UT be implicitly converted to instances of OT? No
+ </li>
+<li>
+ Can instances of OT be explicitly converted to instances of UT? Yes
+ </li>
+<li>
+ Can instances of OT be explicitly converted to instances of convertible
+ to UT? Yes
+ </li>
+<li>
+ Can instances of OT be implicitly converted to instances of UT? Yes
+ </li>
+<li>
+ Can instances of OT be implicitly converted to instances of convertible
+ to UT? Yes
+ </li>
+</ul></div>
+
+ <code class="computeroutput">public_opaque_class<></code>
+ is a <code class="computeroutput">new_class</code> with the
+ <code class="computeroutput">transitive_substituable<base_public_opaque_type></code> and <code class="computeroutput">inherited_from_underlying<UT></code> added to the sequence of meta-mixins
+ MetaMixinSeq, so a public_opaque_type inherits from all the operations
+ of tye underlying type and adds transitive implicit conversions to all
+ the substituables. The nested typedef <code class="computeroutput">substituables</code>
+ is the MPL sequence of all the UT in the opaque type hierarchy.
+ 
<pre class="programlisting">template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_public_opaque_type
>
class public_opaque_class
- : public new_class< Final, T,
+ : public new_class< Final, UT,
 mpl::push<
 transitive_substituable<base_public_opaque_type>,
 mpl::push<
- inherited_from_undelying<T>,
+ inherited_from_underlying<UT>,
 MetaMixinSeq
 >
 >,
@@ -1230,38 +1459,12 @@
 public_opaque_class();
 public_opaque_class(const public_opaque_class & rhs);
 public_opaque_class(const Final & rhs);
- explicit public_opaque_class(T v);
- template <typename W>
- explicit public_opaque_class(W v);
-
-};
-</pre>
-
- template < typename Final, typename T, typename MetaMixinSeq=boost::mpl::vector0<>,
- typename Base=base_public_opaque_type > class public_opaque_class :
- public new_class< Final, T, mpl::push< transitive_substituable<base_public_opaque_type>,
- mpl::push< inherited_from_undelying<T>, MetaMixinSeq > >,
- Base > { public: typedef <see below> substituables;
- 
-<pre class="programlisting"> public_opaque_class();
- public_opaque_class(const public_opaque_class & rhs);
- public_opaque_class(const Final & rhs);
- explicit public_opaque_class(T v);
+ explicit public_opaque_class(UT v);
 template <typename W>
 explicit public_opaque_class(W v);

};
</pre>
-
- public_opaque_class(); public_opaque_class(const public_opaque_class &
- rhs); public_opaque_class(const Final & rhs); explicit public_opaque_class(T
- v); template <typename W> explicit public_opaque_class(W v);
- 
-<pre class="programlisting">};
-</pre>
-
- };
- 
</div>
</div>
<div class="section" lang="en">
@@ -1275,7 +1478,7 @@
<pre class="programlisting">namespace boost {
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_public_opaque_type
 >
@@ -1288,26 +1491,51 @@
 Class Template public_opaque_type<>">
 Class Template <code class="computeroutput">public_opaque_type<></code></a>
</h4></div></div></div>
+
+ <code class="computeroutput">private_opaque_typublic_opaque_typepe<></code> provides the equivalent of <code class="computeroutput">public_opaque_class<></code>
+ but can be used as a typedef.
+ 
<pre class="programlisting">template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq,
 typename Base
>
class public_opaque_type : public
 public_opaque_class<
- public_opaque_type<T,Tag,MetaMixinSeq,Base>, T, MetaMixinSeq, Base>
+ public_opaque_type<UT,Tag,MetaMixinSeq,Base>, UT, MetaMixinSeq, Base>
{
public:

 public_opaque_type();
 public_opaque_type(const public_opaque_type & rhs);
 public_opaque_type(const Final & rhs);
- explicit public_opaque_type(T v);
+ explicit public_opaque_type(UT v);
 template <typename W>
 explicit public_opaque_type(W v);
};
</pre>
+
+ Requirements
+ 
+<div class="itemizedlist"><ul type="disc">
+<li>
+ <code class="computeroutput">UT</code> must be a model
+ of a CopyCOnstructible and Assignable.
+ </li>
+<li>
+ <code class="computeroutput">Tag</code> must be a unique
+ class.
+ </li>
+<li>
+ <code class="computeroutput">MetaMixinSeq</code> must be
+ a model of FinalUnderlying: defaulted to the empty sequence.
+ </li>
+<li>
+ <code class="computeroutput">Base</code> is defaulted to
+ the base class of all the new types <code class="computeroutput">base_new_type</code>.
+ </li>
+</ul></div>
</div>
</div>
<div class="section" lang="en"><div class="titlepage"><div><div><h3 class="title">
@@ -1332,29 +1560,39 @@
 <code class="computeroutput">MetaMixinSequence</code></a></dt>
</dl></dd>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.linear_hierarchy_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/linear_hierarchy.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/linear_hierarchy.hpp></code></a></dt>
<dd><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.linear_hierarchy_hpp.linear_hierarchy">
 Class Template <code class="computeroutput">linear_hierarchy<></code></a></dt></dl></dd>
-<dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/inherited_from_undelying.hpp></code></a></dt>
-<dd><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp.inherited_from_undelying">
- Class Template <code class="computeroutput">inherited_from_undelying<></code></a></dt></dl></dd>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/inherited_from_underlying.hpp></code></a></dt>
+<dd><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp.inherited_from_underlying">
+ Class Template <code class="computeroutput">inherited_from_underlying<></code></a></dt></dl></dd>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/using_operators.hpp></code></a></dt>
-<dd><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.arithmetic_operators">Arithmetic
- Operators</a></dt></dl></dd>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/using_operators.hpp></code></a></dt>
+<dd><dl>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.arithmetic_operators">Arithmetic
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.logical_operators">Logical
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.conversion_operators">Conversion
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.dereference_operators">Dereference
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.other_operators">Other
+ Operators</a></dt>
+</dl></dd>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.hiding_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/hiding_operators.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/hiding_operators.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_combined_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/using_combined_operators.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/using_combined_operators.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.hiding_combined_operators_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/hiding_combined_operators.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/hiding_combined_operators.hpp></code></a></dt>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/transitive_substituable.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/transitive_substituable.hpp></code></a></dt>
<dd><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp.transitive_substituable">
 Class Template <code class="computeroutput">transitive_substituable<></code></a></dt></dl></dd>
<dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp">
- Header <code class="computeroutput"><boost/opaque/metamixin/transitive_explicit_substituable.hpp></code></a></dt>
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/transitive_explicit_substituable.hpp></code></a></dt>
<dd><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp.transitive_explicit_substituable">
 Class Template <code class="computeroutput">transitive_explicit_substituable<></code></a></dt></dl></dd>
</dl></div>
@@ -1464,7 +1702,9 @@
};
</pre>

- The Final class must make the following
+ The <code class="computeroutput">Final</code> class must
+ satisfy the <code class="computeroutput">FinalUnderlying</code>
+ requirements.
 
</div>
<div class="section" lang="en">
@@ -1485,6 +1725,11 @@
 };
};
</pre>
+
+ The <code class="computeroutput">Final</code> class must
+ satisfy the <code class="computeroutput">FinalUnderlying</code>
+ requirements.
+ 
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h5 class="title">
@@ -1501,8 +1746,8 @@
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.reference.meta_mixins.linear_hierarchy_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.linear_hierarchy_hpp" title="
- Header <boost/opaque/metamixin/linear_hierarchy.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/linear_hierarchy.hpp></code></a>
+ Header <boost/opaque/meta_mixin/linear_hierarchy.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/linear_hierarchy.hpp></code></a>
</h4></div></div></div>
<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.linear_hierarchy_hpp.linear_hierarchy">
 Class Template <code class="computeroutput">linear_hierarchy<></code></a></dt></dl></div>
@@ -1536,30 +1781,30 @@
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp" title="
- Header <boost/opaque/metamixin/inherited_from_undelying.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/inherited_from_undelying.hpp></code></a>
+<a name="boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp" title="
+ Header <boost/opaque/meta_mixin/inherited_from_underlying.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/inherited_from_underlying.hpp></code></a>
</h4></div></div></div>
-<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp.inherited_from_undelying">
- Class Template <code class="computeroutput">inherited_from_undelying<></code></a></dt></dl></div>
+<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp.inherited_from_underlying">
+ Class Template <code class="computeroutput">inherited_from_underlying<></code></a></dt></dl></div>
<pre class="programlisting">namespace boost {
 template <typename T, typename Bool=bool>
- struct inherited_from_undelying;
+ struct inherited_from_underlying;
}
</pre>
<div class="section" lang="en">
<div class="titlepage"><div><div><h5 class="title">
-<a name="boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp.inherited_from_undelying"></a><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_undelying_hpp.inherited_from_undelying" title="
- Class Template inherited_from_undelying<>">
- Class Template <code class="computeroutput">inherited_from_undelying<></code></a>
+<a name="boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp.inherited_from_underlying"></a><a href="index.html#boost.opaque.reference.meta_mixins.inherited_from_underlying_hpp.inherited_from_underlying" title="
+ Class Template inherited_from_underlying<>">
+ Class Template <code class="computeroutput">inherited_from_underlying<></code></a>
</h5></div></div></div>
<pre class="programlisting">template <typename T, typename Bool>
-struct inherited_from_undelying;
+struct inherited_from_underlying;
</pre>

- <code class="computeroutput">inherited_from_undelying</code>
+ <code class="computeroutput">inherited_from_underlying</code>
 is a <code class="computeroutput">MetaMixin</code> which
- add wrapping member to the underlyibg type <code class="computeroutput">UT</code>.
+ adds wrapping member to the underlyibg type <code class="computeroutput">UT</code>.
 

 This class must specialized for specific types in order to make easier
@@ -1568,13 +1813,13 @@
 each one of the buil-in types.
 
<pre class="programlisting">template <typename Bool>
-struct inherited_from_undelying<int> {
+struct inherited_from_underlying<int> {
 template <typename Final, typename Base>
 struct type; //implementation defined
};
</pre>

- template <typename Bool> struct inherited_from_undelying<int>
+ template <typename Bool> struct inherited_from_underlying<int>
 { template <typename Final, typename Base> struct type; //implementation
 defined };
 
@@ -1583,11 +1828,21 @@
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
<a name="boost.opaque.reference.meta_mixins.using_operators_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp" title="
- Header <boost/opaque/metamixin/using_operators.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/using_operators.hpp></code></a>
+ Header <boost/opaque/meta_mixin/using_operators.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/using_operators.hpp></code></a>
</h4></div></div></div>
-<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.arithmetic_operators">Arithmetic
- Operators</a></dt></dl></div>
+<div class="toc"><dl>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.arithmetic_operators">Arithmetic
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.logical_operators">Logical
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.conversion_operators">Conversion
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.dereference_operators">Dereference
+ Operators</a></dt>
+<dt><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.other_operators">Other
+ Operators</a></dt>
+</dl></div>

 This file includes meta-mixins that are used to add un operator overloads
 forwarding from the Final type to the underlying type. There is a meta-mixins
@@ -1660,7 +1915,9 @@
 rhs_ut is the instance UT reference obtained rhs.underlying()
 </li>
</ul></div>
-<div class="informaltable"><table class="table">
+<div class="table">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.arithmetic_operators.relational_operators"></a>Table 1. Relational operators
+<table class="table" summary="Relational operators">
<colgroup>
<col>
<col>
@@ -1693,264 +1950,306 @@
<tr>
<td>
 
- <code class="computeroutput">using_underlying_conversion<UT></code>
+ <code class="computeroutput">using_equal<Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">operator UT() const</code>
+ <code class="computeroutput">Bool operator==(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- None
+ <code class="computeroutput">Bool(this_ut ==
+ rhs_ut)</code>
 
 </td>
<td>
 
- 12.3.2
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_conversion_to<T></code>
+ <code class="computeroutput">using_not_equal<Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">operator T() const</code>
+ <code class="computeroutput">Bool operator!=(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">T(ut)</code>
+ <code class="computeroutput">Bool(this_ut !=
+ rhs_ut)</code>
 
 </td>
<td>
 
- 12.3.2
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_safe_bool_conversion</code>
+ <code class="computeroutput">using_less_than<Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">operator unspecified_bool_type() const</code>
+ <code class="computeroutput">Bool operator<(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">ut?true:false</code>
+ <code class="computeroutput">Bool(this_ut <
+ rhs_ut)</code>
 
 </td>
<td>
 
- 12.3.2
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_logical_not<Bool></code>
+ <code class="computeroutput">using_less_than_equal<Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool operator!=() const</code>
+ <code class="computeroutput">Bool operator<=(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool(!this_ut)</code>
+ <code class="computeroutput">Bool(this_ut <=
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_unary_plus</code>
+ <code class="computeroutput">using_greater_than_equal<Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator+() const</code>
+ <code class="computeroutput">Bool operator>=(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(+this_ut)</code>
+ <code class="computeroutput">Bool(this_ut >=
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_unary_minus</code>
+ <code class="computeroutput">using_greater_than<Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator-() const</code>
+ <code class="computeroutput">Bool operator>(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(-this_ut)</code>
+ <code class="computeroutput">Bool(this_ut >
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_not</code>
+ <code class="computeroutput">using_equal2<NT2, Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator~() const</code>
+ <code class="computeroutput">Bool operator==(const
+ NT2&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(~this_ut)</code>
+ <code class="computeroutput">Bool(this_ut ==
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_pre_increment</code>
+ <code class="computeroutput">using_not_equal2<NT2, Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT&
- operator++()</code>
+ <code class="computeroutput">Bool operator!=(const
+ NT2&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">++this_ut</code>
+ <code class="computeroutput">Bool(this_ut !=
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_pre_decrement</code>
+ <code class="computeroutput">using_less_than2<NT2, Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT&
- operator--()</code>
+ <code class="computeroutput">Bool operator<(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">--this_ut</code>
+ <code class="computeroutput">Bool(this_ut <
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_post_increment</code>
+ <code class="computeroutput">using_less_than_equal2<NT2, Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator++(int) const</code>
+ <code class="computeroutput">Bool operator<=(const
+ NT2&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut++</code>
+ <code class="computeroutput">Bool(this_ut <=
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_post_decrement</code>
+ <code class="computeroutput">using_greater_than_equal2<NT2, Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator--(int) const</code>
+ <code class="computeroutput">Bool operator>=(const
+ NT2&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut++</code>
+ <code class="computeroutput">Bool(this_ut >=
+ rhs_ut)</code>
 
 </td>
<td>
 
- 13.5.1
+ 13.5.2
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_less_than<Bool></code>
+ <code class="computeroutput">using_greater_than2<NT2, Bool></code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool operator<(const
- NT&
+ <code class="computeroutput">Bool operator>(const
+ NT2&
 rhs)
 const</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool(this_ut <
+ <code class="computeroutput">Bool(this_ut >
 rhs_ut)</code>
 
 </td>
@@ -1960,15 +2259,50 @@
 
 </td>
</tr>
+</tbody>
+</table>
+</div>
+<div class="table">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.arithmetic_operators.numeric_operators"></a>Table 2. Numeric operators
+<table class="table" summary="Numeric operators">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Supplied Operation
+ 
+ </th>
+<th>
+ 
+ Requirements
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
<tr>
<td>
 
- <code class="computeroutput">using_less_than_equal<Bool></code>
+ <code class="computeroutput">using_plus</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool operator<=(const
+ <code class="computeroutput">NT operator+(const
 NT&
 rhs)
 const</code>
@@ -1976,7 +2310,7 @@
 </td>
<td>
 
- <code class="computeroutput">Bool(this_ut <=
+ <code class="computeroutput">NT(this_ut +
 rhs_ut)</code>
 
 </td>
@@ -1989,21 +2323,19 @@
<tr>
<td>
 
- <code class="computeroutput">using_greater_than_equal<Bool></code>
+ <code class="computeroutput">using_plus_assign</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool operator>=(const
- NT&
- rhs)
- const</code>
+ <code class="computeroutput">NT&
+ operator+=(const NT& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool(this_ut >=
- rhs_ut)</code>
+ <code class="computeroutput">this_ut +=
+ rhs_ut</code>
 
 </td>
<td>
@@ -2015,12 +2347,12 @@
<tr>
<td>
 
- <code class="computeroutput">using_greater_than<Bool></code>
+ <code class="computeroutput">using_minus</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool operator>(const
+ <code class="computeroutput">NT operator-(const
 NT&
 rhs)
 const</code>
@@ -2028,7 +2360,7 @@
 </td>
<td>
 
- <code class="computeroutput">Bool(this_ut >
+ <code class="computeroutput">NT(this_ut -
 rhs_ut)</code>
 
 </td>
@@ -2041,21 +2373,19 @@
<tr>
<td>
 
- <code class="computeroutput">using_equal<Bool></code>
+ <code class="computeroutput">using_minus_assign</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool operator==(const
- NT&
- rhs)
- const</code>
+ <code class="computeroutput">NT&
+ operator-=(const NT& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool(this_ut ==
- rhs_ut)</code>
+ <code class="computeroutput">this_ut -=
+ rhs_ut</code>
 
 </td>
<td>
@@ -2067,12 +2397,12 @@
<tr>
<td>
 
- <code class="computeroutput">using_not_equal<Bool></code>
+ <code class="computeroutput">using_multiply</code>
 
 </td>
<td>
 
- <code class="computeroutput">Bool operator!=(const
+ <code class="computeroutput">NT operator*(const
 NT&
 rhs)
 const</code>
@@ -2080,7 +2410,7 @@
 </td>
<td>
 
- <code class="computeroutput">Bool(this_ut !=
+ <code class="computeroutput">NT(this_ut *
 rhs_ut)</code>
 
 </td>
@@ -2093,18 +2423,18 @@
<tr>
<td>
 
- <code class="computeroutput">using_plus_assign</code>
+ <code class="computeroutput">using_multiply_assign</code>
 
 </td>
<td>
 
 <code class="computeroutput">NT&
- operator+=(const NT& rhs)</code>
+ operator*=(const NT& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut +=
+ <code class="computeroutput">this_ut *=
 rhs_ut</code>
 
 </td>
@@ -2117,19 +2447,21 @@
<tr>
<td>
 
- <code class="computeroutput">using_minus_assign</code>
+ <code class="computeroutput">using_divide</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT&
- operator-=(const NT& rhs)</code>
+ <code class="computeroutput">NT operator/(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut -=
- rhs_ut</code>
+ <code class="computeroutput">NT(this_ut /
+ rhs_ut)</code>
 
 </td>
<td>
@@ -2141,18 +2473,18 @@
<tr>
<td>
 
- <code class="computeroutput">using_multiply_assign</code>
+ <code class="computeroutput">using_divide_assign</code>
 
 </td>
<td>
 
 <code class="computeroutput">NT&
- operator*=(const NT& rhs)</code>
+ operator/=(const NT& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut *=
+ <code class="computeroutput">this_ut /=
 rhs_ut</code>
 
 </td>
@@ -2165,19 +2497,21 @@
<tr>
<td>
 
- <code class="computeroutput">using_divide_assign</code>
+ <code class="computeroutput">using_modulus</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT&
- operator/=(const NT& rhs)</code>
+ <code class="computeroutput">NT operator%(const
+ NT&
+ rhs)
+ const</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut /=
- rhs_ut</code>
+ <code class="computeroutput">NT(this_ut %
+ rhs_ut)</code>
 
 </td>
<td>
@@ -2213,133 +2547,147 @@
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_xor_assign</code>
+ <code class="computeroutput">using_unary_plus</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT&
- operator^=(const NT& rhs)</code>
+ <code class="computeroutput">NT operator+() const</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut ^=
- rhs_ut</code>
+ <code class="computeroutput">NT(+this_ut)</code>
 
 </td>
<td>
 
- 13.5.2
+ 13.5.1
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_and_assign</code>
+ <code class="computeroutput">using_unary_minus</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT&
- operator&=(const NT& rhs)</code>
+ <code class="computeroutput">NT operator-() const</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut &=
- rhs_ut</code>
+ <code class="computeroutput">NT(-this_ut)</code>
 
 </td>
<td>
 
- 13.5.2
+ 13.5.1
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_or_assign</code>
+ <code class="computeroutput">using_pre_increment</code>
 
 </td>
<td>
 
 <code class="computeroutput">NT&
- operator|=(const NT& rhs)</code>
+ operator++()</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut |=
- rhs_ut</code>
+ <code class="computeroutput">++this_ut</code>
 
 </td>
<td>
 
- 13.5.2
+ 13.5.1
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_left_right_assign</code>
+ <code class="computeroutput">using_pre_decrement</code>
 
 </td>
<td>
 
 <code class="computeroutput">NT&
- operator<<=(const NT& rhs)</code>
+ operator--()</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut <<=
- rhs_ut</code>
+ <code class="computeroutput">--this_ut</code>
 
 </td>
<td>
 
- 13.5.2
+ 13.5.1
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_right_shift_assign</code>
+ <code class="computeroutput">using_post_increment</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT&
- operator>>=(const NT& rhs)</code>
+ <code class="computeroutput">NT operator++(int) const</code>
 
 </td>
<td>
 
- <code class="computeroutput">this_ut >>=
- rhs_ut</code>
+ <code class="computeroutput">this_ut++</code>
 
 </td>
<td>
 
- 13.5.2
+ 13.5.1
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_plus</code>
+ <code class="computeroutput">using_post_decrement</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator--(int) const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut++</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.1
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_plus2<NT2></code>
 
 </td>
<td>
 
 <code class="computeroutput">NT operator+(const
- NT&
+ NT2&
 rhs)
 const</code>
 
@@ -2359,21 +2707,19 @@
<tr>
<td>
 
- <code class="computeroutput">using_minus</code>
+ <code class="computeroutput">using_plus_assign2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator-(const
- NT&
- rhs)
- const</code>
+ <code class="computeroutput">NT&
+ operator+=(const NT2& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut -
- rhs_ut)</code>
+ <code class="computeroutput">this_ut +=
+ rhs_ut</code>
 
 </td>
<td>
@@ -2385,20 +2731,20 @@
<tr>
<td>
 
- <code class="computeroutput">using_multiply</code>
+ <code class="computeroutput">using_minus2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator*(const
- NT&
+ <code class="computeroutput">NT operator-(const
+ NT2&
 rhs)
 const</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut *
+ <code class="computeroutput">NT(this_ut -
 rhs_ut)</code>
 
 </td>
@@ -2411,21 +2757,19 @@
<tr>
<td>
 
- <code class="computeroutput">using_divide</code>
+ <code class="computeroutput">using_minus_assign2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator/(const
- NT&
- rhs)
- const</code>
+ <code class="computeroutput">NT&
+ operator-=(const NT2& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut /
- rhs_ut)</code>
+ <code class="computeroutput">this_ut -=
+ rhs_ut</code>
 
 </td>
<td>
@@ -2437,20 +2781,20 @@
<tr>
<td>
 
- <code class="computeroutput">using_modulus</code>
+ <code class="computeroutput">using_multiply2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator%(const
- NT&
+ <code class="computeroutput">NT operator*(const
+ NT2&
 rhs)
 const</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut %
+ <code class="computeroutput">NT(this_ut *
 rhs_ut)</code>
 
 </td>
@@ -2463,21 +2807,19 @@
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_xor</code>
+ <code class="computeroutput">using_multiply_assign2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator^(const
- NT&
- rhs)
- const</code>
+ <code class="computeroutput">NT&
+ operator*=(const NT2& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut ^
- rhs_ut)</code>
+ <code class="computeroutput">this_ut *=
+ rhs_ut</code>
 
 </td>
<td>
@@ -2489,20 +2831,20 @@
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_or</code>
+ <code class="computeroutput">using_divide2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator|(const
- NT&
+ <code class="computeroutput">NT operator/(const
+ NT2&
 rhs)
 const</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut |
+ <code class="computeroutput">NT(this_ut /
 rhs_ut)</code>
 
 </td>
@@ -2515,21 +2857,19 @@
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_and</code>
+ <code class="computeroutput">using_divide_assign2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator&(const
- NT&
- rhs)
- const</code>
+ <code class="computeroutput">NT&
+ operator/=(const NT2& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut &
- rhs_ut)</code>
+ <code class="computeroutput">this_ut /=
+ rhs_ut</code>
 
 </td>
<td>
@@ -2541,20 +2881,20 @@
<tr>
<td>
 
- <code class="computeroutput">using_left_shift1</code>
+ <code class="computeroutput">using_modulus2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator<<(const
- NT&
+ <code class="computeroutput">NT operator%(const
+ NT2&
 rhs)
 const</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut <<
+ <code class="computeroutput">NT(this_ut %
 rhs_ut)</code>
 
 </td>
@@ -2567,21 +2907,19 @@
<tr>
<td>
 
- <code class="computeroutput">using_right_shift1</code>
+ <code class="computeroutput">using_modulus_assign2<NT2></code>
 
 </td>
<td>
 
- <code class="computeroutput">NT operator>>(const
- NT&
- rhs)
- const</code>
+ <code class="computeroutput">NT&
+ operator%=(const NT2& rhs)</code>
 
 </td>
<td>
 
- <code class="computeroutput">NT(this_ut >>
- rhs_ut)</code>
+ <code class="computeroutput">this_ut %=
+ rhs_ut</code>
 
 </td>
<td>
@@ -2591,25 +2929,11 @@
 </td>
</tr>
</tbody>
-</table></div>
-</div>
+</table>
</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.reference.meta_mixins.hiding_operators_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.hiding_operators_hpp" title="
- Header <boost/opaque/metamixin/hiding_operators.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/hiding_operators.hpp></code></a>
-</h4></div></div></div>
-
- This file includes meta-mixins that are used to hide operator overloads
- that have been defined by a base class for each one of the C++ overloadable
- operators.
- 
-
- These meta-mixins have names that follows the naming used in Boost.ConceptsTraits,
- but prefixed by <code class="computeroutput">hiding_</code>.
- 
-<div class="informaltable"><table class="table">
+<div class="table">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.arithmetic_operators.bitwise_operators"></a>Table 3. Bitwise operators
+<table class="table" summary="Bitwise operators">
<colgroup>
<col>
<col>
@@ -2618,113 +2942,2272 @@
</colgroup>
<thead><tr>
<th>
- 
- Meta-Mixin
- 
- </th>
+ 
+ Meta-Mixin
+ 
+ </th>
<th>
- 
- Hidden Operation
- 
- </th>
+ 
+ Supplied Operation
+ 
+ </th>
<th>
- 
- Requirements
- 
- </th>
+ 
+ Requirements
+ 
+ </th>
<th>
- 
- Ref
- 
- </th>
+ 
+ Ref
+ 
+ </th>
</tr></thead>
<tbody>
<tr>
<td>
- 
- <code class="computeroutput">hiding_assign</code>
- 
- </td>
+ 
+ <code class="computeroutput">using_bitwise_not</code>
+ 
+ </td>
<td>
- 
- <code class="computeroutput">NT&
- operator=(NT const&)</code>
- 
- </td>
+ 
+ <code class="computeroutput">NT operator~() const</code>
+ 
+ </td>
<td>
- 
- None
- 
- </td>
+ 
+ <code class="computeroutput">NT(~this_ut)</code>
+ 
+ </td>
<td>
- 
- 13.5.3
- 
- </td>
+ 
+ 13.5.1
+ 
+ </td>
</tr>
<tr>
<td>
- 
- <code class="computeroutput">hiding_copy</code>
- 
- </td>
+ 
+ <code class="computeroutput">using_bitwise_xor_assign</code>
+ 
+ </td>
<td>
- 
- <code class="computeroutput">NT(NT const&)</code>
- 
- </td>
+ 
+ <code class="computeroutput">NT&
+ operator^=(const NT& rhs)</code>
+ 
+ </td>
<td>
- 
- None
- 
- </td>
+ 
+ <code class="computeroutput">this_ut ^=
+ rhs_ut</code>
+ 
+ </td>
<td>
- 
- 13.5.3
- 
- </td>
+ 
+ 13.5.2
+ 
+ </td>
</tr>
-</tbody>
-</table></div>
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.reference.meta_mixins.using_combined_operators_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.using_combined_operators_hpp" title="
- Header <boost/opaque/metamixin/using_combined_operators.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/using_combined_operators.hpp></code></a>
-</h4></div></div></div>
-
- This file includes meta-mixins combining several operators.
- 
-
- These meta-mixins have names that follows the naming used in Boost.Operators,
- but prefixed by <code class="computeroutput">using_</code>.
- 
-
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_and_assign</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator&=(const NT& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut &=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_or_assign</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator|=(const NT& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut |=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_left_right_assign</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator<<=(const NT& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut <<=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_right_shift_assign</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator>>=(const NT& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut >>=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_xor</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator^(const
+ NT&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut ^
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_or</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator|(const
+ NT&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut |
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_and</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator&(const
+ NT&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut &
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_left_shift1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator<<(const
+ NT&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut <<
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_right_shift1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator>>(const
+ NT&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut >>
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_xor2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator^(const
+ NT2&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut ^
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_xor_assign2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator^=(const NT2& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut ^=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_or2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator|(const
+ NT2&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut |
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_and2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator&(const
+ NT2&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut &
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_and_assign2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator&=(const NT2& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut &=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_or_assign2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator|=(const NT2& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut |=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_left_shift2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator<<(const
+ NT2&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut <<
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_left_right_assign2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator<<=(const NT2& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut <<=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_right_shift2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator>>(const
+ NT2&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(this_ut >>
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_right_shift_assign2<NT2></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator>>=(const NT2& rhs)</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">this_ut >>=
+ rhs_ut</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+</tbody>
+</table>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h5 class="title">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.logical_operators"></a><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.logical_operators" title="Logical
+ Operators">Logical
+ Operators</a>
+</h5></div></div></div>
+<div class="table">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.logical_operators.logical_operators"></a>Table 4. Logical operators
+<table class="table" summary="Logical operators">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Supplied Operation
+ 
+ </th>
+<th>
+ 
+ Requirements
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_logical_not<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">Bool operator!() const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">Bool(!this_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.1
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_logical_and<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">Bool operator&&(const
+ NT&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">Bool(this_ut &&
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_logical_or<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">Bool operator||(const
+ NT&
+ rhs)
+ const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">Bool(this_ut ||
+ rhs_ut)</code>
+ 
+ </td>
+<td>
+ 
+ 13.5.2
+ 
+ </td>
+</tr>
+</tbody>
+</table>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h5 class="title">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.conversion_operators"></a><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.conversion_operators" title="Conversion
+ Operators">Conversion
+ Operators</a>
+</h5></div></div></div>
+<div class="table">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.conversion_operators.conversion_operators"></a>Table 5. Conversion Operators
+<table class="table" summary="Conversion Operators">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Supplied Operation
+ 
+ </th>
+<th>
+ 
+ Requirements
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_underlying_conversion<UT></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">operator UT() const</code>
+ 
+ </td>
+<td>
+ 
+ None
+ 
+ </td>
+<td>
+ 
+ 12.3.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_conversion_to<T></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">operator T() const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">T(ut)</code>
+ 
+ </td>
+<td>
+ 
+ 12.3.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_safe_bool_conversion</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">operator unspecified_bool_type() const</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">ut?true:false</code>
+ 
+ </td>
+<td>
+ 
+ 12.3.2
+ 
+ </td>
+</tr>
+</tbody>
+</table>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h5 class="title">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.dereference_operators"></a><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.dereference_operators" title="Dereference
+ Operators">Dereference
+ Operators</a>
+</h5></div></div></div>
+<div class="table">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.dereference_operators.dereference_operators"></a>Table 6. Dereference Operators
+<table class="table" summary="Dereference Operators">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Supplied Operation
+ 
+ </th>
+<th>
+ 
+ Requirements
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_address_of</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator&()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_address_of2<A></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">A operator&()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_derreference</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator*()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_derreference<R></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">R operator*()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_member_access<P></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">P operator->()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_subscript<D,T></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">T operator[](D)</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+</tbody>
+</table>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h5 class="title">
+<a name="boost.opaque.reference.meta_mixins.using_operators_hpp.other_operators"></a><a href="index.html#boost.opaque.reference.meta_mixins.using_operators_hpp.other_operators" title="Other
+ Operators">Other
+ Operators</a>
+</h5></div></div></div>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Supplied Operation
+ 
+ </th>
+<th>
+ 
+ Requirements
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_comma</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT operator,()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_function_call</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">operator()()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_pointer_to_member</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">operator->*()</code>
+ 
+ </td>
+<td>
+ 
+ ??
+ 
+ </td>
+<td>
+ </td>
+</tr>
+</tbody>
+</table></div>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.reference.meta_mixins.hiding_operators_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.hiding_operators_hpp" title="
+ Header <boost/opaque/meta_mixin/hiding_operators.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/hiding_operators.hpp></code></a>
+</h4></div></div></div>
+
+ This file includes meta-mixins that are used to hide operator overloads
+ that have been defined by a base class for each one of the C++ overloadable
+ operators.
+ 
+
+ These meta-mixins have names that follows the naming used in Boost.ConceptsTraits,
+ but prefixed by <code class="computeroutput">hiding_</code>.
+ 
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Hidden Operation
+ 
+ </th>
+<th>
+ 
+ Requirements
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ <code class="computeroutput">hiding_assignment</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT&
+ operator=(NT const&)</code>
+ 
+ </td>
+<td>
+ 
+ None
+ 
+ </td>
+<td>
+ 
+ 13.5.3
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">hiding_copy_constructor</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">NT(NT const&)</code>
+ 
+ </td>
+<td>
+ 
+ None
+ 
+ </td>
+<td>
+ 
+ 13.5.3
+ 
+ </td>
+</tr>
+</tbody>
+</table></div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.reference.meta_mixins.using_combined_operators_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.using_combined_operators_hpp" title="
+ Header <boost/opaque/meta_mixin/using_combined_operators.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/using_combined_operators.hpp></code></a>
+</h4></div></div></div>
+
+ This file includes meta-mixins combining several operators.
+ 
+
+ These meta-mixins have names that follows the naming used in Boost.Operators,
+ but prefixed by <code class="computeroutput">using_</code>.
+ 
+
 The composite operator templates only list what other templates they use.
 The supplied operations and requirements of the composite operator templates
 can be inferred from the operations and requirements of the listed components.
 
-<div class="informaltable"><table class="table">
+
+ Grouped Arithmetic Operators
+ 
+
+ The following meta-mixins provide common groups of related meta-mixins.
+ For example, since a type which is addable is usually also subractable,
+ the additive template provides the combined meta-mixins of both.
+ 
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Meta-Mixin Sequence
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_equality_comparable1<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_equal<Bool></code>,
+ <code class="computeroutput">using_not_equal<Bool></code>
+ 
+ </td>
+<td>
+ 
+ 20.1.1
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_less_than_comparable1<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_less_than<Bool></code> <code class="computeroutput">using_less_than_equal<Bool></code> <code class="computeroutput">using_greater_than_equal<Bool></code> <code class="computeroutput">using_greater_than<Bool></code>
+ 
+ </td>
+<td>
+ 
+ 20.1.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_partially_ordered1<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_less_than<Bool></code> <code class="computeroutput">using_less_than_equal<Bool></code> <code class="computeroutput">using_greater_than_equal<Bool></code> <code class="computeroutput">using_greater_than<Bool></code>
+ 
+ </td>
+<td>
+ 
+ 20.1.2
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_addable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_plus_assign</code>
+ <code class="computeroutput">using_plus</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_subtractable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_minus_assign</code>
+ <code class="computeroutput">using_minus</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_multipliable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_multiply_assign</code>
+ <code class="computeroutput">using_multiply</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_dividable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_divide_assign</code>
+ <code class="computeroutput">using_divide</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_modable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_modulus_assign</code>
+ <code class="computeroutput">using_modulus</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_xorable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_xor_assign</code>
+ <code class="computeroutput">using_bitwise_xor</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_orable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_or_assign</code>
+ <code class="computeroutput">using_bitwise_or</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_andable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_and_assign</code>
+ <code class="computeroutput">using_bitwise_and</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_left_shiftable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_left_right_assign</code>
+ <code class="computeroutput">using_left_shift1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_right_shiftable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_right_shift_assign</code>
+ <code class="computeroutput">using_right_shift1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_incrementable</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_pre_increment></code> <code class="computeroutput">using_post_increment</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_decrementable</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_pre_decrement></code> <code class="computeroutput">using_post_decrement</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+</tbody>
+</table></div>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Meta-Mixin
+ 
+ </th>
+<th>
+ 
+ Meta-Mixin Sequence
+ 
+ </th>
+<th>
+ 
+ Ref
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_totally_ordered1<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_equality_comparable1<Bool></code> <code class="computeroutput">using_less_than_comparable1<Bool></code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_additive1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_addable1</code>
+ <code class="computeroutput">using_subtractable1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_multiplicative1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_multipliable1</code>
+ <code class="computeroutput">using_dividable1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">integer_multiplicative1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_multiplicative1</code>
+ <code class="computeroutput">using_modable1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_arithmetic1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_additive1</code>
+ <code class="computeroutput">using_multiplicative1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_integer_arithmetic1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_additive1</code>
+ <code class="computeroutput">integer_multiplicative1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_bitwise1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_bitwise_xorable1</code>
+ <code class="computeroutput">using_bitwise_orable1</code>
+ <code class="computeroutput">using_bitwise_andable1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_unit_steppable</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_incrementable</code>
+ <code class="computeroutput">using_decrementable</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_shiftable1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_left_shiftable1</code>
+ <code class="computeroutput">using_right_shiftable1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_ring_operators1</code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_additive1</code>
+ <code class="computeroutput">using_multipliable1</code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_ordered_ring_operators1<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_ring_operators1</code>
+ <code class="computeroutput">using_totally_ordered1<Bool></code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_field_operators1<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_ring_operators1</code>
+ <code class="computeroutput">using_dividable1<Bool></code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ <code class="computeroutput">using_ordered_field_operators1<Bool></code>
+ 
+ </td>
+<td>
+ 
+ <code class="computeroutput">using_field_operators1</code>
+ <code class="computeroutput">using_totally_ordered1<Bool></code>
+ 
+ </td>
+<td>
+ </td>
+</tr>
+</tbody>
+</table></div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.reference.meta_mixins.hiding_combined_operators_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.hiding_combined_operators_hpp" title="
+ Header <boost/opaque/meta_mixin/hiding_combined_operators.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/hiding_combined_operators.hpp></code></a>
+</h4></div></div></div>
+
+ This file includes meta-mixins combining several hiding meta-mixins that
+ are used to hide operator overloads that have been defined by a base clas.
+ 
+
+ These meta-mixins have names that follows the naming used in Boost.Operators,
+ but prefixed by <code class="computeroutput">hiding_</code>.
+ 
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.reference.meta_mixins.transitive_substituable_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp" title="
+ Header <boost/opaque/meta_mixin/transitive_substituable.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/transitive_substituable.hpp></code></a>
+</h4></div></div></div>
+<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp.transitive_substituable">
+ Class Template <code class="computeroutput">transitive_substituable<></code></a></dt></dl></div>
+<pre class="programlisting">namespace boost {
+ template <typename BaseClass, typename UT>
+ struct transitive_substituable;
+}
+</pre>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h5 class="title">
+<a name="boost.opaque.reference.meta_mixins.transitive_substituable_hpp.transitive_substituable"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp.transitive_substituable" title="
+ Class Template transitive_substituable<>">
+ Class Template <code class="computeroutput">transitive_substituable<></code></a>
+</h5></div></div></div>
+
+ This meta-mixin provides the Final class implicit conversions for all
+ the underlying types hierarchy.
+ 
+<pre class="programlisting">template <typename BaseClass, typename UT>
+struct transitive_substituable;
+</pre>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp" title="
+ Header <boost/opaque/meta_mixin/transitive_explicit_substituable.hpp>">
+ Header <code class="computeroutput"><boost/opaque/meta_mixin/transitive_explicit_substituable.hpp></code></a>
+</h4></div></div></div>
+<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp.transitive_explicit_substituable">
+ Class Template <code class="computeroutput">transitive_explicit_substituable<></code></a></dt></dl></div>
+<pre class="programlisting">namespace boost {
+ template <typename BaseClass, typename UT>
+ struct transitive_explicit_substituable;
+}
+</pre>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h5 class="title">
+<a name="boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp.transitive_explicit_substituable"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp.transitive_explicit_substituable" title="
+ Class Template transitive_explicit_substituable<>">
+ Class Template <code class="computeroutput">transitive_explicit_substituable<></code></a>
+</h5></div></div></div>
+<pre class="programlisting">template <typename BaseClass, typename UT>
+struct transitive_explicit_substituable;
+</pre>
+
+ This meta-mixin provides the Final class explicit conversions for all
+ the underlying types hierarchy (when the compiler supports explicit conversion
+ operators). For portability purposed the library provide as workarround
+ a convert_to non member function.
+ 
+</div>
+</div>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h2 class="title" style="clear: both">
+<a name="boost.opaque.appendices"></a>Appendices
+</h2></div></div></div>
+<div class="toc"><dl>
+<dt> Appendix A: History</dt>
+<dd><dl><dt>Version 0.1.0, October 18, 2010 </dt></dl></dd>
+<dt><a href="index.html#boost.opaque.appendices.rationale"> Appendix B: Design
+ Rationale</a></dt>
+<dt><a href="index.html#boost.opaque.appendices.implementation"> Appendix C:
+ Implementation Notes</a></dt>
+<dt><a href="index.html#boost.opaque.appendices.acknowledgements"> Appendix D:
+ Acknowledgements</a></dt>
+<dt><a href="index.html#boost.opaque.appendices.appendix_e__tests">Appendix E:
+ Tests</a></dt>
+<dd><dl>
+<dt>new_class</dt>
+<dt>new_type</dt>
+<dt>public_opaque_class</dt>
+</dl></dd>
+<dt><a href="index.html#boost.opaque.appendices.appendix_f__tickets">Appendix
+ F: Tickets</a></dt>
+<dt> Appendix F: Future plans</dt>
+</dl></div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h3 class="title">
+<a name="boost.opaque.appendices.history"></a> Appendix A: History
+</h3></div></div></div>
+<div class="toc"><dl><dt>Version 0.1.0, October 18, 2010 </dt></dl></div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.appendices.history.__version_0_1_0__october_18__2010__"></a>Version 0.1.0, October 18, 2010
+</h4></div></div></div>
+
+ Features:
+ 
+<div class="itemizedlist"><ul type="disc"><li>
+ a
+ </li></ul></div>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h3 class="title">
+<a name="boost.opaque.appendices.rationale"></a><a href="index.html#boost.opaque.appendices.rationale" title=" Appendix B: Design
+ Rationale"> Appendix B: Design
+ Rationale</a>
+</h3></div></div></div>
+<a name="boost.opaque.appendices.rationale.lala"></a><h4>
+<a name="id5018428"></a>
+ lala
+ </h4>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h3 class="title">
+<a name="boost.opaque.appendices.implementation"></a><a href="index.html#boost.opaque.appendices.implementation" title=" Appendix C:
+ Implementation Notes"> Appendix C:
+ Implementation Notes</a>
+</h3></div></div></div>
+<a name="boost.opaque.appendices.implementation.lala"></a><h4>
+<a name="id5018466"></a>
+ lala
+ </h4>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h3 class="title">
+<a name="boost.opaque.appendices.acknowledgements"></a><a href="index.html#boost.opaque.appendices.acknowledgements" title=" Appendix D:
+ Acknowledgements"> Appendix D:
+ Acknowledgements</a>
+</h3></div></div></div>
+
+ Thanks to .
+ 
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h3 class="title">
+<a name="boost.opaque.appendices.appendix_e__tests"></a><a href="index.html#boost.opaque.appendices.appendix_e__tests" title="Appendix E:
+ Tests">Appendix E:
+ Tests</a>
+</h3></div></div></div>
+<div class="toc"><dl>
+<dt>new_class</dt>
+<dt>new_type</dt>
+<dt>public_opaque_class</dt>
+</dl></div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.appendices.appendix_e__tests.new_class"></a>new_class
+</h4></div></div></div>
+<div class="table">
+<a name="boost.opaque.appendices.appendix_e__tests.new_class.contructors_and_assignement"></a>Table 7. Contructors and Assignement
+<table class="table" summary="Contructors and Assignement">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Name
+ 
+ </th>
+<th>
+ 
+ kind
+ 
+ </th>
+<th>
+ 
+ Description
+ 
+ </th>
+<th>
+ 
+ Result
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ regular_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check constructors and assignements
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ assign_siblings_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check siblings assignement fail
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ assign_up_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check NT can not be assigned to UT
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ assign_down_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check UT can not be assigned to NT
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ copy_construct_from_non_convertible_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check constructor from non convertibe to UT fails
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+</tbody>
+</table>
+</div>
+<div class="table">
+<a name="boost.opaque.appendices.appendix_e__tests.new_class.relational_operators"></a>Table 8. Relational Operators
+<table class="table" summary="Relational Operators">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Name
+ 
+ </th>
+<th>
+ 
+ kind
+ 
+ </th>
+<th>
+ 
+ Description
+ 
+ </th>
+<th>
+ 
+ Result
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
+<td>
+ 
+ using_equal_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator==</code> is available when adding <code class="computeroutput">using_equal</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_not_equal_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator!=</code> is available when adding <code class="computeroutput">using_not_equal</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_less_than_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator<</code> is available when adding
+ <code class="computeroutput">using_less_than</code>
+ meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_less_than_equal_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator<=</code> is available when adding
+ <code class="computeroutput">using_less_than_equal</code>
+ meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_greater_than_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator></code> is available when adding
+ <code class="computeroutput">using_greater_than</code>
+ meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_greater_than_equal_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator>=</code> is available when adding
+ <code class="computeroutput">using_greater_than_equal</code>
+ meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ equal_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check check <code class="computeroutput">oparator==</code> fail on default new_class
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ not_equal_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check check <code class="computeroutput">oparator!=</code> fail on default new_class
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ less_than_equal_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check check <code class="computeroutput">oparator<=</code> fail on default new_class
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ less_than_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check check <code class="computeroutput">oparator<</code> fail on default new_class
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ greater_than_equal_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check check <code class="computeroutput">oparator>=</code> fail on default new_class
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ greater_than_fail
+ 
+ </td>
+<td>
+ 
+ compile-fail
+ 
+ </td>
+<td>
+ 
+ check check <code class="computeroutput">oparator></code> fail on default new_class
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+</tbody>
+</table>
+</div>
+<div class="table">
+<a name="boost.opaque.appendices.appendix_e__tests.new_class.arithmetic_operators"></a>Table 9. Arithmetic Operators
+<table class="table" summary="Arithmetic Operators">
<colgroup>
<col>
<col>
<col>
+<col>
</colgroup>
<thead><tr>
<th>
 
- Meta-Mixin
+ Name
 
 </th>
<th>
 
- Meta-Mixin Sequence
+ kind
 
 </th>
<th>
 
- Ref
+ Description
+ 
+ </th>
+<th>
+ 
+ Result
 
 </th>
</tr></thead>
@@ -2732,614 +5215,819 @@
<tr>
<td>
 
- <code class="computeroutput">using_equality_comparable1<Bool></code>
+ using_plus_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator+</code> is available when adding <code class="computeroutput">using_plus</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_plus_assign_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator+=</code> is available when adding <code class="computeroutput">using_plus_assign</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_minus_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator-</code> is available when adding <code class="computeroutput">using_minus</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_minus_assign_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator-=</code> is available when adding <code class="computeroutput">using_minus_assign</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_multiply_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator*</code> is available when adding <code class="computeroutput">using_multiply</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_multiply_assign_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator*=</code> is available when adding <code class="computeroutput">using_multiply_assign</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_divide_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator/</code> is available when adding <code class="computeroutput">using_divide</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_divide_assign_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator/=</code> is available when adding <code class="computeroutput">using_divide_assign</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_modulus_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator%</code> is available when adding <code class="computeroutput">using_modulus</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_modulus_assign_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator%=</code> is available when adding <code class="computeroutput">using_modulus_assign</code> meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_unary_plus_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator+()</code> is available when adding
+ <code class="computeroutput">using_unary_plus</code>
+ meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_unary_minus_pass
+ 
+ </td>
+<td>
+ 
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator-()</code> is available when adding
+ <code class="computeroutput">using_unary_minus</code>
+ meta-mixin
+ 
+ </td>
+<td>
+ 
+ Pass
+ 
+ </td>
+</tr>
+<tr>
+<td>
+ 
+ using_pre_increment_pass
+ 
+ </td>
+<td>
+ 
+ run
 
 </td>
<td>
 
- <code class="computeroutput">using_equal<Bool></code>,
- <code class="computeroutput">using_not_equal<Bool></code>
+ check <code class="computeroutput">oparator++()</code> is available when adding
+ <code class="computeroutput">using_pre_increment</code>
+ meta-mixin
 
 </td>
<td>
 
- 20.1.1
+ Pass
 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_less_than_comparable1<Bool></code>
+ using_post_increment_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_less_than<Bool></code> <code class="computeroutput">using_less_than_equal<Bool></code> <code class="computeroutput">using_greater_than_equal<Bool></code> <code class="computeroutput">using_greater_than<Bool></code>
+ run
 
 </td>
<td>
 
- 20.1.2
+ check <code class="computeroutput">oparator++(int)</code> is available when adding <code class="computeroutput">using_post_increment</code> meta-mixin
 
 </td>
-</tr>
-<tr>
<td>
 
- <code class="computeroutput">using_partially_ordered1<Bool></code>
+ Pass
 
 </td>
+</tr>
+<tr>
<td>
 
- <code class="computeroutput">using_less_than<Bool></code> <code class="computeroutput">using_less_than_equal<Bool></code> <code class="computeroutput">using_greater_than_equal<Bool></code> <code class="computeroutput">using_greater_than<Bool></code>
+ using_pre_decrement_pass
 
 </td>
<td>
 
- 20.1.2
+ run
 
 </td>
-</tr>
-<tr>
<td>
 
- <code class="computeroutput">using_addable1</code>
+ check <code class="computeroutput">oparator--()</code> is available when adding
+ <code class="computeroutput">using_pre_decrement</code>
+ meta-mixin
 
 </td>
<td>
 
- <code class="computeroutput">using_plus_assign</code>
- <code class="computeroutput">using_plus</code>
+ Pass
 
 </td>
-<td>
- </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_subtractable1</code>
+ using_post_decrement_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_minus_assign</code>
- <code class="computeroutput">using_minus</code>
+ run
 
 </td>
<td>
- </td>
-</tr>
-<tr>
-<td>
 
- <code class="computeroutput">using_multipliable1</code>
+ check <code class="computeroutput">oparator--(int)</code> is available when adding <code class="computeroutput">using_post_decrement</code> meta-mixin
 
 </td>
<td>
 
- <code class="computeroutput">using_multiply_assign</code>
- <code class="computeroutput">using_multiply</code>
+ Pass
 
 </td>
-<td>
- </td>
</tr>
+</tbody>
+</table>
+</div>
+<div class="table">
+<a name="boost.opaque.appendices.appendix_e__tests.new_class.bitwise_operators"></a>Table 10. Bitwise Operators
+<table class="table" summary="Bitwise Operators">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Name
+ 
+ </th>
+<th>
+ 
+ kind
+ 
+ </th>
+<th>
+ 
+ Description
+ 
+ </th>
+<th>
+ 
+ Result
+ 
+ </th>
+</tr></thead>
+<tbody>
<tr>
<td>
 
- <code class="computeroutput">using_dividable1</code>
+ using_bitwise_not_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_divide_assign</code>
- <code class="computeroutput">using_divide</code>
+ run
 
 </td>
<td>
- </td>
-</tr>
-<tr>
-<td>
 
- <code class="computeroutput">using_modable1</code>
+ check <code class="computeroutput">oparator~</code> is available when adding <code class="computeroutput">using_bitwise_not</code> meta-mixin
 
 </td>
<td>
 
- <code class="computeroutput">using_modulus_assign</code>
- <code class="computeroutput">using_modulus</code>
+ Pass
 
 </td>
-<td>
- </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_xorable1</code>
+ using_bitwise_xor_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_bitwise_xor_assign</code>
- <code class="computeroutput">using_bitwise_xor</code>
+ run
 
 </td>
<td>
- </td>
-</tr>
-<tr>
-<td>
 
- <code class="computeroutput">using_bitwise_orable1</code>
+ check <code class="computeroutput">oparator^</code> is available when adding <code class="computeroutput">using_bitwise_xor</code> meta-mixin
 
 </td>
<td>
 
- <code class="computeroutput">using_bitwise_or_assign</code>
- <code class="computeroutput">using_bitwise_or</code>
+ Pass
 
 </td>
-<td>
- </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_bitwise_andable1</code>
+ using_bitwise_xor_assign_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_bitwise_and_assign</code>
- <code class="computeroutput">using_bitwise_and</code>
+ run
 
 </td>
<td>
- </td>
-</tr>
-<tr>
-<td>
 
- <code class="computeroutput">using_left_shiftable1</code>
+ check <code class="computeroutput">oparator^=</code> is available when adding <code class="computeroutput">using_bitwise_xor_assign</code> meta-mixin
 
 </td>
<td>
 
- <code class="computeroutput">using_left_right_assign</code>
- <code class="computeroutput">using_left_shift1</code>
+ Pass
 
 </td>
-<td>
- </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_right_shiftable1</code>
+ using_bitwise_or_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_right_shift_assign</code>
- <code class="computeroutput">using_right_shift1</code>
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator|</code> is available when adding <code class="computeroutput">using_bitwise_or</code> meta-mixin
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_incrementable</code>
+ using_bitwise_or_assign_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_pre_increment></code> <code class="computeroutput">using_post_increment</code>
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator|=</code> is available when adding <code class="computeroutput">using_bitwise_or_assign</code> meta-mixin
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_decrementable</code>
+ using_bitwise_and_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_pre_decrement></code> <code class="computeroutput">using_post_decrement</code>
+ run
 
 </td>
<td>
- </td>
-</tr>
-</tbody>
-</table></div>
-<div class="informaltable"><table class="table">
-<colgroup>
-<col>
-<col>
-<col>
-</colgroup>
-<thead><tr>
-<th>
 
- Meta-Mixin
+ check <code class="computeroutput">oparator&</code> is available when adding
+ <code class="computeroutput">using_bitwise_and</code>
+ meta-mixin
 
- </th>
-<th>
+ </td>
+<td>
 
- Meta-Mixin Sequence
+ Pass
 
- </th>
-<th>
+ </td>
+</tr>
+<tr>
+<td>
 
- Ref
+ using_bitwise_and_assign_pass
 
- </th>
-</tr></thead>
-<tbody>
-<tr>
+ </td>
<td>
 
- <code class="computeroutput">using_totally_ordered1<Bool></code>
+ run
 
 </td>
<td>
 
- <code class="computeroutput">using_equality_comparable1<Bool></code> <code class="computeroutput">using_less_than_comparable1<Bool></code>
+ check <code class="computeroutput">oparator&=</code> is available when adding
+ <code class="computeroutput">using_bitwise_and_assign</code>
+ meta-mixin
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_additive1</code>
+ using_left_shift_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_addable1</code>
- <code class="computeroutput">using_subtractable1</code>
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator<<</code> is available when adding
+ <code class="computeroutput">using_left_shift</code>
+ meta-mixin
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_multiplicative1</code>
+ using_left_shift_assign_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_multipliable1</code>
- <code class="computeroutput">using_dividable1</code>
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator<<=</code> is available when adding
+ <code class="computeroutput">using_left_shift_assign</code>
+ meta-mixin
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">integer_multiplicative1</code>
+ using_right_shift_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_multiplicative1</code>
- <code class="computeroutput">using_modable1</code>
+ run
+ 
+ </td>
+<td>
+ 
+ check <code class="computeroutput">oparator>></code> is available when adding
+ <code class="computeroutput">using_right_shift</code>
+ meta-mixin
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_arithmetic1</code>
+ using_right_shift_assign_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_additive1</code>
- <code class="computeroutput">using_multiplicative1</code>
+ run
 
 </td>
<td>
+ 
+ check <code class="computeroutput">oparator>>=</code> is available when adding
+ <code class="computeroutput">using_right_shift_assign</code>
+ meta-mixin
+ 
 </td>
-</tr>
-<tr>
<td>
 
- <code class="computeroutput">using_integer_arithmetic1</code>
+ Pass
 
 </td>
+</tr>
+</tbody>
+</table>
+</div>
+<div class="table">
+<a name="boost.opaque.appendices.appendix_e__tests.new_class.logical_operators"></a>Table 11. Logical Operators
+<table class="table" summary="Logical Operators">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
+ 
+ Name
+ 
+ </th>
+<th>
+ 
+ kind
+ 
+ </th>
+<th>
+ 
+ Description
+ 
+ </th>
+<th>
+ 
+ Result
+ 
+ </th>
+</tr></thead>
+<tbody>
+<tr>
<td>
 
- <code class="computeroutput">using_additive1</code>
- <code class="computeroutput">integer_multiplicative1</code>
+ using_logical_not_pass
 
 </td>
<td>
- </td>
-</tr>
-<tr>
-<td>
 
- <code class="computeroutput">using_bitwise1</code>
+ run
 
 </td>
<td>
 
- <code class="computeroutput">using_bitwise_xorable1</code>
- <code class="computeroutput">using_bitwise_orable1</code>
- <code class="computeroutput">using_bitwise_andable1</code>
+ check <code class="computeroutput">oparator!</code> is available when adding <code class="computeroutput">using_logical_not</code> meta-mixin
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_unit_steppable</code>
+ using_logical_and_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_incrementable</code>
- <code class="computeroutput">using_decrementable</code>
+ run
 
 </td>
<td>
- </td>
-</tr>
-<tr>
-<td>
 
- <code class="computeroutput">using_shiftable1</code>
+ check <code class="computeroutput">oparator&&</code> is available when adding
+ <code class="computeroutput">using_logical_and</code>
+ meta-mixin
 
 </td>
<td>
 
- <code class="computeroutput">using_left_shiftable1</code>
- <code class="computeroutput">using_right_shiftable1</code>
+ Pass
 
 </td>
-<td>
- </td>
</tr>
<tr>
<td>
 
- <code class="computeroutput">using_ring_operators1</code>
+ using_logical_or_pass
 
 </td>
<td>
 
- <code class="computeroutput">using_additive1</code>
- <code class="computeroutput">using_multipliable1</code>
+ run
 
 </td>
<td>
- </td>
-</tr>
-<tr>
-<td>
 
- <code class="computeroutput">using_ordered_ring_operators1<Bool></code>
+ check <code class="computeroutput">oparator||</code> is available when adding <code class="computeroutput">using_logical_and</code> meta-mixin
 
 </td>
<td>
 
- <code class="computeroutput">using_ring_operators1</code>
- <code class="computeroutput">using_totally_ordered1<Bool></code>
+ Pass
 
 </td>
-<td>
- </td>
</tr>
-<tr>
-<td>
+</tbody>
+</table>
+</div>
+</div>
+<div class="section" lang="en">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="boost.opaque.appendices.appendix_e__tests.new_type"></a>new_type
+</h4></div></div></div>
+<div class="informaltable"><table class="table">
+<colgroup>
+<col>
+<col>
+<col>
+<col>
+</colgroup>
+<thead><tr>
+<th>
 
- <code class="computeroutput">using_field_operators1<Bool></code>
+ Name
 
- </td>
-<td>
+ </th>
+<th>
 
- <code class="computeroutput">using_ring_operators1</code>
- <code class="computeroutput">using_dividable1<Bool></code>
+ kind
 
- </td>
+ </th>
+<th>
+ 
+ Description
+ 
+ </th>
+<th>
+ 
+ Result
+ 
+ </th>
+</tr></thead>
+<tbody><tr>
<td>
+ 
+ regular.pass
+ 
 </td>
-</tr>
-<tr>
<td>
 
- <code class="computeroutput">using_ordered_field_operators1<Bool></code>
+ run
 
 </td>
<td>
 
- <code class="computeroutput">using_field_operators1</code>
- <code class="computeroutput">using_totally_ordered1<Bool></code>
+ check constructors and assignements
 
 </td>
<td>
+ 
+ Pass
+ 
 </td>
-</tr>
-</tbody>
+</tr></tbody>
</table></div>
</div>
<div class="section" lang="en">
<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.reference.meta_mixins.hiding_combined_operators_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.hiding_combined_operators_hpp" title="
- Header <boost/opaque/metamixin/hiding_combined_operators.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/hiding_combined_operators.hpp></code></a>
-</h4></div></div></div>
-
- This file includes meta-mixins combining several hiding meta-mixins that
- are used to hide operator overloads that have been defined by a base clas.
- 
-
- These meta-mixins have names that follows the naming used in Boost.Operators,
- but prefixed by <code class="computeroutput">hiding_</code>.
- 
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.reference.meta_mixins.transitive_substituable_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp" title="
- Header <boost/opaque/metamixin/transitive_substituable.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/transitive_substituable.hpp></code></a>
-</h4></div></div></div>
-<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp.transitive_substituable">
- Class Template <code class="computeroutput">transitive_substituable<></code></a></dt></dl></div>
-<pre class="programlisting">namespace boost {
- template <typename BaseClass, typename UT>
- struct transitive_substituable;
-}
-</pre>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h5 class="title">
-<a name="boost.opaque.reference.meta_mixins.transitive_substituable_hpp.transitive_substituable"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_substituable_hpp.transitive_substituable" title="
- Class Template transitive_substituable<>">
- Class Template <code class="computeroutput">transitive_substituable<></code></a>
-</h5></div></div></div>
-
- This metamixin provides the Final class implicit conversions for all
- the underlying types hierarchy.
- 
-<pre class="programlisting">template <typename BaseClass, typename UT>
-struct transitive_substituable;
-</pre>
-</div>
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp" title="
- Header <boost/opaque/metamixin/transitive_explicit_substituable.hpp>">
- Header <code class="computeroutput"><boost/opaque/metamixin/transitive_explicit_substituable.hpp></code></a>
-</h4></div></div></div>
-<div class="toc"><dl><dt><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp.transitive_explicit_substituable">
- Class Template <code class="computeroutput">transitive_explicit_substituable<></code></a></dt></dl></div>
-<pre class="programlisting">namespace boost {
- template <typename BaseClass, typename UT>
- struct transitive_explicit_substituable;
-}
-</pre>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h5 class="title">
-<a name="boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp.transitive_explicit_substituable"></a><a href="index.html#boost.opaque.reference.meta_mixins.transitive_explicit_substituable_hpp.transitive_explicit_substituable" title="
- Class Template transitive_explicit_substituable<>">
- Class Template <code class="computeroutput">transitive_explicit_substituable<></code></a>
-</h5></div></div></div>
-<pre class="programlisting">template <typename BaseClass, typename UT>
-struct transitive_explicit_substituable;
-</pre>
-
- This metamixin provides the Final class explicit conversions for all
- the underlying types hierarchy (when the compiler supports explicit conversion
- operators). For portability purposed the library provide as workarround
- a convert_to non member function.
- 
-<pre class="programlisting">template <typename BaseClass, typename UT>
-struct transitive_explicit_substituable;
-</pre>
-</div>
-</div>
-</div>
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h2 class="title" style="clear: both">
-<a name="boost.opaque.appendices"></a>Appendices
-</h2></div></div></div>
-<div class="toc"><dl>
-<dt> Appendix A: History</dt>
-<dd><dl><dt>Version 0.1.0, October 18, 2010 </dt></dl></dd>
-<dt><a href="index.html#boost.opaque.appendices.rationale"> Appendix B: Design
- Rationale</a></dt>
-<dt><a href="index.html#boost.opaque.appendices.implementation"> Appendix C:
- Implementation Notes</a></dt>
-<dt><a href="index.html#boost.opaque.appendices.acknowledgements"> Appendix D:
- Acknowledgements</a></dt>
-<dt><a href="index.html#boost.opaque.appendices.appendix_e__tests">Appendix E:
- Tests</a></dt>
-<dd><dl><dt>Builtins</dt></dl></dd>
-<dt><a href="index.html#boost.opaque.appendices.appendix_f__tickets">Appendix
- F: Tickets</a></dt>
-<dt> Appendix F: Future plans</dt>
-</dl></div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h3 class="title">
-<a name="boost.opaque.appendices.history"></a> Appendix A: History
-</h3></div></div></div>
-<div class="toc"><dl><dt>Version 0.1.0, October 18, 2010 </dt></dl></div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.appendices.history.__version_0_1_0__october_18__2010__"></a>Version 0.1.0, October 18, 2010
-</h4></div></div></div>
-
- Features:
- 
-<div class="itemizedlist"><ul type="disc"><li>
- a
- </li></ul></div>
-</div>
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h3 class="title">
-<a name="boost.opaque.appendices.rationale"></a><a href="index.html#boost.opaque.appendices.rationale" title=" Appendix B: Design
- Rationale"> Appendix B: Design
- Rationale</a>
-</h3></div></div></div>
-<a name="boost.opaque.appendices.rationale.lala"></a><h4>
-<a name="id5012523"></a>
- lala
- </h4>
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h3 class="title">
-<a name="boost.opaque.appendices.implementation"></a><a href="index.html#boost.opaque.appendices.implementation" title=" Appendix C:
- Implementation Notes"> Appendix C:
- Implementation Notes</a>
-</h3></div></div></div>
-<a name="boost.opaque.appendices.implementation.lala"></a><h4>
-<a name="id5012561"></a>
- lala
- </h4>
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h3 class="title">
-<a name="boost.opaque.appendices.acknowledgements"></a><a href="index.html#boost.opaque.appendices.acknowledgements" title=" Appendix D:
- Acknowledgements"> Appendix D:
- Acknowledgements</a>
-</h3></div></div></div>
-
- Thanks to .
- 
-</div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h3 class="title">
-<a name="boost.opaque.appendices.appendix_e__tests"></a><a href="index.html#boost.opaque.appendices.appendix_e__tests" title="Appendix E:
- Tests">Appendix E:
- Tests</a>
-</h3></div></div></div>
-<div class="toc"><dl><dt>Builtins</dt></dl></div>
-<div class="section" lang="en">
-<div class="titlepage"><div><div><h4 class="title">
-<a name="boost.opaque.appendices.appendix_e__tests.builtins"></a>Builtins
+<a name="boost.opaque.appendices.appendix_e__tests.public_opaque_class"></a>public_opaque_class
</h4></div></div></div>
<div class="informaltable"><table class="table">
<colgroup>
@@ -3347,7 +6035,6 @@
<col>
<col>
<col>
-<col>
</colgroup>
<thead><tr>
<th>
@@ -3370,16 +6057,11 @@
 Result
 
 </th>
-<th>
- 
- Ticket
- 
- </th>
</tr></thead>
<tbody><tr>
<td>
 
- convert_to_with_builtin_types
+ regular.pass
 
 </td>
<td>
@@ -3389,8 +6071,7 @@
 </td>
<td>
 
- check <code class="computeroutput">convert_to</code>
- works for builting types
+ check constructors and assignements
 
 </td>
<td>
@@ -3398,11 +6079,6 @@
 Pass
 
 </td>
-<td>
- 
- #
- 
- </td>
</tr></tbody>
</table></div>
</div>
@@ -3417,26 +6093,23 @@
<a name="boost.opaque.appendices.todo"></a> Appendix F: Future plans
</h3></div></div></div>
<a name="boost.opaque.appendices.todo.tasks_to_do_before_review"></a><h4>
-<a name="id5012781"></a>
+<a name="id5021692"></a>
 <a href="index.html#boost.opaque.appendices.todo.tasks_to_do_before_review">Tasks
 to do before review</a>
 </h4>
-<div class="itemizedlist"><ul type="disc"><li>
- lala
- </li></ul></div>
-<a name="boost.opaque.appendices.todo.for_later_releases"></a><h4>
-<a name="id5012814"></a>
- <a href="index.html#boost.opaque.appendices.todo.for_later_releases">For later
- releases</a>
- </h4>
-<div class="itemizedlist"><ul type="disc"><li>
- lala
- </li></ul></div>
+<div class="itemizedlist"><ul type="disc">
+<li>
+ Complete the tests
+ </li>
+<li>
+ Add hiding meta-mixins
+ </li>
+</ul></div>
</div>
</div>
</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
-<td align="left">Last revised: October 03, 2010 at 19:53:00 GMT</td>
+<td align="left">Last revised: October 04, 2010 at 20:36:10 GMT</td>
<td align="right"><div class="copyright-footer"></div></td>
</tr></table>
<hr>

Modified: sandbox/opaque/libs/opaque/doc/opaque.qbk
==============================================================================
--- sandbox/opaque/libs/opaque/doc/opaque.qbk (original)
+++ sandbox/opaque/libs/opaque/doc/opaque.qbk 2010-10-04 16:37:53 EDT (Mon, 04 Oct 2010)
@@ -102,7 +102,7 @@
# Application of inheritance makes no provision that permits a base class to be cv-qualified.
]

-In Alisdair Meredith showed in [] the implicitly generating forwarding constructors to a base class new C++0x feature could not be useful to address this issue completly. Using this new feature it becomes possible to create something very like the required opaque typedef. For example:
+In Alisdair Meredith showed in [] the implicitly generating forwarding constructors to a base class new C++0x feature could not be useful to address this issue completly. Using this new feature it becomes possible to create something very like the required opaque typedef. For example:

 struct MyType : std::string {
 using string::string;
@@ -228,10 +228,10 @@
We will start with the definition of a new type identifier which is based on an underlying int type and has the relational operators so it can be stored on a sorted container.

 struct Identifier_tag;
- typedef boost::opaque::new_type< int, Identifier_tag,
+ typedef boost::opaque::new_type< int, Identifier_tag,
 boost::mpl::vector<
 opaque::using_totally_ordered1
- >
+ >
> Identifier;

The declaration of a new typedef Identifier is done as follows. We need to declare a specific tag that will ensure that two new types are different.
@@ -260,16 +260,16 @@

In the prededing example we use a tag to ensure type unicity. When the user needs to add yet some specific methods, this tag is no more necessary as we need to define already a new class.

- class Identifier : boost::opaque::new_class<Identifier, int,
+ class Identifier : boost::opaque::new_class<Identifier, int,
 boost::mpl::vector<
 opaque::using_totally_ordered1
- >
+ >
 {
 void print();
 // ...
 };

-In this case we use the mixin class `new_class` instead. The `new_class` class template has the following arguments,
+In this case we use the mixin class `new_class` instead. The `new_class` class template has the following arguments,

* the class we are defining
* the underlying type (`int`),
@@ -297,7 +297,7 @@
 Bool f(Int a, Int b)
 {
 if(cnd()) return 0; // 1
- else return a > b;
+ else return a > b;
 }

We can define an bool opaque typedef so only `true_` and `false_` are accepted as constant expressions
@@ -307,25 +307,25 @@

 Bool f(Int a, Int b)
 {
- if(cnd()) return 0; // (1) Error
- else return a > b; // (2) Error
+ if(cnd()) return 0; // (1) Error
+ else return a > b; // (2) Error
 }

-Now we get an error on (1) as `0` is not convertible to `opaque::boolean`. This can be easily solved
+Now we get an error on (1) as `0` is not convertible to `opaque::boolean`. This can be easily solved

 Bool f(Int a, Int b)
 {
 if(cnd()) return opaque::false_; // OK
- else return a > b; // (2) Error
+ else return a > b; // (2) Error
 }

-But now we also get an error on (2) as `a > b` is not convertible to `opaque::boolean`. To solve this issue we need that the signature `Int > Int` be convertible to `opaque::boolean`.
+But now we also get an error on (2) as `a > b` is not convertible to `opaque::boolean`. To solve this issue we need that the signature `Int > Int` be convertible to `opaque::boolean`.

[*Boost.Opaque] provides a meta-mixin that allos to define an integer-like class that use `opaque::boolean` as type for the result of the relational operators.

 struct Int_tag;
 typedef boost::opaque::new_type<int, Int_tag, boost::mpl::vector<
- opaque::using_integer_like<opaque::boolean>
+ opaque::using_integer_like<opaque::boolean>
> > Int;

With this definition, the preceding example compiles and does what we are expecting.
@@ -339,7 +339,7 @@

[section Opaque typedefs]

-While the preceding examples restrict the operations of the underlying type, sometimes it is useful to define a different type that provides the same operations than the underlying type and that allows some conversions. In this case we use the opaque typedefs.
+While the preceding examples restrict the operations of the underlying type, sometimes it is useful to define a different type that provides the same operations than the underlying type and that allows some conversions. In this case we use the opaque typedefs.

For example, we can need real new typedefs to be able to overload a function. This can be done with the `BOOST_OPAQUE_PUBLIC_TYPEDEF` macro.

@@ -367,6 +367,13 @@

[section Explicit versus Implicit Conversions to the UT]

+Opaque typedef are explicitly convertible to the underlying type. But are they implicitly convertible? It depends. So the library provide two kind of opaque typedef :
+
+* public opaque typedef: implicit conversion to the underlying type
+* public opaque typedef: explict conversion to the underlying type
+
+
+
[endsect]

[section Hiding inherited operations]
@@ -391,10 +398,17 @@
[endsect]
[section Underlying types hierarchy]

+Opaque and underlying types form a hierarchy with a implicit or explicit conversion from the OT to the UT. This convertibility is a relation.
+It seems natural that this relation satisfy the transitivity property.
+
[endsect]

[section Using UDT as Underlying types]

+Talk about the problem with direct data access that can not be wrapped by the underlying type.
+
+For example we can access the fisrt field of the UT pair, but the OT can not give this access. Instead the OT could define some function accessors that inderectly will almost behave as the data member.
+
[endsect]

[endsect]
@@ -402,6 +416,22 @@
[section Examples]
[section Identifier]

+One of the use cases that were at the origin of this library was to be able to define different identifiers that can be stored on a ordered container.
+
+The following template IdentifierGenarator can be used for this propose
+
+ template <typename UT, typename Tag>
+ struct IdentifierGenarator
+ {
+ typedef boost::opaque::new_type<UT, Tag,
+ boost::mpl::vector<boost::opaque::using::less_than_comparable> type;
+ };
+
+The class can be used as follows
+
+ struct ConnectionIdentifierTag {};
+ typedef IdentifierGenarator<int, ConnectionIdentifierTag>::type ConnectionIdentifier;
+

[endsect]
[endsect]
@@ -494,24 +524,33 @@
[section:new_class Class Template `new_class<>`]
[/==========================================================================================]

+`new_class<>` wraps an underlying type providing the regular constructors and copy construction from the underlying type and all the convertibles to the the UT.
+
+Resuming:
+
+* Can instances of UT be explicitly converted to instances of OT? Yes
+* Can instances of convertible to UT be explicitly converted to instances of OT? Yes
+* Can instances of UT be implicitly converted to instances of OT? No
+* Can instances of OT be explicitly converted to instances of UT? No
+* Can instances of OT be implicitly converted to instances of UT? No

 template <
 typename Final,
- typename T,
- typename MetaMixinSeq=boost::mpl::vector0<>,
- typename Base=base_new_type
+ typename UT,
+ typename MetaMixinSeq,
+ typename Base
>
 class new_class : public linear_hierarchy<MetaMixinSeq, Final, Base>::type
 {
 public:
- typedef T underlying_type;
+ typedef UT underlying_type;

 template <typename W>
 explicit new_class(W v);
 new_class();
 new_class(const new_class & rhs);
- explicit new_class(T v);
+ explicit new_class(underlying_type v);
 protected:
 T val_;
 new_class & operator=(const new_class & rhs);
@@ -533,6 +572,13 @@

 };

+[*Requirements]
+
+* `UT` must be a model of a CopyCOnstructible and Assignable.
+* `Final` must be a model of FinalUnderlying.
+* `MetaMixinSeq` must be a model of FinalUnderlying: defaulted to the empty sequence.
+* `Base` is defaulted to the base class of all the new types `base_new_type`.
+

[endsect]

@@ -549,6 +595,12 @@
>
 T opaque_static_cast(new_class<Final, UT, MetaMixinSeq, Base> const& v);

+[*Requirements]
+
+* `T` and `UT` must be a model of a CopyCOnstructible and Assignable.
+* `Final` must be a model of FinalUnderlying.
+* `MetaMixinSeq` must be a model of FinalUnderlying.
+
[endsect]

[endsect]
@@ -558,9 +610,9 @@

 namespace boost {
 template <
- typename T,
+ typename UT,
 typename Tag,
- typename Concepts=boost::mpl::vector0<>,
+ typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_new_type>
 class new_type;

@@ -568,22 +620,31 @@
[section:new_type Class Template `new_type<>`]
[/==========================================================================================]

+`new_type<>` provides the equivalent of `new_class<>` but can be used as a typedef.
+
 template <
- typename T,
+ typename UT,
 typename Tag,
- typename Concepts,
+ typename MetaMixinSeq,
 typename Base
 class new_type
- : public new_class<new_type<T, Tag, Concepts, Base>, T, Concepts, Base>
+ : public new_class<new_type<UT, Tag, MetaMixinSeq, Base>, UT, MetaMixinSeq, Base>
 {
 public:
 template <typename W>
 explicit new_type(W v);
 new_type();
 new_type(const new_type & rhs);
- explicit new_type(T v);
+ explicit new_type(UT v);
 };

+[*Requirements]
+
+* `UT` must be a model of a CopyCOnstructible and Assignable.
+* `Tag` must be a unique class.
+* `MetaMixinSeq` must be a model of FinalUnderlying: defaulted to the empty sequence.
+* `Base` is defaulted to the base class of all the new types `base_new_type`.
+

[endsect]

@@ -595,10 +656,10 @@
 typename T,
 typename UT,
 typename Tag,
- typename Concepts,
+ typename MetaMixinSeq,
 typename Base
>
- T opaque_static_cast(new_type<UT,Tag,Concepts,Base> const& v);
+ T opaque_static_cast(new_type<UT,Tag,MetaMixinSeq,Base> const& v);

[endsect]

@@ -646,24 +707,20 @@
 class base_private_opaque_type;
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_private_opaque_type
>
 class private_opaque_class;
 }

-* Can instances of UT be explicitly converted to instances of OT? Yes
-* Can instances of UT be implicitly converted to instances of OT? No
-* Can instances of OT be explicitly converted to instances of UT? Yes.
-* Waiting for explicit conversion operators,, the explicit conversion must be done through the underlying function
-* Can instances of OT be implicitly converted to instances of UT? No
-

[/==========================================================================================]
[section:base_private_opaque_type Class `base_private_opaque_type`]
[/==========================================================================================]

+This is the base class of all the private opaque types.
+
 class base_private_opaque_type {};

[endsect]
@@ -672,18 +729,34 @@
[section:private_opaque_class Class Template `private_opaque_class<>`]
[/==========================================================================================]

+Resuming:
+
+* Can instances of UT be explicitly converted to instances of OT? Yes
+* Can instances of convertibles to UT be explicitly converted to instances of OT? Yes
+* Can instances of UT be implicitly converted to instances of OT? No
+* Can instances of OT be explicitly converted to instances of UT? Yes.
+* Can instances of OT be explicitly converted to instances of convertible to UT? Yes
+* Can instances of OT be implicitly converted to instances of UT? No
+* Can instances of OT be implicitly converted to instances of convertible to UT? No
+
+[note Waiting for explicit conversion operators, the explicit conversion must be done through the underlying function]
+
+`private_opaque_class<>` is a `new_class` with the `transitive_explicit_substituable<base_private_opaque_type>` and `inherited_from_underlying<UT>` added to the sequence of meta-mixins MetaMixinSeq, so a `private_opaque_class` inherits from all the operations of tye underlying type and adds transitive explicit conversions to all the substituables. The nested typedef `substituables` is the MPL sequence of all the UT in the opaque type hierarchy.
+
+
+
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq,
 typename Base
>
 class private_opaque_class : public
- new_class< Final, T,
+ new_class< Final, UT,
 mpl::push<
 transitive_explicit_substituable<base_private_opaque_type>,
 mpl::push<
- inherited_from_undelying<T>,
+ inherited_from_underlying<UT>,
 MetaMixinSeq
>
>,
@@ -695,7 +768,7 @@
 private_opaque_class();
 private_opaque_class(const private_opaque_class & rhs);
 private_opaque_class(const Final & rhs);
- explicit private_opaque_class(T v);
+ explicit private_opaque_class(UT v);
 template <typename W>
 explicit private_opaque_class(W v);
 };
@@ -711,7 +784,7 @@
 namespace boost {
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_private_opaque_type
>
@@ -722,26 +795,34 @@
[section:private_opaque_type Class Template `private_opaque_type<>`]
[/==========================================================================================]

+`private_opaque_type<>` provides the equivalent of `private_opaque_class<>` but can be used as a typedef.
+
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq,
 typename Base
>
 class private_opaque_type : public
 private_opaque_class<
- private_opaque_type<T,Tag,MetaMixinSeq,Base>, T, MetaMixinSeq, Base>
+ private_opaque_type<UT,Tag,MetaMixinSeq,Base>, UT, MetaMixinSeq, Base>
 {
 public:

 private_opaque_type();
 private_opaque_type(const private_opaque_class & rhs);
 private_opaque_type(const Final & rhs);
- explicit private_opaque_type(T v);
+ explicit private_opaque_type(UT v);
 template <typename W>
 explicit private_opaque_type(W v);
 };

+[*Requirements]
+
+* `UT` must be a model of a CopyCOnstructible and Assignable.
+* `Tag` must be a unique class.
+* `MetaMixinSeq` must be a model of FinalUnderlying: defaulted to the empty sequence.
+* `Base` is defaulted to the base class of all the new types `base_new_type`.

[endsect]
@@ -759,22 +840,20 @@

 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_public_opaque_type
>
 class public_opaque_class;
 }

-* Can instances of UT be explicitly converted to instances of OT? Yes
-* Can instances of UT be implicitly converted to instances of OT? No
-* Can instances of OT be explicitly converted to instances of UT? Yes
-* Can instances of OT be implicitly converted to instances of UT? Yes

[/==========================================================================================]
[section:private_opaque_class Class `base_public_opaque_type`]
[/==========================================================================================]

+This is the base class of all the public opaque types.
+
 class base_public_opaque_type {};

[endsect]
@@ -787,24 +866,38 @@
 typedef <see below> type;
 }

+The nested typedef `type` is an MPL sequence of all the UT in the opaque type hierarchy.
+
[endsect]

[/==========================================================================================]
[section:public_opaque_class Class Template `public_opaque_class<>`]
[/==========================================================================================]

+Resuming:
+
+* Can instances of UT be explicitly converted to instances of OT? Yes
+* Can instances of UT be implicitly converted to instances of OT? No
+* Can instances of OT be explicitly converted to instances of UT? Yes
+* Can instances of OT be explicitly converted to instances of convertible to UT? Yes
+* Can instances of OT be implicitly converted to instances of UT? Yes
+* Can instances of OT be implicitly converted to instances of convertible to UT? Yes
+
+`public_opaque_class<>` is a `new_class` with the `transitive_substituable<base_public_opaque_type>` and `inherited_from_underlying<UT>` added to the sequence of meta-mixins MetaMixinSeq, so a public_opaque_type inherits from all the operations of tye underlying type and adds transitive implicit conversions to all the substituables. The nested typedef `substituables` is the MPL sequence of all the UT in the opaque type hierarchy.
+
+
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_public_opaque_type
>
 class public_opaque_class
- : public new_class< Final, T,
+ : public new_class< Final, UT,
 mpl::push<
 transitive_substituable<base_public_opaque_type>,
 mpl::push<
- inherited_from_undelying<T>,
+ inherited_from_underlying<UT>,
 MetaMixinSeq
>
>,
@@ -817,13 +910,14 @@
 public_opaque_class();
 public_opaque_class(const public_opaque_class & rhs);
 public_opaque_class(const Final & rhs);
- explicit public_opaque_class(T v);
+ explicit public_opaque_class(UT v);
 template <typename W>
 explicit public_opaque_class(W v);

 };
+
[endsect]
-
+

[endsect]

@@ -834,7 +928,7 @@
 namespace boost {
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq=boost::mpl::vector0<>,
 typename Base=base_public_opaque_type
>
@@ -845,26 +939,35 @@
[section:public_opaque_type Class Template `public_opaque_type<>`]
[/==========================================================================================]

+`private_opaque_typublic_opaque_typepe<>` provides the equivalent of `public_opaque_class<>` but can be used as a typedef.
+
 template <
 typename Final,
- typename T,
+ typename UT,
 typename MetaMixinSeq,
 typename Base
>
 class public_opaque_type : public
 public_opaque_class<
- public_opaque_type<T,Tag,MetaMixinSeq,Base>, T, MetaMixinSeq, Base>
+ public_opaque_type<UT,Tag,MetaMixinSeq,Base>, UT, MetaMixinSeq, Base>
 {
 public:

 public_opaque_type();
 public_opaque_type(const public_opaque_type & rhs);
 public_opaque_type(const Final & rhs);
- explicit public_opaque_type(T v);
+ explicit public_opaque_type(UT v);
 template <typename W>
 explicit public_opaque_type(W v);
 };

+[*Requirements]
+
+* `UT` must be a model of a CopyCOnstructible and Assignable.
+* `Tag` must be a unique class.
+* `MetaMixinSeq` must be a model of FinalUnderlying: defaulted to the empty sequence.
+* `Base` is defaulted to the base class of all the new types `base_new_type`.
+
[endsect]
[endsect]

@@ -932,7 +1035,7 @@
 ...
 };

-The Final class must make the following
+The `Final` class must satisfy the `FinalUnderlying` requirements.

[endsect]

@@ -950,6 +1053,8 @@
 };
 };

+The `Final` class must satisfy the `FinalUnderlying` requirements.
+
[endsect]

[/==========================================================================================]
@@ -963,7 +1068,7 @@
[endsect]

[/==========================================================================================]
-[section:linear_hierarchy_hpp Header `<boost/opaque/metamixin/linear_hierarchy.hpp>`]
+[section:linear_hierarchy_hpp Header `<boost/opaque/meta_mixin/linear_hierarchy.hpp>`]
[/==========================================================================================]

 namespace boost {
@@ -988,27 +1093,27 @@
[endsect]

[/==========================================================================================]
-[section:inherited_from_undelying_hpp Header `<boost/opaque/metamixin/inherited_from_undelying.hpp>`]
+[section:inherited_from_underlying_hpp Header `<boost/opaque/meta_mixin/inherited_from_underlying.hpp>`]
[/==========================================================================================]

 namespace boost {
 template <typename T, typename Bool=bool>
- struct inherited_from_undelying;
+ struct inherited_from_underlying;
 }

[/==========================================================================================]
-[section:inherited_from_undelying Class Template `inherited_from_undelying<>`]
+[section:inherited_from_underlying Class Template `inherited_from_underlying<>`]
[/==========================================================================================]

 template <typename T, typename Bool>
- struct inherited_from_undelying;
+ struct inherited_from_underlying;

-`inherited_from_undelying` is a `MetaMixin` which adds wrapping member to the underlyibg type `UT`.
+`inherited_from_underlying` is a `MetaMixin` which adds wrapping member to the underlyibg type `UT`.

This class must specialized for specific types in order to make easier the construction of opaque types having `UT` as underlying type. For example the library provide specializations for each one of the buil-in types.

 template <typename Bool>
- struct inherited_from_undelying<int> {
+ struct inherited_from_underlying<int> {
 template <typename Final, typename Base>
 struct type; //implementation defined
 };
@@ -1017,7 +1122,7 @@
[endsect]

[/==========================================================================================]
-[section:using_operators_hpp Header `<boost/opaque/metamixin/using_operators.hpp>`]
+[section:using_operators_hpp Header `<boost/opaque/meta_mixin/using_operators.hpp>`]
[/==========================================================================================]

This file includes meta-mixins that are used to add un operator overloads forwarding from the Final type to the underlying type. There is a meta-mixins for each one of the C++ overloadable operators.
@@ -1029,7 +1134,7 @@

The arithmetic meta-mixins ease the task of creating a custom numeric type based on the underlying type. Given an underlying type, the templates add forward operators from the numeric class to the underlying type. These operations are like the ones the standard arithmetic types have, and may include comparisons, adding, incrementing, logical and bitwise manipulations, etc. Further, since most numeric types need more than one of these operators, some templates are provided to combine several of the basic operator templates in one declaration.

-The requirements for the types used to instantiate the simple operator templates are specified in terms of expressions which must be valid and the expression's return type.
+The requirements for the types used to instantiate the simple operator templates are specified in terms of expressions which must be valid and the expression's return type.

These meta-mixins are "simple" since they provide un operator based on a single operation the underlying type has to provide. They have an additional optional template parameter Base, which is not shown, for the base class chaining technique.
@@ -1052,60 +1157,147 @@
* lhs_ut is the instance UT reference obtained lhs.underlying()
* rhs_ut is the instance UT reference obtained rhs.underlying()

-[table
+
+[table Relational operators
 [[Meta-Mixin] [Supplied Operation] [Requirements] [Ref]]
- [[`using_underlying_conversion<UT>`][`operator UT() const`][None][12.3.2]]
- [[`using_conversion_to<T>`][`operator T() const`][`T(ut)`][12.3.2]]
- [[`using_safe_bool_conversion`][`operator unspecified_bool_type() const`][`ut?true:false`][12.3.2]]
-
- [[`using_logical_not<Bool>`][`Bool operator!=() const`][`Bool(!this_ut)`][13.5.1]]
- [[`using_unary_plus`][`NT operator+() const`][`NT(+this_ut)`][13.5.1]]
- [[`using_unary_minus`][`NT operator-() const`][`NT(-this_ut)`][13.5.1]]
- [[`using_bitwise_not`][`NT operator~() const`][`NT(~this_ut)`][13.5.1]]

- [[`using_pre_increment`][`NT& operator++()`][`++this_ut`][13.5.1]]
- [[`using_pre_decrement`][`NT& operator--()`][`--this_ut`][13.5.1]]
- [[`using_post_increment`][`NT operator++(int) const`][`this_ut++`][13.5.1]]
- [[`using_post_decrement`][`NT operator--(int) const`][`this_ut++`][13.5.1]]
-
+ [[`using_equal<Bool>`][`Bool operator==(const NT& rhs) const`][`Bool(this_ut == rhs_ut)`][13.5.2] ]
+ [[`using_not_equal<Bool>`][`Bool operator!=(const NT& rhs) const`][`Bool(this_ut != rhs_ut)`][13.5.2] ]
+
 [[`using_less_than<Bool>`][`Bool operator<(const NT& rhs) const`][`Bool(this_ut < rhs_ut)`][13.5.2]]
 [[`using_less_than_equal<Bool>`][`Bool operator<=(const NT& rhs) const`][`Bool(this_ut <= rhs_ut)`][13.5.2]]
 [[`using_greater_than_equal<Bool>`][`Bool operator>=(const NT& rhs) const`][`Bool(this_ut >= rhs_ut)`][13.5.2]]
 [[`using_greater_than<Bool>`][`Bool operator>(const NT& rhs) const`][`Bool(this_ut > rhs_ut)`][13.5.2] ]
- [[`using_equal<Bool>`][`Bool operator==(const NT& rhs) const`][`Bool(this_ut == rhs_ut)`][13.5.2] ]
- [[`using_not_equal<Bool>`][`Bool operator!=(const NT& rhs) const`][`Bool(this_ut != rhs_ut)`][13.5.2] ]

+ [[`using_equal2<NT2, Bool>`][`Bool operator==(const NT2& rhs) const`][`Bool(this_ut == rhs_ut)`][13.5.2] ]
+ [[`using_not_equal2<NT2, Bool>`][`Bool operator!=(const NT2& rhs) const`][`Bool(this_ut != rhs_ut)`][13.5.2] ]
+ [[`using_less_than2<NT2, Bool>`][`Bool operator<(const NT& rhs) const`][`Bool(this_ut < rhs_ut)`][13.5.2]]
+ [[`using_less_than_equal2<NT2, Bool>`][`Bool operator<=(const NT2& rhs) const`][`Bool(this_ut <= rhs_ut)`][13.5.2]]
+ [[`using_greater_than_equal2<NT2, Bool>`][`Bool operator>=(const NT2& rhs) const`][`Bool(this_ut >= rhs_ut)`][13.5.2]]
+ [[`using_greater_than2<NT2, Bool>`][`Bool operator>(const NT2& rhs) const`][`Bool(this_ut > rhs_ut)`][13.5.2] ]

+]
+
+[table Numeric operators
+ [[Meta-Mixin] [Supplied Operation] [Requirements] [Ref]]
+
+ [[`using_plus`][`NT operator+(const NT& rhs) const`][`NT(this_ut + rhs_ut)`][13.5.2]]
 [[`using_plus_assign`][`NT& operator+=(const NT& rhs)`][`this_ut += rhs_ut`][13.5.2]]
+ [[`using_minus`][`NT operator-(const NT& rhs) const`][`NT(this_ut - rhs_ut)`][13.5.2]]
 [[`using_minus_assign`][`NT& operator-=(const NT& rhs)`][`this_ut -= rhs_ut`][13.5.2]]
+ [[`using_multiply`][`NT operator*(const NT& rhs) const`][`NT(this_ut * rhs_ut)`][13.5.2]]
 [[`using_multiply_assign`][`NT& operator*=(const NT& rhs)`][`this_ut *= rhs_ut`][13.5.2]]
+ [[`using_divide`][`NT operator/(const NT& rhs) const`][`NT(this_ut / rhs_ut)`][13.5.2]]
 [[`using_divide_assign`][`NT& operator/=(const NT& rhs)`][`this_ut /= rhs_ut`][13.5.2]]
+ [[`using_modulus`][`NT operator%(const NT& rhs) const`][`NT(this_ut % rhs_ut)`][13.5.2]]
 [[`using_modulus_assign`][`NT& operator%=(const NT& rhs)`][`this_ut %= rhs_ut`][13.5.2]]
+ [[`using_unary_plus`][`NT operator+() const`][`NT(+this_ut)`][13.5.1]]
+ [[`using_unary_minus`][`NT operator-() const`][`NT(-this_ut)`][13.5.1]]
+ [[`using_pre_increment`][`NT& operator++()`][`++this_ut`][13.5.1]]
+ [[`using_pre_decrement`][`NT& operator--()`][`--this_ut`][13.5.1]]
+ [[`using_post_increment`][`NT operator++(int) const`][`this_ut++`][13.5.1]]
+ [[`using_post_decrement`][`NT operator--(int) const`][`this_ut++`][13.5.1]]
+ [[`using_plus2<NT2>`][`NT operator+(const NT2& rhs) const`][`NT(this_ut + rhs_ut)`][13.5.2]]
+ [[`using_plus_assign2<NT2>`][`NT& operator+=(const NT2& rhs)`][`this_ut += rhs_ut`][13.5.2]]
+ [[`using_minus2<NT2>`][`NT operator-(const NT2& rhs) const`][`NT(this_ut - rhs_ut)`][13.5.2]]
+ [[`using_minus_assign2<NT2>`][`NT& operator-=(const NT2& rhs)`][`this_ut -= rhs_ut`][13.5.2]]
+ [[`using_multiply2<NT2>`][`NT operator*(const NT2& rhs) const`][`NT(this_ut * rhs_ut)`][13.5.2]]
+ [[`using_multiply_assign2<NT2>`][`NT& operator*=(const NT2& rhs)`][`this_ut *= rhs_ut`][13.5.2]]
+ [[`using_divide2<NT2>`][`NT operator/(const NT2& rhs) const`][`NT(this_ut / rhs_ut)`][13.5.2]]
+ [[`using_divide_assign2<NT2>`][`NT& operator/=(const NT2& rhs)`][`this_ut /= rhs_ut`][13.5.2]]
+ [[`using_modulus2<NT2>`][`NT operator%(const NT2& rhs) const`][`NT(this_ut % rhs_ut)`][13.5.2]]
+ [[`using_modulus_assign2<NT2>`][`NT& operator%=(const NT2& rhs)`][`this_ut %= rhs_ut`][13.5.2]]
+]
+
+[table Bitwise operators
+ [[Meta-Mixin] [Supplied Operation] [Requirements] [Ref]]
+ [[`using_bitwise_not`][`NT operator~() const`][`NT(~this_ut)`][13.5.1]]
 [[`using_bitwise_xor_assign`][`NT& operator^=(const NT& rhs)`][`this_ut ^= rhs_ut`][13.5.2]]
 [[`using_bitwise_and_assign`][`NT& operator&=(const NT& rhs)`][`this_ut &= rhs_ut`][13.5.2]]
 [[`using_bitwise_or_assign`][`NT& operator|=(const NT& rhs)`][`this_ut |= rhs_ut`][13.5.2]]
 [[`using_left_right_assign`][`NT& operator<<=(const NT& rhs)`][`this_ut <<= rhs_ut`][13.5.2]]
 [[`using_right_shift_assign`][`NT& operator>>=(const NT& rhs)`][`this_ut >>= rhs_ut`][13.5.2]]
-
-
- [[`using_plus`][`NT operator+(const NT& rhs) const`][`NT(this_ut + rhs_ut)`][13.5.2]]
- [[`using_minus`][`NT operator-(const NT& rhs) const`][`NT(this_ut - rhs_ut)`][13.5.2]]
- [[`using_multiply`][`NT operator*(const NT& rhs) const`][`NT(this_ut * rhs_ut)`][13.5.2]]
- [[`using_divide`][`NT operator/(const NT& rhs) const`][`NT(this_ut / rhs_ut)`][13.5.2]]
- [[`using_modulus`][`NT operator%(const NT& rhs) const`][`NT(this_ut % rhs_ut)`][13.5.2]]
 [[`using_bitwise_xor`][`NT operator^(const NT& rhs) const`][`NT(this_ut ^ rhs_ut)`][13.5.2]]
 [[`using_bitwise_or`][`NT operator|(const NT& rhs) const`][`NT(this_ut | rhs_ut)`][13.5.2]]
 [[`using_bitwise_and`][`NT operator&(const NT& rhs) const`][`NT(this_ut & rhs_ut)`][13.5.2]]
 [[`using_left_shift1`][`NT operator<<(const NT& rhs) const`][`NT(this_ut << rhs_ut)`][13.5.2]]
 [[`using_right_shift1`][`NT operator>>(const NT& rhs) const`][`NT(this_ut >> rhs_ut)`][13.5.2]]

+
+ [[`using_bitwise_xor2<NT2>`][`NT operator^(const NT2& rhs) const`][`NT(this_ut ^ rhs_ut)`][13.5.2]]
+ [[`using_bitwise_xor_assign2<NT2>`][`NT& operator^=(const NT2& rhs)`][`this_ut ^= rhs_ut`][13.5.2]]
+ [[`using_bitwise_or2<NT2>`][`NT operator|(const NT2& rhs) const`][`NT(this_ut | rhs_ut)`][13.5.2]]
+ [[`using_bitwise_and2<NT2>`][`NT operator&(const NT2& rhs) const`][`NT(this_ut & rhs_ut)`][13.5.2]]
+ [[`using_bitwise_and_assign2<NT2>`][`NT& operator&=(const NT2& rhs)`][`this_ut &= rhs_ut`][13.5.2]]
+ [[`using_bitwise_or_assign2<NT2>`][`NT& operator|=(const NT2& rhs)`][`this_ut |= rhs_ut`][13.5.2]]
+ [[`using_left_shift2<NT2>`][`NT operator<<(const NT2& rhs) const`][`NT(this_ut << rhs_ut)`][13.5.2]]
+ [[`using_left_right_assign2<NT2>`][`NT& operator<<=(const NT2& rhs)`][`this_ut <<= rhs_ut`][13.5.2]]
+ [[`using_right_shift2<NT2>`][`NT operator>>(const NT2& rhs) const`][`NT(this_ut >> rhs_ut)`][13.5.2]]
+ [[`using_right_shift_assign2<NT2>`][`NT& operator>>=(const NT2& rhs)`][`this_ut >>= rhs_ut`][13.5.2]]
+
]

[endsect]
+
+[section Logical Operators]
+
+[table Logical operators
+ [[Meta-Mixin] [Supplied Operation] [Requirements] [Ref]]
+
+ [[`using_logical_not<Bool>`][`Bool operator!() const`][`Bool(!this_ut)`][13.5.1]]
+ [[`using_logical_and<Bool>`][`Bool operator&&(const NT& rhs) const`][`Bool(this_ut && rhs_ut)`][13.5.2]]
+ [[`using_logical_or<Bool>`][`Bool operator||(const NT& rhs) const`][`Bool(this_ut || rhs_ut)`][13.5.2]]
+]
+
+[endsect]
+
+[section Conversion Operators]
+
+[table Conversion Operators
+ [[Meta-Mixin] [Supplied Operation] [Requirements] [Ref]]
+
+ [[`using_underlying_conversion<UT>`][`operator UT() const`][None][12.3.2]]
+ [[`using_conversion_to<T>`][`operator T() const`][`T(ut)`][12.3.2]]
+ [[`using_safe_bool_conversion`][`operator unspecified_bool_type() const`][`ut?true:false`][12.3.2]]
+
+]
+
+[endsect]
+
+[section Dereference Operators]
+
+[table Dereference Operators
+ [[Meta-Mixin] [Supplied Operation] [Requirements] [Ref]]
+
+ [[`using_address_of`][`NT& operator&()`][??][]]
+ [[`using_address_of2<A>`][`A operator&()`][??][]]
+ [[`using_derreference`][`NT& operator*()`][??][]]
+ [[`using_derreference<R>`][`R operator*()`][??][]]
+ [[`using_member_access`][`P operator->()`][??][]]
+ [[`using_subscript<D,T>`][`T operator[](D)`][??][]]
+
+]
+
+[endsect]
+
+
+[section Other Operators]
+
+[table
+ [[Meta-Mixin] [Supplied Operation] [Requirements] [Ref]]
+
+ [[`using_comma`][`NT operator,()`][??][]]
+ [[`using_function_call`][`operator()()`][??][]]
+ [[`using_pointer_to_member`][`operator->*()`][??][]]
+
+]
+
+[endsect]
+
[endsect]

[/==========================================================================================]
-[section:hiding_operators_hpp Header `<boost/opaque/metamixin/hiding_operators.hpp>`]
+[section:hiding_operators_hpp Header `<boost/opaque/meta_mixin/hiding_operators.hpp>`]
[/==========================================================================================]

This file includes meta-mixins that are used to hide operator overloads that have been defined by a base class for each one of the C++ overloadable operators.
@@ -1114,14 +1306,14 @@

[table
 [[Meta-Mixin] [Hidden Operation] [Requirements] [Ref]]
- [[`hiding_assign`][`NT& operator=(NT const&)`][None][13.5.3]]
- [[`hiding_copy`][`NT(NT const&)`][None][13.5.3]]
+ [[`hiding_assignment`][`NT& operator=(NT const&)`][None][13.5.3]]
+ [[`hiding_copy_constructor`][`NT(NT const&)`][None][13.5.3]]
]

[endsect]

[/==========================================================================================]
-[section:using_combined_operators_hpp Header `<boost/opaque/metamixin/using_combined_operators.hpp>`]
+[section:using_combined_operators_hpp Header `<boost/opaque/meta_mixin/using_combined_operators.hpp>`]
[/==========================================================================================]

This file includes meta-mixins combining several operators.
@@ -1130,6 +1322,10 @@

The composite operator templates only list what other templates they use. The supplied operations and requirements of the composite operator templates can be inferred from the operations and requirements of the listed components.

+Grouped Arithmetic Operators
+
+The following meta-mixins provide common groups of related meta-mixins. For example, since a type which is addable is usually also subractable, the additive template provides the combined meta-mixins of both.
+
[table
 [[Meta-Mixin] [Meta-Mixin Sequence] [Ref]]
 [[`using_equality_comparable1<Bool>`][`using_equal<Bool>`,
@@ -1229,7 +1425,7 @@

[endsect]
[/==========================================================================================]
-[section:hiding_combined_operators_hpp Header `<boost/opaque/metamixin/hiding_combined_operators.hpp>`]
+[section:hiding_combined_operators_hpp Header `<boost/opaque/meta_mixin/hiding_combined_operators.hpp>`]
[/==========================================================================================]

This file includes meta-mixins combining several hiding meta-mixins that are used to hide operator overloads that have been defined by a base clas.
@@ -1239,7 +1435,7 @@
[endsect]

[/==========================================================================================]
-[section:transitive_substituable_hpp Header `<boost/opaque/metamixin/transitive_substituable.hpp>`]
+[section:transitive_substituable_hpp Header `<boost/opaque/meta_mixin/transitive_substituable.hpp>`]
[/==========================================================================================]

 namespace boost {
@@ -1251,7 +1447,7 @@
[section:transitive_substituable Class Template `transitive_substituable<>`]
[/==========================================================================================]

-This metamixin provides the Final class implicit conversions for all the underlying types hierarchy.
+This meta-mixin provides the Final class implicit conversions for all the underlying types hierarchy.

 template <typename BaseClass, typename UT>
 struct transitive_substituable;
@@ -1261,7 +1457,7 @@
[endsect]

[/==========================================================================================]
-[section:transitive_explicit_substituable_hpp Header `<boost/opaque/metamixin/transitive_explicit_substituable.hpp>`]
+[section:transitive_explicit_substituable_hpp Header `<boost/opaque/meta_mixin/transitive_explicit_substituable.hpp>`]
[/==========================================================================================]

 namespace boost {
@@ -1276,10 +1472,7 @@
 template <typename BaseClass, typename UT>
 struct transitive_explicit_substituable;

-This metamixin provides the Final class explicit conversions for all the underlying types hierarchy (when the compiler supports explicit conversion operators). For portability purposed the library provide as workarround a convert_to non member function.
-
- template <typename BaseClass, typename UT>
- struct transitive_explicit_substituable;
+This meta-mixin provides the Final class explicit conversions for all the underlying types hierarchy (when the compiler supports explicit conversion operators). For portability purposed the library provide as workarround a convert_to non member function.

[endsect]
@@ -1327,13 +1520,96 @@
[endsect]
[section Appendix E: Tests]

-[section Builtins]
+[section new_class]
+
+[table Contructors and Assignement
+ [[Name] [kind] [Description] [Result]]
+ [[regular_pass] [run] [check constructors and assignements] [Pass] ]
+ [[assign_siblings_fail] [compile-fail] [check siblings assignement fail] [Pass] ]
+ [[assign_up_fail] [compile-fail] [check NT can not be assigned to UT] [Pass] ]
+ [[assign_down_fail] [compile-fail] [check UT can not be assigned to NT] [Pass] ]
+ [[copy_construct_from_non_convertible_fail] [compile-fail] [check constructor from non convertibe to UT fails] [Pass] ]
+]
+
+[table Relational Operators
+ [[Name] [kind] [Description] [Result]]
+
+ [[using_equal_pass] [run] [check `oparator==` is available when adding `using_equal` meta-mixin] [Pass] ]
+ [[using_not_equal_pass] [run] [check `oparator!=` is available when adding `using_not_equal` meta-mixin] [Pass] ]
+ [[using_less_than_pass] [run] [check `oparator<` is available when adding `using_less_than` meta-mixin] [Pass] ]
+ [[using_less_than_equal_pass] [run] [check `oparator<=` is available when adding `using_less_than_equal` meta-mixin] [Pass] ]
+ [[using_greater_than_pass] [run] [check `oparator>` is available when adding `using_greater_than` meta-mixin] [Pass] ]
+ [[using_greater_than_equal_pass] [run] [check `oparator>=` is available when adding `using_greater_than_equal` meta-mixin] [Pass] ]
+ [[equal_fail] [compile-fail] [check check `oparator==` fail on default new_class] [Pass] ]
+ [[not_equal_fail] [compile-fail] [check check `oparator!=` fail on default new_class] [Pass] ]
+ [[less_than_equal_fail] [compile-fail] [check check `oparator<=` fail on default new_class] [Pass] ]
+ [[less_than_fail] [compile-fail] [check check `oparator<` fail on default new_class] [Pass] ]
+ [[greater_than_equal_fail] [compile-fail] [check check `oparator>=` fail on default new_class] [Pass] ]
+ [[greater_than_fail] [compile-fail] [check check `oparator>` fail on default new_class] [Pass] ]
+
+]
+
+[table Arithmetic Operators
+ [[Name] [kind] [Description] [Result]]
+
+ [[using_plus_pass] [run] [check `oparator+` is available when adding `using_plus` meta-mixin] [Pass] ]
+ [[using_plus_assign_pass] [run] [check `oparator+=` is available when adding `using_plus_assign` meta-mixin] [Pass] ]
+ [[using_minus_pass] [run] [check `oparator-` is available when adding `using_minus` meta-mixin] [Pass] ]
+ [[using_minus_assign_pass] [run] [check `oparator-=` is available when adding `using_minus_assign` meta-mixin] [Pass] ]
+ [[using_multiply_pass] [run] [check `oparator*` is available when adding `using_multiply` meta-mixin] [Pass] ]
+ [[using_multiply_assign_pass] [run] [check `oparator*=` is available when adding `using_multiply_assign` meta-mixin] [Pass] ]
+ [[using_divide_pass] [run] [check `oparator/` is available when adding `using_divide` meta-mixin] [Pass] ]
+ [[using_divide_assign_pass] [run] [check `oparator/=` is available when adding `using_divide_assign` meta-mixin] [Pass] ]
+ [[using_modulus_pass] [run] [check `oparator%` is available when adding `using_modulus` meta-mixin] [Pass] ]
+ [[using_modulus_assign_pass] [run] [check `oparator%=` is available when adding `using_modulus_assign` meta-mixin] [Pass] ]
+ [[using_unary_plus_pass] [run] [check `oparator+()` is available when adding `using_unary_plus` meta-mixin] [Pass] ]
+ [[using_unary_minus_pass] [run] [check `oparator-()` is available when adding `using_unary_minus` meta-mixin] [Pass] ]
+ [[using_pre_increment_pass] [run] [check `oparator++()` is available when adding `using_pre_increment` meta-mixin] [Pass] ]
+ [[using_post_increment_pass] [run] [check `oparator++(int)` is available when adding `using_post_increment` meta-mixin] [Pass] ]
+ [[using_pre_decrement_pass] [run] [check `oparator--()` is available when adding `using_pre_decrement` meta-mixin] [Pass] ]
+ [[using_post_decrement_pass] [run] [check `oparator--(int)` is available when adding `using_post_decrement` meta-mixin] [Pass] ]
+]
+
+[table Bitwise Operators
+ [[Name] [kind] [Description] [Result]]
+ [[using_bitwise_not_pass] [run] [check `oparator~` is available when adding `using_bitwise_not` meta-mixin] [Pass] ]
+ [[using_bitwise_xor_pass] [run] [check `oparator^` is available when adding `using_bitwise_xor` meta-mixin] [Pass] ]
+ [[using_bitwise_xor_assign_pass] [run] [check `oparator^=` is available when adding `using_bitwise_xor_assign` meta-mixin] [Pass] ]
+ [[using_bitwise_or_pass] [run] [check `oparator|` is available when adding `using_bitwise_or` meta-mixin] [Pass] ]
+ [[using_bitwise_or_assign_pass] [run] [check `oparator|=` is available when adding `using_bitwise_or_assign` meta-mixin] [Pass] ]
+ [[using_bitwise_and_pass] [run] [check `oparator&` is available when adding `using_bitwise_and` meta-mixin] [Pass] ]
+ [[using_bitwise_and_assign_pass] [run] [check `oparator&=` is available when adding `using_bitwise_and_assign` meta-mixin] [Pass] ]
+
+ [[using_left_shift_pass] [run] [check `oparator<<` is available when adding `using_left_shift` meta-mixin] [Pass] ]
+ [[using_left_shift_assign_pass] [run] [check `oparator<<=` is available when adding `using_left_shift_assign` meta-mixin] [Pass] ]
+ [[using_right_shift_pass] [run] [check `oparator>>` is available when adding `using_right_shift` meta-mixin] [Pass] ]
+ [[using_right_shift_assign_pass] [run] [check `oparator>>=` is available when adding `using_right_shift_assign` meta-mixin] [Pass] ]
+]
+
+[table Logical Operators
+ [[Name] [kind] [Description] [Result]]
+
+ [[using_logical_not_pass] [run] [check `oparator!` is available when adding `using_logical_not` meta-mixin] [Pass] ]
+ [[using_logical_and_pass] [run] [check `oparator&&` is available when adding `using_logical_and` meta-mixin] [Pass] ]
+ [[using_logical_or_pass] [run] [check `oparator||` is available when adding `using_logical_and` meta-mixin] [Pass] ]
+
+]
+
+[endsect]
+
+[section new_type]
[table
- [[Name] [kind] [Description] [Result] [Ticket]]
- [[convert_to_with_builtin_types] [run] [check `convert_to` works for builting types] [Pass] [#]]
+ [[Name] [kind] [Description] [Result] ]
+ [[regular.pass] [run] [check constructors and assignements] [Pass] ]
]
[endsect]

+[section public_opaque_class]
+[table
+ [[Name] [kind] [Description] [Result] ]
+ [[regular.pass] [run] [check constructors and assignements] [Pass] ]
+]
+[endsect]

[endsect]
[section Appendix F: Tickets]
@@ -1346,11 +1622,12 @@

[heading Tasks to do before review]

-* lala
+* Complete the tests
+* Add hiding meta-mixins

-[heading For later releases]
+[/heading For later releases]

-* lala
+

[endsect]
[endsect]

Next message: vicente.botet_at_[hidden]: "[Boost-commit] svn:boost r65755 - sandbox/opaque/boost/opaque/meta_mixin"
Previous message: vicente.botet_at_[hidden]: "[Boost-commit] svn:boost r65753 - in sandbox/opaque/libs/opaque/test: . new_class"

Date view	Thread view	Subject view	Author view

Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk