Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Composition.cpp
Go to the documentation of this file.
1
#include "
storm/storage/prism/Composition.h
"
2
3
namespace
storm
{
4
namespace
prism {
5
6
std::ostream&
operator<<
(std::ostream& stream,
Composition
const
& composition) {
7
composition.
writeToStream
(stream);
8
return
stream;
9
}
10
11
}
// namespace prism
12
}
// namespace storm
storm::prism::Composition
Definition
Composition.h:10
storm::prism::Composition::writeToStream
virtual void writeToStream(std::ostream &stream) const =0
storm::prism::operator<<
std::ostream & operator<<(std::ostream &stream, Assignment const &assignment)
Definition
Assignment.cpp:39
storm
LabParser.cpp.
Definition
cli.cpp:18
Composition.h
src
storm
storage
prism
Composition.cpp
Generated by
1.9.8