diff --git a/src/storage/jani/Action.cpp b/src/storage/jani/Action.cpp new file mode 100644 index 000000000..818a11a84 --- /dev/null +++ b/src/storage/jani/Action.cpp @@ -0,0 +1,14 @@ +#include "src/storage/jani/Action.h" + +namespace storm { + namespace jani { + Action::Action(std::string const& name) : name(name) { + // Intentionally left empty. + } + + std::string const& Action::getName() const { + return this->name; + } + + } +} \ No newline at end of file diff --git a/src/storage/jani/Action.h b/src/storage/jani/Action.h new file mode 100644 index 000000000..6e6d207f8 --- /dev/null +++ b/src/storage/jani/Action.h @@ -0,0 +1,25 @@ +#include + +#pragma once +namespace storm { + namespace jani { + class Action { + public: + /** + * Creates an action + * @param name name of the action + */ + Action(std::string const& name); + + /** + * Returns the name of the location. + */ + std::string const& getName() const; + + private: + std::string name; + + }; + + } +} \ No newline at end of file