Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
Classes | |
struct | DoubleGreater |
struct | DoubleLess |
struct | ElementGreater |
struct | ElementGreater< double > |
struct | ElementLess |
struct | ElementLess< double > |
Functions | |
uint64_t | tryReadFromSlurm () |
uint64_t | tryReadFromCgroups () |
Variables | |
static uint64_t | num_threads = 0u |
uint64_t storm::utility::detail::tryReadFromCgroups | ( | ) |
Definition at line 26 of file threads.cpp.
uint64_t storm::utility::detail::tryReadFromSlurm | ( | ) |
Definition at line 13 of file threads.cpp.
|
static |
Definition at line 11 of file threads.cpp.