 |
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
|
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
This is the complete list of members for stamina::util::ModelModify, including all inherited members.
| createModifiedModel() | stamina::util::ModelModify | |
| createModifiedProperties(std::shared_ptr< storm::prism::Program > modelFile) | stamina::util::ModelModify | |
| ModelModify(std::string originalModel, std::string originalProperties, bool saveModifiedModel=true, bool saveModifiedProperties=true, std::string modifiedModel=modelFileDefault, std::string modifiedProperties=propFileDefault) | stamina::util::ModelModify | |
| ~ModelModify() | stamina::util::ModelModify |
1.9.3