ModelModify.h

#ifndef MODELMODIFY_H
#define MODELMODIFY_H
 
#include <vector>
 
#include <storm/api/storm.h>
#include <storm-parsers/api/storm-parsers.h>
#include <storm-parsers/parser/PrismParser.h>
#include <storm/storage/prism/Program.h>
#include <storm/storage/jani/Property.h>
 
#include "storm/storage/jani/Property.h"
#include "storm/storage/prism/Program.h"
 
namespace stamina {
    namespace util {
        const std::string modelFileDefault = "stamina_modified_model_file.prism";
        const std::string propFileDefault = "stamina_modified_prop_file.csl";
        class ModelModify {
        public:
            ModelModify(
                std::string originalModel
                , std::string originalProperties
                , bool saveModifiedModel = true
                , bool saveModifiedProperties = true
                , std::string modifiedModel = modelFileDefault
                , std::string modifiedProperties = propFileDefault
            );
            ~ModelModify();
            std::shared_ptr<storm::prism::Program> createModifiedModel();
            std::shared_ptr<std::vector<storm::jani::Property>> createModifiedProperties(
                std::shared_ptr<storm::prism::Program> modelFile
            );
        private:
            std::string originalModel;
            std::string modifiedModel;
            std::string originalProperties;
            std::string modifiedProperties;
            bool saveModifiedModel;
            bool saveModifiedProperties;
        };
    } // namespace util
} // namespace stamina
 
#endif // MODEL_MODIFY_H