mcrl2/utilities/bitstream.h

Include file:

#include "mcrl2/utilities/bitstream.h"

Functions

constexpr std::size_t mcrl2::utilities::integer_encoding_size()

Returns: The number of bits needed to represent a value of type T in most significant bit encoding.