double get_cpu_time()
Function for querying CPU time of the process.
Definition: getTime.cpp:42
double get_wall_time()
Function for querying wall clock time of the process.
Definition: getTime.cpp:76
namespace holding all essentials of MAiNGO
Definition: aleModel.h:31