| 63 | |
| 64 | template<class IndexType> |
| 65 | forceinline unsigned int |
| 66 | BitSet<IndexType>::width(void) const { |
| 67 | assert(!empty()); |
| 68 | IndexType width = _index[0]; |
| 69 | for (IndexType i=1; i<_limit; i++) |
| 70 | width = std::max(width,_index[i]); |
| 71 | assert(static_cast<unsigned int>(width+1U) >= words()); |
| 72 | return static_cast<unsigned int>(width+1U); |
| 73 | } |
| 74 | |
| 75 | template<class IndexType> |
| 76 | forceinline |