tpgExecutionEngineInstrumented.h

 
#ifndef TPG_EXECUTION_ENGINE_INSTRUMENTED_H
#define TPG_EXECUTION_ENGINE_INSTRUMENTED_H
 
#include <set>
#include <vector>
 
#include "archive.h"
#include "program/programExecutionEngine.h"
#include "tpg/tpgExecutionEngine.h"
 
#include "tpg/tpgGraph.h"
 
namespace TPG {
    class TPGExecutionEngineInstrumented : public TPGExecutionEngine
    {
      protected:
        std::vector<std::vector<const TPGVertex*>> traceHistory;
 
      public:
        TPGExecutionEngineInstrumented(const Environment& env,
                                       Archive* arch = NULL)
            : TPGExecutionEngine(env, arch){};
 
        double evaluateEdge(const TPGEdge& edge) override;
 
        const TPG::TPGEdge& evaluateTeam(const TPGTeam& team) override;
        const std::pair<std::vector<const TPG::TPGVertex*>, std::vector<double>>
        executeFromRoot(const TPG::TPGVertex& root,
                        const std::vector<uint64_t>& initActions = {
                            0}) override;
 
        const std::vector<std::vector<const TPGVertex*>>& getTraceHistory()
            const;
 
        void clearTraceHistory();
    };
}; // namespace TPG
 
#endif