tpgActionEdge.h

 
#ifndef TPG_ACTION_EDGE_H
#define TPG_ACTION_EDGE_H
 
#include <memory>
 
#include "tpg/tpgEdge.h"
 
namespace TPG {
    // Declare class to make it usable as an attribute.
    class TPGVertex;
 
    class TPGActionEdge : public TPGEdge
    {
      public:
        TPGActionEdge(const TPGVertex* src,
                      const std::shared_ptr<Program::Program> prog,
                      uint64_t actClass)
            : TPGEdge{src, NULL, prog}, actionClass(actClass){};
 
        const TPGVertex* getDestination() const override;
 
        void setDestination(TPGVertex* newDestination) override;
 
        void setActionClass(uint64_t newActionClass);
 
        uint64_t getActionClass() const;
 
        TPGActionEdge() = delete;
 
      protected:
        uint64_t actionClass;
    };
}; // namespace TPG
 
#endif