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