#include <ModuleRenaming.h>
Definition at line 18 of file ModuleRenaming.h.
◆ ModuleRenaming() [1/5]
storm::prism::ModuleRenaming::ModuleRenaming |
( |
std::map< std::string, std::string > const & |
renaming | ) |
|
Creates a module renaming.
- Parameters
-
renaming | The renaming of identifiers. |
Definition at line 5 of file ModuleRenaming.cpp.
◆ ModuleRenaming() [2/5]
storm::prism::ModuleRenaming::ModuleRenaming |
( |
std::map< std::string, std::string > && |
renaming | ) |
|
Creates a module renaming.
- Parameters
-
renaming | The renaming of identifiers. |
Definition at line 9 of file ModuleRenaming.cpp.
◆ ModuleRenaming() [3/5]
storm::prism::ModuleRenaming::ModuleRenaming |
( |
| ) |
|
|
default |
◆ ModuleRenaming() [4/5]
storm::prism::ModuleRenaming::ModuleRenaming |
( |
ModuleRenaming const & |
other | ) |
|
|
default |
◆ ModuleRenaming() [5/5]
storm::prism::ModuleRenaming::ModuleRenaming |
( |
ModuleRenaming && |
other | ) |
|
|
default |
◆ getRenaming()
std::map< std::string, std::string > const & storm::prism::ModuleRenaming::getRenaming |
( |
| ) |
const |
If the module was created via renaming, this method returns the applied renaming of identifiers used for the renaming process.
- Returns
- A mapping of identifiers to new identifiers that was used in the renaming process.
Definition at line 13 of file ModuleRenaming.cpp.
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ operator<<
std::ostream & operator<< |
( |
std::ostream & |
stream, |
|
|
ModuleRenaming const & |
module |
|
) |
| |
|
friend |
The documentation for this class was generated from the following files: