mcrl2/utilities/math.h

Include file:

#include "mcrl2/utilities/math.h"

Functions

std::size_t mcrl2::utilities::ceil_log2(std::size_t n)
std::size_t mcrl2::utilities::power_size_t(const std::size_t n_in, const std::size_t m_in)