| 170 | |
| 171 | template<unsigned int sz> |
| 172 | forceinline unsigned int |
| 173 | TinyBitSet<sz>::width(void) const { |
| 174 | assert(!empty()); |
| 175 | /// Find the index of the last non-zero word |
| 176 | for (unsigned int i=sz; i--; ) |
| 177 | if (!_bits[i].none()) |
| 178 | return i+1U; |
| 179 | GECODE_NEVER; |
| 180 | return 0U; |
| 181 | } |
| 182 | |
| 183 | template<unsigned int sz> |
| 184 | forceinline unsigned int |
no test coverage detected