50 names.push_back(name);
66 return omp_get_wtime();
INDEX Index
The type to use for all integer numbers and indices.
Index add_timer(String name)
Add timer.
std::vector< Numeric > stamps
std::vector< String > names
friend std::ostream & operator<<(std::ostream &os, const Timings &timer)
Print timing results.
The global header file for ARTS.
std::vector< bool > running
Numeric get_time()
Get Wall Time.
NUMERIC Numeric
The type to use for all floating point numbers.
std::vector< Numeric > times
Timings()
Simple Constructor.
void mark(Index i)
Start/Stop Timings.
Header file for helper functions for OpenMP.