mcrl2/utilities/bitstream.h

Include file:

#include "mcrl2/utilities/bitstream.h"

Classes

• mcrl2::utilities::ibitstream

• mcrl2::utilities::obitstream

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.