| [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 |
|---|