Method select

bolt/vector/SelectivityVector.h:271–278

Merges the valid vector of another SelectivityVector by or'ing them together. This is used to support memoization where a state may acquire new values over time. Grows 'this' if size of 'other' exceeds this size.

  /// may acquire new values over time. Grows 'this' if size of 'other' exceeds
  /// this size.
  void select(const SelectivityVector& other) {
    if (size_ < other.size()) {
      resize(other.size(), false);
    }
    bits::orBits(
        bits_.data(), other.bits_.data(), 0, std::min(size_, other.size()));
    updateBounds();
  }

  // Returns true if 'this' is equal to or a subset of 'other'.
  bool isSubset(const SelectivityVector& other) const {