tpgAbstractEngine.h

 
#ifndef TPG_ABSTRACT_ENGINE_H
#define TPG_ABSTRACT_ENGINE_H
 
#include "program/program.h"
#include "tpg/tpgGraph.h"
 
namespace TPG {
    class TPGAbstractEngine
    {
 
      protected:
        const TPG::TPGGraph& tpg;
 
        std::set<uint64_t> programID;
 
        uint64_t nbActions;
 
        TPGAbstractEngine(const TPG::TPGGraph& tpg) : tpg{tpg}, nbActions{0} {};
 
      public:
        bool programIDIsNew(const uint64_t& progID);
    };
} // namespace TPG
#endif // TPG_ABSTRACT_ENGINE_H