bitstream.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::utilities::obitstream
	A bitstream provides per bit writing of data to any stream (including stdout). More...
class	mcrl2::utilities::ibitstream
	The counterpart of obitstream, guarantees that the same data is read as has been written when calling the read operators in the same sequence as the corresponding write operators. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Functions
template<typename T >
constexpr std::size_t	mcrl2::utilities::integer_encoding_size ()