Method max_bit

gecode/support/bitset-offset.hpp:143–146

  template<class A>
  forceinline int
  BitSetOffset<A>::max_bit(void) const {
    return _offset + static_cast<int>(size()) - 1;
  }

  template<class A>
  forceinline bool