|
Storm 1.14.0.1
A Modern Probabilistic Model Checker
|
Classes | |
| struct | ElementLess |
| struct | DoubleLess |
| struct | ElementLess< double > |
| struct | ElementGreater |
| struct | DoubleGreater |
| struct | ElementGreater< double > |
| struct | IsExtendedNumber |
| struct | IsExtendedNumber< ExtendedNumber< T > > |
| struct | FiniteValueType |
| The finite value type underlying a (possibly extended) type. More... | |
| struct | FiniteValueType< ExtendedNumber< T > > |
Functions | |
| uint64_t | tryReadFromSlurm () |
| uint64_t | tryReadFromCgroups () |
Variables | |
| static uint64_t | num_threads = 0u |
| uint64_t storm::utility::detail::tryReadFromCgroups | ( | ) |
Definition at line 28 of file threads.cpp.
| uint64_t storm::utility::detail::tryReadFromSlurm | ( | ) |
Definition at line 15 of file threads.cpp.
|
static |
Definition at line 13 of file threads.cpp.