tpgEdgeInstrumented.h

 
#ifndef TPG_EDGE_INSTRUMENTED_H
#define TPG_EDGE_INSTRUMENTED_H
 
#include <atomic>
#include <cstddef>
 
#include "tpg/tpgEdge.h"
 
namespace TPG {
 
    class TPGEdgeInstrumented : public TPGEdge
    {
      public:
        TPGEdgeInstrumented(const TPGVertex* src, const TPGVertex* dest,
                            const std::shared_ptr<Program::Program> prog)
            : TPGEdge(src, dest, prog), nbVisits{0}, nbTraversal{0}
        {
        }
 
        uint64_t getNbVisits() const;
 
        void incrementNbVisits() const;
 
        uint64_t getNbTraversal() const;
 
        void incrementNbTraversal() const;
 
        void reset() const;
 
      protected:
        mutable std::atomic_uint64_t nbVisits;
 
        mutable std::atomic_uint64_t nbTraversal;
    };
} // namespace TPG
 
#endif // !TPG_EDGE_INSTRUMENTED_H