power_of_two.h File Reference

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
template<typename T , typename std::enable_if< std::is_integral< T >::value >::type * = nullptr>
static constexpr bool	mcrl2::utilities::is_power_of_two (T value)
template<typename T , typename std::enable_if< std::is_integral< T >::value >::type * = nullptr>
static T	mcrl2::utilities::round_up_to_power_of_two (T value)