36#ifndef TPG_VERTEX_INSTRUMENTATION_H
37#define TPG_VERTEX_INSTRUMENTATION_H
Instrumentation code for TPGVertex class for instrumented execution.
Definition tpgVertexInstrumentation.h:48
uint64_t getNbVisits() const
Get the number of time a TPGVertexInstrumentation was visited.
Definition tpgVertexInstrumentation.cpp:38
TPGVertexInstrumentation()
Protected default constructor to forbid instanciation.
Definition tpgVertexInstrumentation.h:72
void reset() const
Reset the instrumentation attributes.
Definition tpgVertexInstrumentation.cpp:48
std::atomic_uint64_t nbVisits
Definition tpgVertexInstrumentation.h:79
void incrementNbVisits() const
Add one to the number of visits for this TPGVertexInstrumented.
Definition tpgVertexInstrumentation.cpp:43
Definition executionStats.h:44