math.h File Reference

#include <cmath>
#include "storm/utility/macros.h"

Include dependency graph for math.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::utility
namespace	storm::utility::math

Macros
#define	S(k)

Functions
uint64_t	storm::utility::math::uint64_log2 (uint64_t n)

Macro Definition Documentation

S

#define S

(

k

)

Value:

    if (n >= (UINT64_C(1) << k)) { \
        i += k;                    \
        n >>= k;                   \
    }