Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ModuleRenaming.cpp
Go to the documentation of this file.
2
3namespace storm {
4namespace prism {
5ModuleRenaming::ModuleRenaming(std::map<std::string, std::string> const& renaming) : renaming(renaming) {
6 // Intentionally left empty
7}
8
9ModuleRenaming::ModuleRenaming(std::map<std::string, std::string>&& renaming) : renaming(std::move(renaming)) {
10 // Intentionally left empty
11}
12
13std::map<std::string, std::string> const& ModuleRenaming::getRenaming() const {
14 return this->renaming;
15}
16
17std::ostream& operator<<(std::ostream& stream, ModuleRenaming const& renaming) {
18 stream << "[ ";
19 bool first = true;
20 for (auto const& renamingPair : renaming.getRenaming()) {
21 stream << renamingPair.first << "=" << renamingPair.second;
22 if (first) {
23 first = false;
24 } else {
25 stream << ",";
26 }
27 }
28 stream << "]";
29 return stream;
30}
31
32} // namespace prism
33} // namespace storm
std::map< std::string, std::string > const & getRenaming() const
If the module was created via renaming, this method returns the applied renaming of identifiers used ...
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)
LabParser.cpp.
Definition cli.cpp:18