Storm
A Modern Probabilistic Model Checker
|
#include <Composition.h>
Public Member Functions | |
Composition ()=default | |
virtual | ~Composition ()=default |
virtual boost::any | accept (CompositionVisitor &visitor, boost::any const &data) const =0 |
Protected Member Functions | |
virtual void | writeToStream (std::ostream &stream) const =0 |
Friends | |
std::ostream & | operator<< (std::ostream &stream, Composition const &composition) |
Definition at line 10 of file Composition.h.
|
default |
|
virtualdefault |
|
pure virtual |
|
protectedpure virtual |
|
friend |
Definition at line 6 of file Composition.cpp.