tpgAction.h

 
#ifndef TPG_ACTION_H
#define TPG_ACTION_H
 
#include <cstdint>
 
#include "program/program.h"
#include "tpg/tpgActionEdge.h"
#include "tpg/tpgVertex.h"
 
namespace TPG {
    class TPGAction : public TPGVertex
    {
 
        const uint64_t actionID;
 
      public:
        TPGAction(const uint64_t id) : TPGVertex(), actionID{id} {};
 
        virtual void addOutgoingEdge(TPGEdge* edge) override;
 
        virtual TPG::TPGActionEdge* getEdgeOfAction(uint64_t actionClass) const;
 
        uint64_t getActionID() const
        {
            return this->actionID;
        };
 
        void orderActionEdges();
    };
}; // namespace TPG
 
#endif