storm::utility::detail Namespace Reference

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

Functions
uint	tryReadFromSlurm ()
uint	tryReadFromCgroups ()

Variables
static uint	num_threads = 0u

Function Documentation

tryReadFromCgroups()

uint storm::utility::detail::tryReadFromCgroups

(

)

Definition at line 26 of file threads.cpp.

tryReadFromSlurm()

uint storm::utility::detail::tryReadFromSlurm

(

)

Definition at line 13 of file threads.cpp.

Variable Documentation

num_threads

uint storm::utility::detail::num_threads = 0u

static

Definition at line 11 of file threads.cpp.