| [29] | 1 | //======================================================================= | 
|---|
 | 2 | // Copyright 2001 Jeremy G. Siek | 
|---|
 | 3 | // Authors: Jeremy G. Siek | 
|---|
 | 4 | // | 
|---|
 | 5 | // Distributed under the Boost Software License, Version 1.0. (See | 
|---|
 | 6 | // accompanying file LICENSE_1_0.txt or copy at | 
|---|
 | 7 | // http://www.boost.org/LICENSE_1_0.txt) | 
|---|
 | 8 | //======================================================================= | 
|---|
 | 9 |  | 
|---|
 | 10 | /* | 
|---|
 | 11 |  * Copyright (c) 1998 | 
|---|
 | 12 |  * Silicon Graphics Computer Systems, Inc. | 
|---|
 | 13 |  * | 
|---|
 | 14 |  * Permission to use, copy, modify, distribute and sell this software | 
|---|
 | 15 |  * and its documentation for any purpose is hereby granted without fee, | 
|---|
 | 16 |  * provided that the above copyright notice appear in all copies and | 
|---|
 | 17 |  * that both that copyright notice and this permission notice appear | 
|---|
 | 18 |  * in supporting documentation.  Silicon Graphics makes no | 
|---|
 | 19 |  * representations about the suitability of this software for any | 
|---|
 | 20 |  * purpose.  It is provided "as is" without express or implied warranty. | 
|---|
 | 21 |  */ | 
|---|
 | 22 |  | 
|---|
 | 23 | #include <boost/config.hpp> | 
|---|
 | 24 | #include <memory> | 
|---|
 | 25 | #include <stdexcept> | 
|---|
 | 26 | #include <algorithm> | 
|---|
 | 27 | #include <string> | 
|---|
 | 28 | #include <boost/config.hpp> | 
|---|
 | 29 | #include <boost/pending/ct_if.hpp> | 
|---|
 | 30 | #include <boost/graph/detail/bitset_adaptor.hpp> | 
|---|
 | 31 |  | 
|---|
 | 32 | // This provides versions of std::bitset with both static and dynamic size. | 
|---|
 | 33 |  | 
|---|
 | 34 | // UNDER CONSTRUCTION | 
|---|
 | 35 |  | 
|---|
 | 36 |  | 
|---|
 | 37 | // replace this later | 
|---|
 | 38 | #include <cassert> | 
|---|
 | 39 | #define BOOST_ASSERT_THROW(expr, except) assert(expr) | 
|---|
 | 40 |  | 
