Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ModuleRenaming.cpp
Go to the documentation of this file.
1
#include "
storm/storage/prism/ModuleRenaming.h
"
2
3
namespace
storm
{
4
namespace
prism {
5
ModuleRenaming::ModuleRenaming
(std::map<std::string, std::string>
const
& renaming) : renaming(renaming) {
6
// Intentionally left empty
7
}
8
9
ModuleRenaming::ModuleRenaming
(std::map<std::string, std::string>&& renaming) : renaming(
std
::move(renaming)) {
10
// Intentionally left empty
11
}
12
13
std::map<std::string, std::string>
const
&
ModuleRenaming::getRenaming
()
const
{
14
return
this->renaming;
15
}
16
17
std::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
ModuleRenaming.h
storm::prism::ModuleRenaming
Definition
ModuleRenaming.h:18
storm::prism::ModuleRenaming::getRenaming
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 ...
Definition
ModuleRenaming.cpp:13
storm::prism::ModuleRenaming::ModuleRenaming
ModuleRenaming()=default
std
Definition
DFTIsomorphism.h:691
storm::prism::operator<<
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)
Definition
Assignment.cpp:39
storm
LabParser.cpp.
Definition
cli.cpp:18
src
storm
storage
prism
ModuleRenaming.cpp
Generated by
1.9.8