Method one

gecode/support/bitset-base.hpp:339–343

    return bpb - ones();
  }
  forceinline bool
  BitSetData::one(void) const {
    return (bits & (bits - static_cast<Base>(1U))) ==
      static_cast<Base>(0U);
  }

  forceinline void
  BitSetData::a(BitSetData a) {