Action.h

Go to the documentation of this file.

#include <string>
 
#pragma once
namespace storm {
namespace jani {
class Action {
   public:
    Action(std::string const& name);
 
    std::string const& getName() const;
 
   private:
    std::string name;
};
 
}  // namespace jani
}  // namespace storm