|
| 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) |
|
◆ ModelModify()
ModelModify::ModelModify |
( |
std::string |
originalModel, |
|
|
std::string |
originalProperties, |
|
|
bool |
saveModifiedModel = true , |
|
|
bool |
saveModifiedProperties = true , |
|
|
std::string |
modifiedModel = modelFileDefault , |
|
|
std::string |
modifiedProperties = propFileDefault |
|
) |
| |
Constructor for the model file modifier
- Parameters
-
originalModel | The path to the original model file |
originalProperties | The path to the original properties file |
saveModifiedModel | Whether or not to save (or rather, not delete) the modified model file |
saveModifiedProperties | Whether or not to save (or rather, not delete) the modified properties list |
modifiedModel | The file where we store the modified model |
modifiedProperties | The file where we store the modified properties |
◆ ~ModelModify()
ModelModify::~ModelModify |
( |
| ) |
|
The destructor for the model modifier
◆ createModifiedModel()
std::shared_ptr< storm::prism::Program > ModelModify::createModifiedModel |
( |
| ) |
|
Creates the modified model
◆ createModifiedProperties()
std::shared_ptr< std::vector< storm::jani::Property > > ModelModify::createModifiedProperties |
( |
std::shared_ptr< storm::prism::Program > |
modelFile | ) |
|
Creates the modified Properties
The documentation for this class was generated from the following files:
- /home/josh/Documents/Work/stamina-cplusplus/src/stamina/util/ModelModify.h
- /home/josh/Documents/Work/stamina-cplusplus/src/stamina/util/ModelModify.cpp