Version 5.0 The LEDA User Manual

void mb.truncate(streamsize n)
also changes the size to n, but never allocates a new
buffer.
Precondition: n ≤ current capacity.
char∗ mb.get buffer( ) returns the memory buffer of mb.
void mb.set buffer(char ∗ buf , streamsize buf sz, bool own buf = false,
bool wipe buf = false)
makes buf the new memory buffer and changes capacity
and size to buf sz. (The meaning of own buf and
wipe buf is the same as in the second contructor.)
void mb.wipe buffer( ) like reset, in addition all bytes in the memory buffer
are set to zero.
streamsize mb.in avail( ) returns how many characters can be read from mb
before an underflow occurs.
streamsize mb.in count( ) returns how many characters have been read from mb
since the last reset.
streamsize mb.out avail( ) returns how many characters can be written to mb
before an overflow occurs.
streamsize mb.out count( ) returns how many characters have been written to mb
since the last reset.
bool mb.had underflow( ) returns whether an underflow has occurred since the
last reset.
bool mb.had overflow( ) returns whether an overflow has occurred since the
last reset.