Timing information to be maintained for each thread. More...
Public Attributes | |
std::map< std::string, unsigned long int > | events |
The number of events. | |
std::map< std::string, TimeInfo > | time |
The amount of time spent in various places. |
Timing information to be maintained for each thread.
Definition at line 228 of file Profiler.h.
std::map<std::string, unsigned long int> ompl::Profiler::PerThread::events |
The number of events.
Definition at line 231 of file Profiler.h.
std::map<std::string, TimeInfo> ompl::Profiler::PerThread::time |
The amount of time spent in various places.
Definition at line 234 of file Profiler.h.