equal
deleted
inserted
replaced
286 |
286 |
287 // Test if all bits are set or cleared |
287 // Test if all bits are set or cleared |
288 bool is_full() const; |
288 bool is_full() const; |
289 bool is_empty() const; |
289 bool is_empty() const; |
290 |
290 |
|
291 void write_to(bm_word_t* buffer, size_t buffer_size_in_bytes) const; |
291 void print_on_error(outputStream* st, const char* prefix) const; |
292 void print_on_error(outputStream* st, const char* prefix) const; |
292 |
293 |
293 #ifndef PRODUCT |
294 #ifndef PRODUCT |
294 public: |
295 public: |
295 // Printing |
296 // Printing |