void set_default_num_threads()
set current number of threads to the default
Definition: num_threads.cxx:89
int get_default_num_threads()
Get default number of threads.
Definition: num_threads.cxx:71
basic configuration include file
void set_num_threads(const int num_threads)
Set current number of threads.
Definition: num_threads.cxx:44
int get_max_num_threads()
Get current maximum number of threads.
Definition: num_threads.cxx:34