Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SystemCompositionConstruct.cpp
Go to the documentation of this file.
2
3namespace storm {
4namespace prism {
5
6SystemCompositionConstruct::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
12 return *composition;
13}
14
15std::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
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)
LabParser.cpp.
Definition cli.cpp:18