mCRL2
|
Go to the source code of this file.
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 | |
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) |