/** Sets the idxth bit to b. The bit_vector is resized if necessary */
void set(size_t idx, bool b);
-
+ void set_le(size_t idx, bool b);
/** Adds bit b at the end of the bit_vector. The bit_vector is resized if
necessary */
void push_back(bool b);
/** Efficient unsafe get/get_field */
bool unsafe_get(size_t idx) const;
uint32_t unsafe_get_field(size_t idx, size_t len) const;
-
+ void debug(void) const;
private:
// true if get_vector_ptr() was called