Storm
1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Functions
storm::utility::math Namespace Reference
Functions
uint64_t
uint64_log2
(uint64_t n)
Function Documentation
◆
uint64_log2()
uint64_t storm::utility::math::uint64_log2
(
uint64_t
n
)
inline
Definition at line
11
of file
math.h
.
storm
utility
math
Generated by
1.9.8