Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SystemCompositionConstruct.cpp
Go to the documentation of this file.
1
#include "
storm/storage/prism/SystemCompositionConstruct.h
"
2
3
namespace
storm
{
4
namespace
prism {
5
6
SystemCompositionConstruct::SystemCompositionConstruct
(std::shared_ptr<Composition>
const
& composition, std::string
const
& filename, uint_fast64_t lineNumber)
7
:
LocatedInformation
(filename, lineNumber), composition(composition) {
8
// Intentionlly left empty.
9
}
10
11
Composition
const
&
SystemCompositionConstruct::getSystemComposition
()
const
{
12
return
*composition;
13
}
14
15
std::ostream&
operator<<
(std::ostream& stream,
SystemCompositionConstruct
const
& systemCompositionConstruct) {
16
stream <<
"system\n"
;
17
stream <<
"\t"
<< systemCompositionConstruct.
getSystemComposition
() <<
'\n'
;
18
stream <<
"endsystem\n"
;
19
return
stream;
20
}
21
22
}
// namespace prism
23
}
// namespace storm
SystemCompositionConstruct.h
storm::prism::Composition
Definition
Composition.h:10
storm::prism::LocatedInformation
Definition
LocatedInformation.h:11
storm::prism::SystemCompositionConstruct
Definition
SystemCompositionConstruct.h:14
storm::prism::SystemCompositionConstruct::getSystemComposition
Composition const & getSystemComposition() const
Definition
SystemCompositionConstruct.cpp:11
storm::prism::SystemCompositionConstruct::SystemCompositionConstruct
SystemCompositionConstruct()=default
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
SystemCompositionConstruct.cpp
Generated by
1.9.8