Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Functions
storm::utility::math Namespace Reference
Functions
template<typename ValueType >
static double
log2
(ValueType number)
uint64_t
uint64_log2
(uint64_t n)
Function Documentation
◆
log2()
template<typename ValueType >
static double storm::utility::math::log2
(
ValueType
number
)
inline
static
Definition at line
14
of file
math.h
.
◆
uint64_log2()
uint64_t storm::utility::math::uint64_log2
(
uint64_t
n
)
inline
Definition at line
22
of file
math.h
.
storm
utility
math
Generated by
1.9.8