diff --git a/doc/refmanual/set.html b/doc/refmanual/set.html index daab973..a17e5de 100644 --- a/doc/refmanual/set.html +++ b/doc/refmanual/set.html @@ -12,7 +12,7 @@ Front Page / Sequences / Classes / set
-

set

+

set

Description

set is a variadic, associative, extensible sequence of types that @@ -52,7 +52,8 @@ A

Expression semantics

In the following table, s is an instance of set, pos is an iterator into s, -and x, k, and t1,t2,... tn are arbitrary types.

+and x, k, and t1,t2,... tn is a set of unique arbitrary types. [Note: See below for +an example of how to construct a set from a list of potentially non-unique types — end note]

@@ -151,8 +152,9 @@ the key k in +

Example

+

Basic set invariants:

 typedef set< int,long,double,int_<5> > s;
 
@@ -164,8 +166,18 @@ typedef set< int,long,double,BOOST_MPL_ASSERT(( is_same< at<s,int_<5> >::type, int_<5> > ));
 BOOST_MPL_ASSERT(( is_same< at<s,char>::type, void_ > ));
+

Constructing a set from a list of potentially non-unique types:

+
+typedef fold<
+      vector<int,int,long,long>
+    , set0<>
+    , insert<_1,_2>
+    >::type s;
+
+BOOST_MPL_ASSERT_RELATION( size<s>::value, ==, 2 );
+
-
-
Prev Next | Back Along | Up Home | Full TOC
Copyright © 2001-2009 Aleksey Gurtovoy and David Abrahams
+
Copyright © 2001-2011 Aleksey Gurtovoy and David Abrahams
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)
diff --git a/doc/src/refmanual/set.rst b/doc/src/refmanual/set.rst index 6d74b82..eb1d89d 100644 --- a/doc/src/refmanual/set.rst +++ b/doc/src/refmanual/set.rst @@ -37,7 +37,10 @@ Expression semantics -------------------- In the following table, ``s`` is an instance of ``set``, ``pos`` is an iterator into ``s``, -and ``x``, ``k``, and |t1...tn| are arbitrary types. +and ``x``, ``k``, and |t1...tn| is a set of *unique* arbitrary types. [*Note:* See `below`__ for +an example of how to construct a ``set`` from a list of potentially non-unique types |--| *end note*\] + +__ nonunique-set-example_ +---------------------------------------+-----------------------------------------------------------+ | Expression | Semantics | @@ -105,6 +108,8 @@ and ``x``, ``k``, and |t1...tn| are arbitrary types. Example ------- +Basic ``set`` invariants: + .. parsed-literal:: typedef set< int,long,double,int_<5> > s; @@ -118,12 +123,27 @@ Example BOOST_MPL_ASSERT(( is_same< at::type, void\_ > )); +.. _nonunique-set-example: + +Constructing a ``set`` from a list of potentially non-unique types: + +.. parsed-literal:: + + typedef fold< + vector + , set0<> + , insert<_1,_2> + >::type s; + + BOOST_MPL_ASSERT_RELATION( size::value, ==, 2 ); + + See also -------- |Sequences|, |Variadic Sequence|, |Associative Sequence|, |Extensible Associative Sequence|, |set_c|, |map|, |vector| -.. copyright:: Copyright © 2001-2009 Aleksey Gurtovoy and David Abrahams +.. copyright:: Copyright © 2001-2011 Aleksey Gurtovoy and David Abrahams 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)