Include file:
#include "mcrl2/utilities/bitstream.h"
mcrl2::utilities::ibitstream
mcrl2::utilities::obitstream
mcrl2::utilities::
::
integer_encoding_size
Returns: The number of bits needed to represent a value of type T in most significant bit encoding.
mcrl2/utilities/big_numbers.h
mcrl2/utilities/block_allocator.h