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