Method add_to_mask

gecode/int/extensional/tiny-bit-set.hpp:90–94

  template<unsigned int sz>
  forceinline void
  TinyBitSet<sz>::add_to_mask(const BitSetData* b, BitSetData* mask) const {
    for (unsigned int i=0U; i<sz; i++)
      mask[i] = BitSetData::o(mask[i],b[i]);
  }

  template<unsigned int sz>
  template<bool sparse>