1#ifndef TPG_VERTEX_INSTRUMENTATION_H
2#define TPG_VERTEX_INSTRUMENTATION_H
Instrumentation code for TPGVertex class for instrumented execution.
Definition: tpgVertexInstrumentation.h:13
uint64_t getNbVisits() const
Get the number of time a TPGVertexInstrumentation was visited.
Definition: tpgVertexInstrumentation.cpp:4
TPGVertexInstrumentation()
Protected default constructor to forbid instanciation.
Definition: tpgVertexInstrumentation.h:37
void reset() const
Reset the instrumentation attributes.
Definition: tpgVertexInstrumentation.cpp:14
std::atomic_uint64_t nbVisits
Definition: tpgVertexInstrumentation.h:44
void incrementNbVisits() const
Add one to the number of visits for this TPGVertexInstrumented.
Definition: tpgVertexInstrumentation.cpp:9
Definition: tpgActionInstrumented.h:8