@@ -292,10 +292,11 @@ // Test if all bits are set or cleared bool is_full() const; bool is_empty() const; + void write_to(bm_word_t* buffer, size_t buffer_size_in_bytes) const; void print_on_error(outputStream* st, const char* prefix) const; #ifndef PRODUCT public: // Printing