tpgSwitchGenerationEngine.h

 
#ifdef CODE_GENERATION
 
#ifndef TPG_SWITCH_GENERATION_ENGINE_H
#define TPG_SWITCH_GENERATION_ENGINE_H
#include "codeGen/tpgGenerationEngine.h"
 
namespace CodeGen {
    class TPGSwitchGenerationEngine : public CodeGen::TPGGenerationEngine
    {
      protected:
        virtual void initTpgFile();
 
        virtual void initHeaderFile();
 
        virtual void initActivationFunction();
 
      public:
        TPGSwitchGenerationEngine(const std::string& filename,
                                  const TPG::TPGGraph& tpg,
                                  const std::string& path = "./")
            : TPGGenerationEngine(filename, tpg, path){};
 
        // ~TPGSwitchGenerationEngine() : ~TPGGenerationEngine() {};
 
        virtual void generateTPGGraph();
 
      protected:
        virtual void generateEdge(const TPG::TPGEdge& edge);
 
        virtual void generateTeam(const TPG::TPGTeam& team);
 
        virtual void generateAction(const TPG::TPGAction& action);
 
        std::string vertexName(const TPG::TPGVertex& v);
    };
} // namespace CodeGen
 
#endif // TPG_SWITCH_GENERATION_ENGINE_H
 
#endif // CODE_GENERATION