Public Member Functions
	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)

Constructor & Destructor Documentation

◆ 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

Member Function Documentation

◆ 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: