Include file:
#include "mcrl2/utilities/power_of_two.h"
mcrl2::utilities::
::
is_power_of_two
Returns: True when the given value is a power of two.
round_up_to_power_of_two
Returns: The smallest power of two that is larger than the given value.
mcrl2/utilities/platform.h
mcrl2/utilities/progress_meter.h