Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::utility::detail Namespace Reference

Classes

struct  ElementLess
struct  DoubleLess
struct  ElementLess< double >
struct  ElementGreater
struct  DoubleGreater
struct  ElementGreater< double >

Functions

uint64_t tryReadFromSlurm ()
uint64_t tryReadFromCgroups ()

Variables

static uint64_t num_threads = 0u

Function Documentation

◆ tryReadFromCgroups()

uint64_t storm::utility::detail::tryReadFromCgroups ( )

Definition at line 26 of file threads.cpp.

◆ tryReadFromSlurm()

uint64_t storm::utility::detail::tryReadFromSlurm ( )

Definition at line 13 of file threads.cpp.

Variable Documentation

◆ num_threads

uint64_t storm::utility::detail::num_threads = 0u
static

Definition at line 11 of file threads.cpp.