|---|
 | 41 | namespace boost { | 
|---|
 | 42 |  | 
|---|
 | 43 |   namespace detail { | 
|---|
 | 44 |     // structure to aid in counting bits | 
|---|
 | 45 |     template<bool dummy = true> | 
|---|
 | 46 |     struct bit_count { | 
|---|
 | 47 |       static unsigned char value[256]; | 
|---|
 | 48 |     }; | 
|---|
 | 49 |  | 
|---|
 | 50 |     // Mapping from 8 bit unsigned integers to the index of the first bit | 
|---|
 | 51 |     template<bool dummy = true> | 
|---|
 | 52 |     struct first_bit_location { | 
|---|
 | 53 |       static unsigned char value[256]; | 
|---|
 | 54 |     }; | 
|---|
 | 55 |  | 
|---|
 | 56 |     template <typename WordType>  // this size is in bits | 
|---|
 | 57 |     struct word_traits { | 
|---|
 | 58 |       typedef WordType word_type; | 
|---|
 | 59 |       static const std::size_t word_size = CHAR_BIT * sizeof(word_type); | 
|---|
 | 60 |     }; | 
|---|
 | 61 |      | 
|---|
 | 62 |     //========================================================================= | 
|---|
 | 63 |     template <class WordTraits, class SizeType, class Derived> | 
|---|
 | 64 |     class bitset_base | 
|---|
 | 65 |       : public bitset_adaptor< SizeType,  | 
|---|
 | 66 |                                bitset_base<WordTraits, SizeType, Derived> > | 
|---|
 | 67 |     { | 
|---|
 | 68 |       //    private: | 
|---|
 | 69 |     public: | 
|---|
 | 70 |       typedef SizeType size_type; | 
|---|
 | 71 |       typedef typename WordTraits::word_type word_type; | 
|---|
 | 72 |  | 
|---|
 | 73 |       static size_type s_which_word(size_type pos) { | 
|---|
 | 74 |         return pos / WordTraits::word_size; | 
|---|
 | 75 |       } | 
|---|
 | 76 |       static size_type s_which_byte(size_type pos) { | 
|---|
 | 77 |         return (pos % WordTraits::word_size) / CHAR_BIT; | 
|---|
 | 78 |       } | 
|---|
 | 79 |       static size_type s_which_bit(size_type pos) { | 
|---|
 | 80 |         return pos % WordTraits::word_size; | 
|---|
 | 81 |       } | 
|---|
 | 82 |       static word_type s_mask_bit(size_type pos) { | 
|---|
 | 83 |         return (static_cast<word_type>(1)) << s_which_bit(pos);  | 
|---|
 | 84 |       } | 
|---|
 | 85 |       word_type& m_get_word(size_type pos) { | 
|---|
 | 86 |         return data()[s_which_word(pos)];  | 
|---|
 | 87 |       } | 
|---|
 | 88 |       word_type m_get_word(size_type pos) const { | 
|---|
 | 89 |         return data()[s_which_word(pos)];  | 
|---|
 | 90 |       } | 
|---|
 | 91 |       word_type& m_hi_word() { return data()[num_words() - 1]; } | 
|---|
 | 92 |       word_type  m_hi_word() const { return data()[num_words() - 1]; } | 
|---|
 | 93 |  | 
|---|
 | 94 |       void m_sanitize_highest() { | 
|---|
 | 95 |         size_type extra_bits = size() % WordTraits::word_size; | 
|---|
 | 96 |         if (extra_bits) | 
|---|
 | 97 |           m_hi_word() &= ~((~static_cast<word_type>(0)) << extra_bits); | 
|---|
 | 98 |       } | 
|---|
 | 99 |     public: | 
|---|
 | 100 |  | 
|---|
 | 101 |       class reference { | 
|---|
 | 102 |         friend class bitset_base; | 
|---|
 | 103 |  | 
|---|
 | 104 |         word_type *m_word_ptr; | 
|---|
 | 105 |         size_type m_bit_pos; | 
|---|
 | 106 |  | 
|---|
 | 107 |         // left undefined | 
|---|
 | 108 |         reference(); | 
|---|
 | 109 |  | 
|---|
 | 110 |         reference(bitset_base& b, size_type pos ) { | 
|---|
 | 111 |           m_word_ptr = &b.m_get_word(pos); | 
|---|
 | 112 |           m_bit_pos = s_which_bit(pos); | 
|---|
 | 113 |         } | 
|---|
 | 114 |  | 
|---|
 | 115 |       public: | 
|---|
 | 116 |         ~reference() {} | 
|---|
 | 117 |  | 
|---|
 | 118 |         // for b[i] = x; | 
|---|
 | 119 |         reference& operator=(bool x) { | 
|---|
 | 120 |           if ( x ) | 
|---|
 | 121 |             *m_word_ptr |= s_mask_bit(m_bit_pos); | 
|---|
 | 122 |           else | 
|---|
 | 123 |             *m_word_ptr &= ~s_mask_bit(m_bit_pos); | 
|---|
 | 124 |  | 
|---|
 | 125 |           return *this; | 
|---|
 | 126 |         } | 
|---|
 | 127 |         // for b[i] = b[j]; | 
|---|
 | 128 |         reference& operator=(const reference& j) { | 
|---|
 | 129 |           if ( (*(j.m_word_ptr) & s_mask_bit(j.m_bit_pos)) ) | 
|---|
 | 130 |             *m_word_ptr |= s_mask_bit(m_bit_pos); | 
|---|
 | 131 |           else | 
|---|
 | 132 |             *m_word_ptr &= ~s_mask_bit(m_bit_pos); | 
|---|
 | 133 |  | 
|---|
 | 134 |           return *this; | 
|---|
 | 135 |         } | 
|---|
 | 136 |         // flips the bit | 
|---|
 | 137 |         bool operator~() const {  | 
|---|
 | 138 |           return (*(m_word_ptr) & s_mask_bit(m_bit_pos)) == 0;  | 
|---|
 | 139 |         } | 
|---|
 | 140 |         // for x = b[i]; | 
|---|
 | 141 |         operator bool() const {  | 
|---|
 | 142 |           return (*(m_word_ptr) & s_mask_bit(m_bit_pos)) != 0;  | 
|---|
 | 143 |         } | 
|---|
 | 144 |         // for b[i].flip(); | 
|---|
 | 145 |         reference& flip() { | 
|---|
 | 146 |           *m_word_ptr ^= s_mask_bit(m_bit_pos); | 
|---|
 | 147 |           return *this; | 
|---|
 | 148 |         } | 
|---|
 | 149 |       }; | 
|---|
 | 150 |  | 
|---|
 | 151 |       void init_from_ulong(unsigned long val) { | 
|---|
 | 152 |         reset(); | 
|---|
 | 153 |         const size_type n = (std::min)(sizeof(unsigned long) * CHAR_BIT, | 
|---|
 | 154 |                                      WordTraits::word_size * num_words()); | 
|---|
 | 155 |         for(size_type i = 0; i < n; ++i, val >>= 1) | 
|---|
 | 156 |           if ( val & 0x1 ) | 
|---|
 | 157 |             m_get_word(i) |= s_mask_bit(i); | 
|---|
 | 158 |       } | 
|---|
 | 159 |        | 
|---|
 | 160 |       // intersection: this = this & x | 
|---|
 | 161 |       Derived& operator&=(const Derived& x) { | 
|---|
 | 162 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 163 |           data()[i] &= x.data()[i]; | 
|---|
 | 164 |         return static_cast<Derived&>(*this); | 
|---|
 | 165 |       } | 
|---|
 | 166 |       // union: this = this | x | 
|---|
 | 167 |       Derived& operator|=(const Derived& x) { | 
|---|
 | 168 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 169 |           data()[i] |= x.data()[i]; | 
|---|
 | 170 |         return static_cast<Derived&>(*this); | 
|---|
 | 171 |       } | 
|---|
 | 172 |       // exclusive or: this = this ^ x | 
|---|
 | 173 |       Derived& operator^=(const Derived& x) { | 
|---|
 | 174 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 175 |           data()[i] ^= x.data()[i]; | 
|---|
 | 176 |         return static_cast<Derived&>(*this); | 
|---|
 | 177 |       } | 
|---|
 | 178 |       // left shift | 
|---|
 | 179 |       Derived& operator<<=(size_type pos); | 
|---|
 | 180 |  | 
|---|
 | 181 |       // right shift | 
|---|
 | 182 |       Derived& operator>>=(size_type pos); | 
|---|
 | 183 |  | 
|---|
 | 184 |       Derived& set() { | 
|---|
 | 185 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 186 |           data()[i] = ~static_cast<word_type>(0); | 
|---|
 | 187 |         m_sanitize_highest(); | 
|---|
 | 188 |         return static_cast<Derived&>(*this); | 
|---|
 | 189 |       } | 
|---|
 | 190 |  | 
|---|
 | 191 |       Derived& set(size_type pos, int val = true) | 
|---|
 | 192 |       { | 
|---|
 | 193 |         BOOST_ASSERT_THROW(pos < size(), std::out_of_range("boost::bitset::set(pos,value)")); | 
|---|
 | 194 |         if (val) | 
|---|
 | 195 |           m_get_word(pos) |= s_mask_bit(pos); | 
|---|
 | 196 |         else | 
|---|
 | 197 |           m_get_word(pos) &= ~s_mask_bit(pos); | 
|---|
 | 198 |         return static_cast<Derived&>(*this); | 
|---|
 | 199 |       } | 
|---|
 | 200 |        | 
|---|
 | 201 |       Derived& reset() { | 
|---|
 | 202 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 203 |           data()[i] = 0; | 
|---|
 | 204 |         return static_cast<Derived&>(*this); | 
|---|
 | 205 |       } | 
|---|
 | 206 |  | 
|---|
 | 207 |       Derived& reset(size_type pos) { | 
|---|
 | 208 |         BOOST_ASSERT_THROW(pos < size(), std::out_of_range("boost::bitset::reset(pos)")); | 
|---|
 | 209 |         m_get_word(pos) &= ~s_mask_bit(pos); | 
|---|
 | 210 |         return static_cast<Derived&>(*this); | 
|---|
 | 211 |       } | 
|---|
 | 212 |  | 
|---|
 | 213 |       // compliment | 
|---|
 | 214 |       Derived operator~() const { | 
|---|
 | 215 |         return Derived(static_cast<const Derived&>(*this)).flip(); | 
|---|
 | 216 |       } | 
|---|
 | 217 |        | 
|---|
 | 218 |       Derived& flip() { | 
|---|
 | 219 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 220 |           data()[i] = ~data()[i]; | 
|---|
 | 221 |         m_sanitize_highest(); | 
|---|
 | 222 |         return static_cast<Derived&>(*this); | 
|---|
 | 223 |       } | 
|---|
 | 224 |       Derived& flip(size_type pos) { | 
|---|
 | 225 |         BOOST_ASSERT_THROW(pos < size(), std::out_of_range("boost::bitset::flip(pos)")); | 
|---|
 | 226 |         m_get_word(pos) ^= s_mask_bit(pos); | 
|---|
 | 227 |         return static_cast<Derived&>(*this); | 
|---|
 | 228 |       } | 
|---|
 | 229 |  | 
|---|
 | 230 |       // element access | 
|---|
 | 231 |       reference operator[](size_type pos) { return reference(*this, pos); } | 
|---|
 | 232 |       bool operator[](size_type pos) const { return test(pos); } | 
|---|
 | 233 |  | 
|---|
 | 234 |       unsigned long to_ulong() const; | 
|---|
 | 235 |  | 
|---|
 | 236 |       // to_string | 
|---|
 | 237 |  | 
|---|
 | 238 |        | 
|---|
 | 239 |       size_type count() const { | 
|---|
 | 240 |         size_type result = 0; | 
|---|
 | 241 |         const unsigned char* byte_ptr = (const unsigned char*)data(); | 
|---|
 | 242 |         const unsigned char* end_ptr =  | 
|---|
 | 243 |           (const unsigned char*)(data() + num_words()); | 
|---|
 | 244 |         while ( byte_ptr < end_ptr ) { | 
|---|
 | 245 |           result += bit_count<>::value[*byte_ptr]; | 
|---|
 | 246 |           byte_ptr++; | 
|---|
 | 247 |         } | 
|---|
 | 248 |         return result; | 
|---|
 | 249 |       }    | 
|---|
 | 250 |        | 
|---|
 | 251 |       // size() must be provided by Derived class | 
|---|
 | 252 |  | 
|---|
 | 253 |       bool operator==(const Derived& x) const { | 
|---|
 | 254 |         return std::equal(data(), data() + num_words(), x.data()); | 
|---|
 | 255 |       } | 
|---|
 | 256 |  | 
|---|
 | 257 |       bool operator!=(const Derived& x) const { | 
|---|
 | 258 |         return ! this->operator==(x); | 
|---|
 | 259 |       } | 
|---|
 | 260 |  | 
|---|
 | 261 |       bool test(size_type pos) const { | 
|---|
 | 262 |         BOOST_ASSERT_THROW(pos < size(), std::out_of_range("boost::bitset::test(pos)")); | 
|---|
 | 263 |         return (m_get_word(pos) & s_mask_bit(pos)) | 
|---|
 | 264 |           != static_cast<word_type>(0); | 
|---|
 | 265 |       } | 
|---|
 | 266 |  | 
|---|
 | 267 |       bool any() const { | 
|---|
 | 268 |         for (size_type i = 0; i < num_words(); ++i) { | 
|---|
 | 269 |           if ( data()[i] != static_cast<word_type>(0) ) | 
|---|
 | 270 |             return true; | 
|---|
 | 271 |         } | 
|---|
 | 272 |         return false; | 
|---|
 | 273 |       } | 
|---|
 | 274 |       bool none() const { | 
|---|
 | 275 |         return !any(); | 
|---|
 | 276 |       } | 
|---|
 | 277 |  | 
|---|
 | 278 |       Derived operator<<(size_type pos) const | 
|---|
 | 279 |         { return Derived(static_cast<const Derived&>(*this)) <<= pos; } | 
|---|
 | 280 |  | 
|---|
 | 281 |       Derived operator>>(size_type pos) const | 
|---|
 | 282 |         { return Derived(static_cast<const Derived&>(*this)) >>= pos; } | 
|---|
 | 283 |  | 
|---|
 | 284 |       template <class CharT, class Traits, class Alloc> | 
|---|
 | 285 |       void m_copy_from_string(const basic_string<CharT,Traits,Alloc>& s, | 
|---|
 | 286 |                               size_type pos, size_type n) | 
|---|
 | 287 |       { | 
|---|
 | 288 |         reset(); | 
|---|
 | 289 |         const size_type nbits = (std::min)(size(), (std::min)(n, s.size() - pos)); | 
|---|
 | 290 |         for (size_type i = 0; i < nbits; ++i) { | 
|---|
 | 291 |           switch(s[pos + nbits - i - 1]) { | 
|---|
 | 292 |           case '0': | 
|---|
 | 293 |             break; | 
|---|
 | 294 |           case '1': | 
|---|
 | 295 |             this->set(i); | 
|---|
 | 296 |             break; | 
|---|
 | 297 |           default: | 
|---|
 | 298 |             throw std::invalid_argument | 
|---|
 | 299 |               ("boost::bitset_base::m_copy_from_string(s, pos, n)"); | 
|---|
 | 300 |           } | 
|---|
 | 301 |         } | 
|---|
 | 302 |       } | 
|---|
 | 303 |  | 
|---|
 | 304 |       template <class CharT, class Traits, class Alloc> | 
|---|
 | 305 |       void m_copy_to_string(basic_string<CharT, Traits, Alloc>& s) const | 
|---|
 | 306 |       { | 
|---|
 | 307 |         s.assign(size(), '0'); | 
|---|
 | 308 |          | 
|---|
 | 309 |         for (size_type i = 0; i < size(); ++i) | 
|---|
 | 310 |           if (test(i)) | 
|---|
 | 311 |             s[size() - 1 - i] = '1'; | 
|---|
 | 312 |       } | 
|---|
 | 313 |  | 
|---|
 | 314 |       //----------------------------------------------------------------------- | 
|---|
 | 315 |       // Stuff not in std::bitset | 
|---|
 | 316 |  | 
|---|
 | 317 |       // difference:  this = this - x | 
|---|
 | 318 |       Derived& operator-=(const Derived& x) { | 
|---|
 | 319 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 320 |           data()[i] &= ~x.data()[i]; | 
|---|
 | 321 |         return static_cast<Derived&>(*this); | 
|---|
 | 322 |       } | 
|---|
 | 323 |  | 
|---|
 | 324 |       // this wasn't working, why? | 
|---|
 | 325 |       int compare_3way(const Derived& x) const { | 
|---|
 | 326 |         return std::lexicographical_compare_3way | 
|---|
 | 327 |           (data(), data() + num_words(), x.data(), x.data() + x.num_words()); | 
|---|
 | 328 |       } | 
|---|
 | 329 |  | 
|---|
 | 330 |       // less-than compare | 
|---|
 | 331 |       bool operator<(const Derived& x) const { | 
|---|
 | 332 |         return std::lexicographical_compare | 
|---|
 | 333 |           (data(), data() + num_words(), x.data(), x.data() + x.num_words()); | 
|---|
 | 334 |       } | 
|---|
 | 335 |  | 
|---|
 | 336 |       // find the index of the first "on" bit | 
|---|
 | 337 |       size_type find_first() const; | 
|---|
 | 338 |  | 
|---|
 | 339 |       // find the index of the next "on" bit after prev | 
|---|
 | 340 |       size_type find_next(size_type prev) const; | 
|---|
 | 341 |  | 
|---|
 | 342 |        | 
|---|
 | 343 |       size_type _Find_first() const { return find_first(); } | 
|---|
 | 344 |  | 
|---|
 | 345 |       // find the index of the next "on" bit after prev | 
|---|
 | 346 |       size_type _Find_next(size_type prev) const { return find_next(prev); } | 
|---|
 | 347 |  | 
|---|
 | 348 |       //    private: | 
|---|
 | 349 |       word_type* data() | 
|---|
 | 350 |         { return static_cast<Derived*>(this)->data(); } | 
|---|
 | 351 |  | 
|---|
 | 352 |       const word_type* data() const  | 
|---|
 | 353 |         { return static_cast<const Derived*>(this)->data(); } | 
|---|
 | 354 |  | 
|---|
 | 355 |       size_type num_words() const  | 
|---|
 | 356 |         { return static_cast<const Derived*>(this)->num_words(); } | 
|---|
 | 357 |  | 
|---|
 | 358 |       size_type size() const  | 
|---|
 | 359 |         { return static_cast<const Derived*>(this)->size(); } | 
|---|
 | 360 |     }; | 
|---|
 | 361 |  | 
|---|
 | 362 |     // 23.3.5.3 bitset operations: | 
|---|
 | 363 |     template <class W, class S, class D> | 
|---|
 | 364 |     inline D operator&(const bitset_base<W,S,D>& x, | 
|---|
 | 365 |                        const bitset_base<W,S,D>& y) { | 
|---|
 | 366 |       D result(static_cast<const D&>(x)); | 
|---|
 | 367 |       result &= static_cast<const D&>(y); | 
|---|
 | 368 |       return result; | 
|---|
 | 369 |     } | 
|---|
 | 370 |  | 
|---|
 | 371 |     template <class W, class S, class D> | 
|---|
 | 372 |     inline D operator|(const bitset_base<W,S,D>& x, | 
|---|
 | 373 |                        const bitset_base<W,S,D>& y) { | 
|---|
 | 374 |       D result(static_cast<const D&>(x)); | 
|---|
 | 375 |       result |= static_cast<const D&>(y); | 
|---|
 | 376 |       return result; | 
|---|
 | 377 |     } | 
|---|
 | 378 |  | 
|---|
 | 379 |     template <class W, class S, class D> | 
|---|
 | 380 |     inline D operator^(const bitset_base<W,S,D>& x, | 
|---|
 | 381 |                        const bitset_base<W,S,D>& y) { | 
|---|
 | 382 |       D result(static_cast<const D&>(x)); | 
|---|
 | 383 |       result ^= static_cast<const D&>(y); | 
|---|
 | 384 |       return result; | 
|---|
 | 385 |     } | 
|---|
 | 386 |  | 
|---|
 | 387 |     // this one is an extension | 
|---|
 | 388 |     template <class W, class S, class D> | 
|---|
 | 389 |     inline D operator-(const bitset_base<W,S,D>& x, | 
|---|
 | 390 |                        const bitset_base<W,S,D>& y) { | 
|---|
 | 391 |       D result(static_cast<const D&>(x)); | 
|---|
 | 392 |       result -= static_cast<const D&>(y); | 
|---|
 | 393 |       return result; | 
|---|
 | 394 |     } | 
|---|
 | 395 |  | 
|---|
 | 396 |     template <class W, class S, class D> | 
|---|
 | 397 |     inline int compare_3way(const bitset_base<W,S,D>& x, | 
|---|
 | 398 |                             const bitset_base<W,S,D>& y) { | 
|---|
 | 399 |       return std::lexicographical_compare_3way | 
|---|
 | 400 |         (x.data(), x.data() + x.num_words(),  | 
|---|
 | 401 |          y.data(), y.data() + y.num_words()); | 
|---|
 | 402 |     } | 
|---|
 | 403 |  | 
|---|
 | 404 |  | 
|---|
 | 405 |     template <class W, class S, class D> | 
|---|
 | 406 |     std::istream& | 
|---|
 | 407 |     operator>>(std::istream& is, bitset_base<W,S,D>& x) { | 
|---|
 | 408 |       std::string tmp; | 
|---|
 | 409 |       tmp.reserve(x.size()); | 
|---|
 | 410 |  | 
|---|
 | 411 |       // In new templatized iostreams, use istream::sentry | 
|---|
 | 412 |       if (is.flags() & ios::skipws) { | 
|---|
 | 413 |         char c; | 
|---|
 | 414 |         do | 
|---|
 | 415 |           is.get(c); | 
|---|
 | 416 |         while (is && isspace(c)); | 
|---|
 | 417 |         if (is) | 
|---|
 | 418 |           is.putback(c); | 
|---|
 | 419 |       } | 
|---|
 | 420 |  | 
|---|
 | 421 |       for (S i = 0; i < x.size(); ++i) { | 
|---|
 | 422 |         char c; | 
|---|
 | 423 |         is.get(c); | 
|---|
 | 424 |  | 
|---|
 | 425 |         if (!is) | 
|---|
 | 426 |           break; | 
|---|
 | 427 |         else if (c != '0' && c != '1') { | 
|---|
 | 428 |           is.putback(c); | 
|---|
 | 429 |           break; | 
|---|
 | 430 |         } | 
|---|
 | 431 |         else | 
|---|
 | 432 |           //      tmp.push_back(c); | 
|---|
 | 433 |           tmp += c; | 
|---|
 | 434 |       } | 
|---|
 | 435 |  | 
|---|
 | 436 |       if (tmp.empty()) | 
|---|
 | 437 |         is.clear(is.rdstate() | ios::failbit); | 
|---|
 | 438 |       else | 
|---|
 | 439 |         x.m_copy_from_string(tmp, static_cast<S>(0), x.size()); | 
|---|
 | 440 |  | 
|---|
 | 441 |       return is; | 
|---|
 | 442 |     } | 
|---|
 | 443 |  | 
|---|
 | 444 |     template <class W, class S, class D> | 
|---|
 | 445 |     std::ostream& operator<<(std::ostream& os,  | 
|---|
 | 446 |                              const bitset_base<W,S,D>& x) { | 
|---|
 | 447 |       std::string tmp; | 
|---|
 | 448 |       x.m_copy_to_string(tmp); | 
|---|
 | 449 |       return os << tmp; | 
|---|
 | 450 |     } | 
|---|
 | 451 |  | 
|---|
 | 452 |     //========================================================================= | 
|---|
 | 453 |     template <typename WordType = unsigned long, | 
|---|
 | 454 |               typename SizeType = std::size_t, | 
|---|
 | 455 |               typename Allocator = std::allocator<WordType> | 
|---|
 | 456 |              > | 
|---|
 | 457 |     class dyn_size_bitset | 
|---|
 | 458 |       : public bitset_base<word_traits<WordType>, SizeType, | 
|---|
 | 459 |           dyn_size_bitset<WordType,SizeType,Allocator> > | 
|---|
 | 460 |     { | 
|---|
 | 461 |       typedef dyn_size_bitset self; | 
|---|
 | 462 |     public: | 
|---|
 | 463 |       typedef SizeType size_type; | 
|---|
 | 464 |     private: | 
|---|
 | 465 |       typedef word_traits<WordType> WordTraits; | 
|---|
 | 466 |       static const size_type word_size = WordTraits::word_size; | 
|---|
 | 467 |  | 
|---|
 | 468 |     public: | 
|---|
 | 469 |       dyn_size_bitset(unsigned long val,  | 
|---|
 | 470 |                       size_type n, | 
|---|
 | 471 |                       const Allocator& alloc = Allocator())  | 
|---|
 | 472 |         : m_data(alloc.allocate((n + word_size - 1) / word_size)), | 
|---|
 | 473 |           m_size(n), | 
|---|
 | 474 |           m_num_words((n + word_size - 1) / word_size), | 
|---|
 | 475 |           m_alloc(alloc) | 
|---|
 | 476 |       { | 
|---|
 | 477 |         init_from_ulong(val); | 
|---|
 | 478 |       } | 
|---|
 | 479 |  | 
|---|
 | 480 |       dyn_size_bitset(size_type n,  // size of the set's "universe" | 
|---|
 | 481 |                       const Allocator& alloc = Allocator()) | 
|---|
 | 482 |         : m_data(alloc.allocate((n + word_size - 1) / word_size)),  | 
|---|
 | 483 |           m_size(n), m_num_words((n + word_size - 1) / word_size), | 
|---|
 | 484 |           m_alloc(alloc) | 
|---|
 | 485 |       { } | 
|---|
 | 486 |  | 
|---|
 | 487 |       template<class CharT, class Traits, class Alloc> | 
|---|
 | 488 |       explicit dyn_size_bitset | 
|---|
 | 489 |         (const basic_string<CharT,Traits,Alloc>& s, | 
|---|
 | 490 |          std::size_t pos = 0, | 
|---|
 | 491 |          std::size_t n = std::size_t(basic_string<CharT,Traits,Alloc>::npos), | 
|---|
 | 492 |          const Allocator& alloc = Allocator()) | 
|---|
 | 493 |         : m_data(alloc.allocate((n + word_size - 1) / word_size)),  | 
|---|
 | 494 |           m_size(n), m_num_words((n + word_size - 1) / word_size), | 
|---|
 | 495 |           m_alloc(alloc) | 
|---|
 | 496 |       { | 
|---|
 | 497 |         BOOST_ASSERT_THROW(pos < s.size(), std::out_of_range("dyn_size_bitset::dyn_size_bitset(s,pos,n,alloc)")); | 
|---|
 | 498 |         m_copy_from_string(s, pos, n); | 
|---|
 | 499 |       } | 
|---|
 | 500 |  | 
|---|
 | 501 |       template <typename InputIterator> | 
|---|
 | 502 |       explicit dyn_size_bitset | 
|---|
 | 503 |         (InputIterator first, InputIterator last, | 
|---|
 | 504 |          size_type n,  // size of the set's "universe" | 
|---|
 | 505 |          const Allocator& alloc = Allocator()) | 
|---|
 | 506 |         : m_data(alloc.allocate((n + word_size - 1) / word_size)),  | 
|---|
 | 507 |           m_size(N), m_num_words((n + word_size - 1) / word_size), | 
|---|
 | 508 |           m_alloc(alloc) | 
|---|
 | 509 |       { | 
|---|
 | 510 |         while (first != last) | 
|---|
 | 511 |           this->set(*first++); | 
|---|
 | 512 |       } | 
|---|
 | 513 |  | 
|---|
 | 514 |       ~dyn_size_bitset() {  | 
|---|
 | 515 |         m_alloc.deallocate(m_data, m_num_words);  | 
|---|
 | 516 |       } | 
|---|
 | 517 |        | 
|---|
 | 518 |       size_type size() const { return m_size; } | 
|---|
 | 519 |  | 
|---|
 | 520 |       // protected: | 
|---|
 | 521 |       size_type num_words() const { return m_num_words; } | 
|---|
 | 522 |  | 
|---|
 | 523 |       word_type* data() { return m_data; } | 
|---|
 | 524 |       const word_type* data() const { return m_data; } | 
|---|
 | 525 |  | 
|---|
 | 526 |     protected: | 
|---|
 | 527 |       word_type* m_data; | 
|---|
 | 528 |       SizeType m_size; | 
|---|
 | 529 |       SizeType m_num_words; | 
|---|
 | 530 |       Allocator m_alloc; | 
|---|
 | 531 |     }; | 
|---|
 | 532 |  | 
|---|
 | 533 |     //========================================================================= | 
|---|
 | 534 |     template <std::size_t N, typename WordType = unsigned long, | 
|---|
 | 535 |       typename SizeType = std::size_t> | 
|---|
 | 536 |     class bitset | 
|---|
 | 537 |       : public bitset_base<word_traits<WordType>, SizeType, | 
|---|
 | 538 |           bitset<N, WordType, SizeType> > | 
|---|
 | 539 |     { | 
|---|
 | 540 |       typedef bitset self; | 
|---|
 | 541 |       static const std::size_t word_size = word_traits<WordType>::word_size; | 
|---|
 | 542 |     public: | 
|---|
 | 543 |         // 23.3.5.1 constructors: | 
|---|
 | 544 |       bitset() { | 
|---|
 | 545 | #if defined(__GNUC__) | 
|---|
 | 546 |         for (size_type i = 0; i < num_words(); ++i) | 
|---|
 | 547 |           m_data[i] = static_cast<WordType>(0); | 
|---|
 | 548 | #endif | 
|---|
 | 549 |       } | 
|---|
 | 550 |  | 
|---|
 | 551 |       bitset(unsigned long val) { | 
|---|
 | 552 |         init_from_ulong(val); | 
|---|
 | 553 |       } | 
|---|
 | 554 |  | 
|---|
 | 555 |       template<class CharT, class Traits, class Alloc> | 
|---|
 | 556 |       explicit bitset | 
|---|
 | 557 |         (const basic_string<CharT,Traits,Alloc>& s, | 
|---|
 | 558 |          std::size_t pos = 0, | 
|---|
 | 559 |          std::size_t n = std::size_t(basic_string<CharT,Traits,Alloc>::npos)) | 
|---|
 | 560 |       { | 
|---|
 | 561 |         BOOST_ASSERT_THROW | 
|---|
 | 562 |           (pos < s.size(), std::out_of_range("bitset::bitset(s,pos,n)")); | 
|---|
 | 563 |         m_copy_from_string(s, pos, n); | 
|---|
 | 564 |       } | 
|---|
 | 565 |  | 
|---|
 | 566 |       size_type size() const { return N; } | 
|---|
 | 567 |  | 
|---|
 | 568 |       // protected: | 
|---|
 | 569 |       size_type num_words() const { return (N + word_size - 1) / word_size; } | 
|---|
 | 570 |  | 
|---|
 | 571 |       word_type* data() { return m_data; } | 
|---|
 | 572 |       const word_type* data() const { return m_data; } | 
|---|
 | 573 |     protected: | 
|---|
 | 574 |       word_type m_data[(N + word_size - 1) / word_size]; | 
|---|
 | 575 |     }; | 
|---|
 | 576 |  | 
|---|
 | 577 |     //========================================================================= | 
|---|
 | 578 |     struct select_static_bitset { | 
|---|
 | 579 |       template <std::size_t N, typename WordT, typename SizeT, typename Alloc> | 
|---|
 | 580 |       struct bind_ { | 
|---|
 | 581 |         typedef bitset<N, WordT, SizeT> type; | 
|---|
 | 582 |       }; | 
|---|
 | 583 |     }; | 
|---|
 | 584 |     struct select_dyn_size_bitset { | 
|---|
 | 585 |       template <std::size_t N, typename WordT, typename SizeT, typename Alloc> | 
|---|
 | 586 |       struct bind_ { | 
|---|
 | 587 |         typedef dyn_size_bitset<WordT, SizeT, Alloc> type; | 
|---|
 | 588 |       }; | 
|---|
 | 589 |     }; | 
|---|
 | 590 |  | 
|---|
 | 591 |     template <std::size_t N = 0, // 0 means use dynamic | 
|---|
 | 592 |       typename WordType = unsigned long, | 
|---|
 | 593 |       typename Size_type = std::size_t,  | 
|---|
 | 594 |       typename Allocator = std::allocator<WordType> | 
|---|
 | 595 |              > | 
|---|
 | 596 |     class bitset_generator { | 
|---|
 | 597 |       typedef typename ct_if<N, select_dyn_size_bitset, | 
|---|
 | 598 |         select_static_bitset>::type selector; | 
|---|
 | 599 |     public: | 
|---|
 | 600 |       typedef typename selector | 
|---|
 | 601 |         ::template bind_<N, WordType, SizeType, Allocator>::type type; | 
|---|
 | 602 |     }; | 
|---|
 | 603 |  | 
|---|
 | 604 |  | 
|---|
 | 605 |     //========================================================================= | 
|---|
 | 606 |     // bitset_base non-inline member function implementations | 
|---|
 | 607 |  | 
|---|
 | 608 |     template <class WordTraits, class SizeType, class Derived> | 
|---|
 | 609 |     Derived& | 
|---|
 | 610 |     bitset_base<WordTraits, SizeType, Derived>:: | 
|---|
 | 611 |     operator<<=(size_type shift) | 
|---|
 | 612 |     { | 
|---|
 | 613 |       typedef typename WordTraits::word_type word_type; | 
|---|
 | 614 |       typedef SizeType size_type; | 
|---|
 | 615 |       if (shift != 0) { | 
|---|
 | 616 |         const size_type wshift = shift / WordTraits::word_size; | 
|---|
 | 617 |         const size_type offset = shift % WordTraits::word_size; | 
|---|
 | 618 |         const size_type sub_offset = WordTraits::word_size - offset; | 
|---|
 | 619 |         size_type n = num_words() - 1; | 
|---|
 | 620 |         for ( ; n > wshift; --n) | 
|---|
 | 621 |           data()[n] = (data()[n - wshift] << offset) | | 
|---|
 | 622 |             (data()[n - wshift - 1] >> sub_offset); | 
|---|
 | 623 |         if (n == wshift) | 
|---|
 | 624 |           data()[n] = data()[0] << offset; | 
|---|
 | 625 |         for (size_type n1 = 0; n1 < n; ++n1) | 
|---|
 | 626 |           data()[n1] = static_cast<word_type>(0); | 
|---|
 | 627 |       } | 
|---|
 | 628 |       m_sanitize_highest(); | 
|---|
 | 629 |       return static_cast<Derived&>(*this); | 
|---|
 | 630 |     } // end operator<<= | 
|---|
 | 631 |  | 
|---|
 | 632 |  | 
|---|
 | 633 |     template <class WordTraits, class SizeType, class Derived> | 
|---|
 | 634 |     Derived& | 
|---|
 | 635 |     bitset_base<WordTraits, SizeType, Derived>:: | 
|---|
 | 636 |     operator>>=(size_type shift) | 
|---|
 | 637 |     { | 
|---|
 | 638 |       typedef typename WordTraits::word_type word_type; | 
|---|
 | 639 |       typedef SizeType size_type; | 
|---|
 | 640 |       if (shift != 0) { | 
|---|
 | 641 |         const size_type wshift = shift / WordTraits::word_size; | 
|---|
 | 642 |         const size_type offset = shift % WordTraits::word_size; | 
|---|
 | 643 |         const size_type sub_offset = WordTraits::word_size - offset; | 
|---|
 | 644 |         const size_type limit = num_words() - wshift - 1; | 
|---|
 | 645 |         size_type n = 0; | 
|---|
 | 646 |         for ( ; n < limit; ++n) | 
|---|
 | 647 |           data()[n] = (data()[n + wshift] >> offset) | | 
|---|
 | 648 |             (data()[n + wshift + 1] << sub_offset); | 
|---|
 | 649 |         data()[limit] = data()[num_words()-1] >> offset; | 
|---|
 | 650 |         for (size_type n1 = limit + 1; n1 < num_words(); ++n1) | 
|---|
 | 651 |           data()[n1] = static_cast<word_type>(0); | 
|---|
 | 652 |       } | 
|---|
 | 653 |       m_sanitize_highest(); | 
|---|
 | 654 |       return static_cast<Derived&>(*this); | 
|---|
 | 655 |     } // end operator>>= | 
|---|
 | 656 |  | 
|---|
 | 657 |  | 
|---|
 | 658 |     template <class WordTraits, class SizeType, class Derived> | 
|---|
 | 659 |     unsigned long bitset_base<WordTraits, SizeType, Derived>:: | 
|---|
 | 660 |     to_ulong() const  | 
|---|
 | 661 |     { | 
|---|
 | 662 |       typedef typename WordTraits::word_type word_type; | 
|---|
 | 663 |       typedef SizeType size_type; | 
|---|
 | 664 |       const std::overflow_error | 
|---|
 | 665 |         overflow("boost::bit_set::operator unsigned long()"); | 
|---|
 | 666 |  | 
|---|
 | 667 |       if (sizeof(word_type) >= sizeof(unsigned long)) { | 
|---|
 | 668 |         for (size_type i = 1; i < num_words(); ++i) | 
|---|
 | 669 |           BOOST_ASSERT_THROW(! data()[i], overflow); | 
|---|
 | 670 |          | 
|---|
 | 671 |         const word_type mask  | 
|---|
 | 672 |           = static_cast<word_type>(static_cast<unsigned long>(-1)); | 
|---|
 | 673 |         BOOST_ASSERT_THROW(! (data()[0] & ~mask), overflow); | 
|---|
 | 674 |          | 
|---|
 | 675 |         return static_cast<unsigned long>(data()[0] & mask); | 
|---|
 | 676 |       } | 
|---|
 | 677 |       else { // sizeof(word_type) < sizeof(unsigned long). | 
|---|
 | 678 |         const size_type nwords = | 
|---|
 | 679 |           (sizeof(unsigned long) + sizeof(word_type) - 1) / sizeof(word_type); | 
|---|
 | 680 |  | 
|---|
 | 681 |         size_type min_nwords = nwords; | 
|---|
 | 682 |         if (num_words() > nwords) { | 
|---|
 | 683 |           for (size_type i = nwords; i < num_words(); ++i) | 
|---|
 | 684 |             BOOST_ASSERT_THROW(!data()[i], overflow); | 
|---|
 | 685 |         } | 
|---|
 | 686 |         else | 
|---|
 | 687 |           min_nwords = num_words(); | 
|---|
 | 688 |  | 
|---|
 | 689 |         // If unsigned long is 8 bytes and word_type is 6 bytes, then | 
|---|
 | 690 |         // an unsigned long consists of all of one word plus 2 bytes | 
|---|
 | 691 |         // from another word. | 
|---|
 | 692 |         const size_type part = sizeof(unsigned long) % sizeof(word_type); | 
|---|
 | 693 |  | 
|---|
 | 694 | #if 0 | 
|---|
 | 695 |         // bug in here? | 
|---|
 | 696 |         // >> to far? | 
|---|
 | 697 |         BOOST_ASSERT_THROW((part != 0  | 
|---|
 | 698 |                             && nwords <= num_words()  | 
|---|
 | 699 |                             && (data()[min_nwords - 1] >> | 
|---|
 | 700 |                                 ((sizeof(word_type) - part) * CHAR_BIT)) != 0), | 
|---|
 | 701 |                            overflow); | 
|---|
 | 702 | #endif | 
|---|
 | 703 |  | 
|---|
 | 704 |         unsigned long result = 0; | 
|---|
 | 705 |         for (size_type i = 0; i < min_nwords; ++i) { | 
|---|
 | 706 |           result |= static_cast<unsigned long>( | 
|---|
 | 707 |              data()[i]) << (i * sizeof(word_type) * CHAR_BIT); | 
|---|
 | 708 |         } | 
|---|
 | 709 |         return result; | 
|---|
 | 710 |       } | 
|---|
 | 711 |     }// end operator unsigned long() | 
|---|
 | 712 |  | 
|---|
 | 713 |  | 
|---|
 | 714 |     template <class WordTraits, class SizeType, class Derived> | 
|---|
 | 715 |     SizeType bitset_base<WordTraits,SizeType,Derived>:: | 
|---|
 | 716 |     find_first() const | 
|---|
 | 717 |     { | 
|---|
 | 718 |       SizeType not_found = size(); | 
|---|
 | 719 |       for (size_type i = 0; i < num_words(); i++ ) { | 
|---|
 | 720 |         word_type thisword = data()[i]; | 
|---|
 | 721 |         if ( thisword != static_cast<word_type>(0) ) { | 
|---|
 | 722 |           // find byte within word | 
|---|
 | 723 |           for ( std::size_t j = 0; j < sizeof(word_type); j++ ) { | 
|---|
 | 724 |             unsigned char this_byte | 
|---|
 | 725 |               = static_cast<unsigned char>(thisword & (~(unsigned char)0)); | 
|---|
 | 726 |             if ( this_byte ) | 
|---|
 | 727 |               return i * WordTraits::word_size + j * CHAR_BIT + | 
|---|
 | 728 |                 first_bit_location<>::value[this_byte]; | 
|---|
 | 729 |  | 
|---|
 | 730 |             thisword >>= CHAR_BIT; | 
|---|
 | 731 |           } | 
|---|
 | 732 |         } | 
|---|
 | 733 |       } | 
|---|
 | 734 |       // not found, so return an indication of failure. | 
|---|
 | 735 |       return not_found; | 
|---|
 | 736 |     } | 
|---|
 | 737 |  | 
|---|
 | 738 |     template <class WordTraits, class SizeType, class Derived> | 
|---|
 | 739 |     SizeType bitset_base<WordTraits, SizeType, Derived>:: | 
|---|
 | 740 |     bitset_base<WordTraits,SizeType,Derived>:: | 
|---|
 | 741 |     find_next(size_type prev) const | 
|---|
 | 742 |     { | 
|---|
 | 743 |       SizeType not_found = size(); | 
|---|
 | 744 |       // make bound inclusive | 
|---|
 | 745 |       ++prev; | 
|---|
 | 746 |  | 
|---|
 | 747 |       // check out of bounds | 
|---|
 | 748 |       if ( prev >= num_words() * WordTraits::word_size ) | 
|---|
 | 749 |         return not_found; | 
|---|
 | 750 |  | 
|---|
 | 751 |         // search first word | 
|---|
 | 752 |       size_type i = s_which_word(prev); | 
|---|
 | 753 |       word_type thisword = data()[i]; | 
|---|
 | 754 |  | 
|---|
 | 755 |         // mask off bits below bound | 
|---|
 | 756 |       thisword &= (~static_cast<word_type>(0)) << s_which_bit(prev); | 
|---|
 | 757 |  | 
|---|
 | 758 |       if ( thisword != static_cast<word_type>(0) ) { | 
|---|
 | 759 |         // find byte within word | 
|---|
 | 760 |         // get first byte into place | 
|---|
 | 761 |         thisword >>= s_which_byte(prev) * CHAR_BIT; | 
|---|
 | 762 |         for ( size_type j = s_which_byte(prev); j < sizeof(word_type); j++ ) { | 
|---|
 | 763 |           unsigned char this_byte | 
|---|
 | 764 |             = static_cast<unsigned char>(thisword & (~(unsigned char)0)); | 
|---|
 | 765 |           if ( this_byte ) | 
|---|
 | 766 |             return i * WordTraits::word_size + j * CHAR_BIT + | 
|---|
 | 767 |               first_bit_location<>::value[this_byte]; | 
|---|
 | 768 |  | 
|---|
 | 769 |           thisword >>= CHAR_BIT; | 
|---|
 | 770 |         } | 
|---|
 | 771 |       } | 
|---|
 | 772 |  | 
|---|
 | 773 |       // check subsequent words | 
|---|
 | 774 |       i++; | 
|---|
 | 775 |       for ( ; i < num_words(); i++ ) { | 
|---|
 | 776 |         word_type thisword = data()[i]; | 
|---|
 | 777 |         if ( thisword != static_cast<word_type>(0) ) { | 
|---|
 | 778 |           // find byte within word | 
|---|
 | 779 |           for ( size_type j = 0; j < sizeof(word_type); j++ ) { | 
|---|
 | 780 |             unsigned char this_byte | 
|---|
 | 781 |               = static_cast<unsigned char>(thisword & (~(unsigned char)0)); | 
|---|
 | 782 |             if ( this_byte ) | 
|---|
 | 783 |               return i * WordTraits::word_size + j * CHAR_BIT + | 
|---|
 | 784 |                 first_bit_location<>::value[this_byte]; | 
|---|
 | 785 |  | 
|---|
 | 786 |             thisword >>= CHAR_BIT; | 
|---|
 | 787 |           } | 
|---|
 | 788 |         } | 
|---|
 | 789 |       } | 
|---|
 | 790 |  | 
|---|
 | 791 |       // not found, so return an indication of failure. | 
|---|
 | 792 |       return not_found; | 
|---|
 | 793 |     } // end find_next | 
|---|
 | 794 |  | 
|---|
 | 795 |  | 
|---|
 | 796 |     template <bool dummy> | 
|---|
 | 797 |     unsigned char bit_count<dummy>::value[] = { | 
|---|
 | 798 |       0, /*   0 */ 1, /*   1 */ 1, /*   2 */ 2, /*   3 */ 1, /*   4 */ | 
|---|
 | 799 |       2, /*   5 */ 2, /*   6 */ 3, /*   7 */ 1, /*   8 */ 2, /*   9 */ | 
|---|
 | 800 |       2, /*  10 */ 3, /*  11 */ 2, /*  12 */ 3, /*  13 */ 3, /*  14 */ | 
|---|
 | 801 |       4, /*  15 */ 1, /*  16 */ 2, /*  17 */ 2, /*  18 */ 3, /*  19 */ | 
|---|
 | 802 |       2, /*  20 */ 3, /*  21 */ 3, /*  22 */ 4, /*  23 */ 2, /*  24 */ | 
|---|
 | 803 |       3, /*  25 */ 3, /*  26 */ 4, /*  27 */ 3, /*  28 */ 4, /*  29 */ | 
|---|
 | 804 |       4, /*  30 */ 5, /*  31 */ 1, /*  32 */ 2, /*  33 */ 2, /*  34 */ | 
|---|
 | 805 |       3, /*  35 */ 2, /*  36 */ 3, /*  37 */ 3, /*  38 */ 4, /*  39 */ | 
|---|
 | 806 |       2, /*  40 */ 3, /*  41 */ 3, /*  42 */ 4, /*  43 */ 3, /*  44 */ | 
|---|
 | 807 |       4, /*  45 */ 4, /*  46 */ 5, /*  47 */ 2, /*  48 */ 3, /*  49 */ | 
|---|
 | 808 |       3, /*  50 */ 4, /*  51 */ 3, /*  52 */ 4, /*  53 */ 4, /*  54 */ | 
|---|
 | 809 |       5, /*  55 */ 3, /*  56 */ 4, /*  57 */ 4, /*  58 */ 5, /*  59 */ | 
|---|
 | 810 |       4, /*  60 */ 5, /*  61 */ 5, /*  62 */ 6, /*  63 */ 1, /*  64 */ | 
|---|
 | 811 |       2, /*  65 */ 2, /*  66 */ 3, /*  67 */ 2, /*  68 */ 3, /*  69 */ | 
|---|
 | 812 |       3, /*  70 */ 4, /*  71 */ 2, /*  72 */ 3, /*  73 */ 3, /*  74 */ | 
|---|
 | 813 |       4, /*  75 */ 3, /*  76 */ 4, /*  77 */ 4, /*  78 */ 5, /*  79 */ | 
|---|
 | 814 |       2, /*  80 */ 3, /*  81 */ 3, /*  82 */ 4, /*  83 */ 3, /*  84 */ | 
|---|
 | 815 |       4, /*  85 */ 4, /*  86 */ 5, /*  87 */ 3, /*  88 */ 4, /*  89 */ | 
|---|
 | 816 |       4, /*  90 */ 5, /*  91 */ 4, /*  92 */ 5, /*  93 */ 5, /*  94 */ | 
|---|
 | 817 |       6, /*  95 */ 2, /*  96 */ 3, /*  97 */ 3, /*  98 */ 4, /*  99 */ | 
|---|
 | 818 |       3, /* 100 */ 4, /* 101 */ 4, /* 102 */ 5, /* 103 */ 3, /* 104 */ | 
|---|
 | 819 |       4, /* 105 */ 4, /* 106 */ 5, /* 107 */ 4, /* 108 */ 5, /* 109 */ | 
|---|
 | 820 |       5, /* 110 */ 6, /* 111 */ 3, /* 112 */ 4, /* 113 */ 4, /* 114 */ | 
|---|
 | 821 |       5, /* 115 */ 4, /* 116 */ 5, /* 117 */ 5, /* 118 */ 6, /* 119 */ | 
|---|
 | 822 |       4, /* 120 */ 5, /* 121 */ 5, /* 122 */ 6, /* 123 */ 5, /* 124 */ | 
|---|
 | 823 |       6, /* 125 */ 6, /* 126 */ 7, /* 127 */ 1, /* 128 */ 2, /* 129 */ | 
|---|
 | 824 |       2, /* 130 */ 3, /* 131 */ 2, /* 132 */ 3, /* 133 */ 3, /* 134 */ | 
|---|
 | 825 |       4, /* 135 */ 2, /* 136 */ 3, /* 137 */ 3, /* 138 */ 4, /* 139 */ | 
|---|
 | 826 |       3, /* 140 */ 4, /* 141 */ 4, /* 142 */ 5, /* 143 */ 2, /* 144 */ | 
|---|
 | 827 |       3, /* 145 */ 3, /* 146 */ 4, /* 147 */ 3, /* 148 */ 4, /* 149 */ | 
|---|
 | 828 |       4, /* 150 */ 5, /* 151 */ 3, /* 152 */ 4, /* 153 */ 4, /* 154 */ | 
|---|
 | 829 |       5, /* 155 */ 4, /* 156 */ 5, /* 157 */ 5, /* 158 */ 6, /* 159 */ | 
|---|
 | 830 |       2, /* 160 */ 3, /* 161 */ 3, /* 162 */ 4, /* 163 */ 3, /* 164 */ | 
|---|
 | 831 |       4, /* 165 */ 4, /* 166 */ 5, /* 167 */ 3, /* 168 */ 4, /* 169 */ | 
|---|
 | 832 |       4, /* 170 */ 5, /* 171 */ 4, /* 172 */ 5, /* 173 */ 5, /* 174 */ | 
|---|
 | 833 |       6, /* 175 */ 3, /* 176 */ 4, /* 177 */ 4, /* 178 */ 5, /* 179 */ | 
|---|
 | 834 |       4, /* 180 */ 5, /* 181 */ 5, /* 182 */ 6, /* 183 */ 4, /* 184 */ | 
|---|
 | 835 |       5, /* 185 */ 5, /* 186 */ 6, /* 187 */ 5, /* 188 */ 6, /* 189 */ | 
|---|
 | 836 |       6, /* 190 */ 7, /* 191 */ 2, /* 192 */ 3, /* 193 */ 3, /* 194 */ | 
|---|
 | 837 |       4, /* 195 */ 3, /* 196 */ 4, /* 197 */ 4, /* 198 */ 5, /* 199 */ | 
|---|
 | 838 |       3, /* 200 */ 4, /* 201 */ 4, /* 202 */ 5, /* 203 */ 4, /* 204 */ | 
|---|
 | 839 |       5, /* 205 */ 5, /* 206 */ 6, /* 207 */ 3, /* 208 */ 4, /* 209 */ | 
|---|
 | 840 |       4, /* 210 */ 5, /* 211 */ 4, /* 212 */ 5, /* 213 */ 5, /* 214 */ | 
|---|
 | 841 |       6, /* 215 */ 4, /* 216 */ 5, /* 217 */ 5, /* 218 */ 6, /* 219 */ | 
|---|
 | 842 |       5, /* 220 */ 6, /* 221 */ 6, /* 222 */ 7, /* 223 */ 3, /* 224 */ | 
|---|
 | 843 |       4, /* 225 */ 4, /* 226 */ 5, /* 227 */ 4, /* 228 */ 5, /* 229 */ | 
|---|
 | 844 |       5, /* 230 */ 6, /* 231 */ 4, /* 232 */ 5, /* 233 */ 5, /* 234 */ | 
|---|
 | 845 |       6, /* 235 */ 5, /* 236 */ 6, /* 237 */ 6, /* 238 */ 7, /* 239 */ | 
|---|
 | 846 |       4, /* 240 */ 5, /* 241 */ 5, /* 242 */ 6, /* 243 */ 5, /* 244 */ | 
|---|
 | 847 |       6, /* 245 */ 6, /* 246 */ 7, /* 247 */ 5, /* 248 */ 6, /* 249 */ | 
|---|
 | 848 |       6, /* 250 */ 7, /* 251 */ 6, /* 252 */ 7, /* 253 */ 7, /* 254 */ | 
|---|
 | 849 |       8  /* 255 */ | 
|---|
 | 850 |     }; // end _Bit_count | 
|---|
 | 851 |  | 
|---|
 | 852 |     template <bool dummy> | 
|---|
 | 853 |     unsigned char first_bit_location<dummy>::value[] = { | 
|---|
 | 854 |       0, /*   0 */ 0, /*   1 */ 1, /*   2 */ 0, /*   3 */ 2, /*   4 */ | 
|---|
 | 855 |       0, /*   5 */ 1, /*   6 */ 0, /*   7 */ 3, /*   8 */ 0, /*   9 */ | 
|---|
 | 856 |       1, /*  10 */ 0, /*  11 */ 2, /*  12 */ 0, /*  13 */ 1, /*  14 */ | 
|---|
 | 857 |       0, /*  15 */ 4, /*  16 */ 0, /*  17 */ 1, /*  18 */ 0, /*  19 */ | 
|---|
 | 858 |       2, /*  20 */ 0, /*  21 */ 1, /*  22 */ 0, /*  23 */ 3, /*  24 */ | 
|---|
 | 859 |       0, /*  25 */ 1, /*  26 */ 0, /*  27 */ 2, /*  28 */ 0, /*  29 */ | 
|---|
 | 860 |       1, /*  30 */ 0, /*  31 */ 5, /*  32 */ 0, /*  33 */ 1, /*  34 */ | 
|---|
 | 861 |       0, /*  35 */ 2, /*  36 */ 0, /*  37 */ 1, /*  38 */ 0, /*  39 */ | 
|---|
 | 862 |       3, /*  40 */ 0, /*  41 */ 1, /*  42 */ 0, /*  43 */ 2, /*  44 */ | 
|---|
 | 863 |       0, /*  45 */ 1, /*  46 */ 0, /*  47 */ 4, /*  48 */ 0, /*  49 */ | 
|---|
 | 864 |       1, /*  50 */ 0, /*  51 */ 2, /*  52 */ 0, /*  53 */ 1, /*  54 */ | 
|---|
 | 865 |       0, /*  55 */ 3, /*  56 */ 0, /*  57 */ 1, /*  58 */ 0, /*  59 */ | 
|---|
 | 866 |       2, /*  60 */ 0, /*  61 */ 1, /*  62 */ 0, /*  63 */ 6, /*  64 */ | 
|---|
 | 867 |       0, /*  65 */ 1, /*  66 */ 0, /*  67 */ 2, /*  68 */ 0, /*  69 */ | 
|---|
 | 868 |       1, /*  70 */ 0, /*  71 */ 3, /*  72 */ 0, /*  73 */ 1, /*  74 */ | 
|---|
 | 869 |       0, /*  75 */ 2, /*  76 */ 0, /*  77 */ 1, /*  78 */ 0, /*  79 */ | 
|---|
 | 870 |       4, /*  80 */ 0, /*  81 */ 1, /*  82 */ 0, /*  83 */ 2, /*  84 */ | 
|---|
 | 871 |       0, /*  85 */ 1, /*  86 */ 0, /*  87 */ 3, /*  88 */ 0, /*  89 */ | 
|---|
 | 872 |       1, /*  90 */ 0, /*  91 */ 2, /*  92 */ 0, /*  93 */ 1, /*  94 */ | 
|---|
 | 873 |       0, /*  95 */ 5, /*  96 */ 0, /*  97 */ 1, /*  98 */ 0, /*  99 */ | 
|---|
 | 874 |       2, /* 100 */ 0, /* 101 */ 1, /* 102 */ 0, /* 103 */ 3, /* 104 */ | 
|---|
 | 875 |       0, /* 105 */ 1, /* 106 */ 0, /* 107 */ 2, /* 108 */ 0, /* 109 */ | 
|---|
 | 876 |       1, /* 110 */ 0, /* 111 */ 4, /* 112 */ 0, /* 113 */ 1, /* 114 */ | 
|---|
 | 877 |       0, /* 115 */ 2, /* 116 */ 0, /* 117 */ 1, /* 118 */ 0, /* 119 */ | 
|---|
 | 878 |       3, /* 120 */ 0, /* 121 */ 1, /* 122 */ 0, /* 123 */ 2, /* 124 */ | 
|---|
 | 879 |       0, /* 125 */ 1, /* 126 */ 0, /* 127 */ 7, /* 128 */ 0, /* 129 */ | 
|---|
 | 880 |       1, /* 130 */ 0, /* 131 */ 2, /* 132 */ 0, /* 133 */ 1, /* 134 */ | 
|---|
 | 881 |       0, /* 135 */ 3, /* 136 */ 0, /* 137 */ 1, /* 138 */ 0, /* 139 */ | 
|---|
 | 882 |       2, /* 140 */ 0, /* 141 */ 1, /* 142 */ 0, /* 143 */ 4, /* 144 */ | 
|---|
 | 883 |       0, /* 145 */ 1, /* 146 */ 0, /* 147 */ 2, /* 148 */ 0, /* 149 */ | 
|---|
 | 884 |       1, /* 150 */ 0, /* 151 */ 3, /* 152 */ 0, /* 153 */ 1, /* 154 */ | 
|---|
 | 885 |       0, /* 155 */ 2, /* 156 */ 0, /* 157 */ 1, /* 158 */ 0, /* 159 */ | 
|---|
 | 886 |       5, /* 160 */ 0, /* 161 */ 1, /* 162 */ 0, /* 163 */ 2, /* 164 */ | 
|---|
 | 887 |       0, /* 165 */ 1, /* 166 */ 0, /* 167 */ 3, /* 168 */ 0, /* 169 */ | 
|---|
 | 888 |       1, /* 170 */ 0, /* 171 */ 2, /* 172 */ 0, /* 173 */ 1, /* 174 */ | 
|---|
 | 889 |       0, /* 175 */ 4, /* 176 */ 0, /* 177 */ 1, /* 178 */ 0, /* 179 */ | 
|---|
 | 890 |       2, /* 180 */ 0, /* 181 */ 1, /* 182 */ 0, /* 183 */ 3, /* 184 */ | 
|---|
 | 891 |       0, /* 185 */ 1, /* 186 */ 0, /* 187 */ 2, /* 188 */ 0, /* 189 */ | 
|---|
 | 892 |       1, /* 190 */ 0, /* 191 */ 6, /* 192 */ 0, /* 193 */ 1, /* 194 */ | 
|---|
 | 893 |       0, /* 195 */ 2, /* 196 */ 0, /* 197 */ 1, /* 198 */ 0, /* 199 */ | 
|---|
 | 894 |       3, /* 200 */ 0, /* 201 */ 1, /* 202 */ 0, /* 203 */ 2, /* 204 */ | 
|---|
 | 895 |       0, /* 205 */ 1, /* 206 */ 0, /* 207 */ 4, /* 208 */ 0, /* 209 */ | 
|---|
 | 896 |       1, /* 210 */ 0, /* 211 */ 2, /* 212 */ 0, /* 213 */ 1, /* 214 */ | 
|---|
 | 897 |       0, /* 215 */ 3, /* 216 */ 0, /* 217 */ 1, /* 218 */ 0, /* 219 */ | 
|---|
 | 898 |       2, /* 220 */ 0, /* 221 */ 1, /* 222 */ 0, /* 223 */ 5, /* 224 */ | 
|---|
 | 899 |       0, /* 225 */ 1, /* 226 */ 0, /* 227 */ 2, /* 228 */ 0, /* 229 */ | 
|---|
 | 900 |       1, /* 230 */ 0, /* 231 */ 3, /* 232 */ 0, /* 233 */ 1, /* 234 */ | 
|---|
 | 901 |       0, /* 235 */ 2, /* 236 */ 0, /* 237 */ 1, /* 238 */ 0, /* 239 */ | 
|---|
 | 902 |       4, /* 240 */ 0, /* 241 */ 1, /* 242 */ 0, /* 243 */ 2, /* 244 */ | 
|---|
 | 903 |       0, /* 245 */ 1, /* 246 */ 0, /* 247 */ 3, /* 248 */ 0, /* 249 */ | 
|---|
 | 904 |       1, /* 250 */ 0, /* 251 */ 2, /* 252 */ 0, /* 253 */ 1, /* 254 */ | 
|---|
 | 905 |       0, /* 255 */ | 
|---|
 | 906 |     }; // end _First_one | 
|---|
 | 907 |  | 
|---|
 | 908 |   } // namespace detail | 
|---|
 | 909 |  | 
|---|
 | 910 | } // namespace boost | 
|---|