tpgInstrumentedFactory.h

 
#ifndef TPG_INSTRUMENTED_FACTORY
#define TPG_INSTRUMENTED_FACTORY
 
#include "tpg/tpgFactory.h"
#include "tpg/tpgGraph.h"
 
namespace TPG {
 
    class TPGInstrumentedFactory : public TPGFactory
    {
      public:
        virtual std::shared_ptr<TPGGraph> createTPGGraph(
            const Environment& env) const override;
 
        virtual std::unique_ptr<TPGTeam> createTPGTeam() const override;
 
        virtual std::unique_ptr<TPGAction> createTPGAction(
            const uint64_t id) const override;
 
        virtual std::unique_ptr<TPGEdge> createTPGEdge(
            const TPGVertex* src, const TPGVertex* dest,
            const std::shared_ptr<Program::Program> prog) const override;
 
        virtual std::unique_ptr<TPGExecutionEngine> createTPGExecutionEngine(
            const Environment& env, Archive* arch = NULL) const override;
        void resetTPGGraphCounters(const TPG::TPGGraph& tpg) const;
 
        void clearUnusedTPGGraphElements(TPG::TPGGraph& tpg) const;
    };
} // namespace TPG
 
#endif // !TPG_INSTRUMENTED_FACTORY