Storm
A Modern Probabilistic Model Checker
|
#include <ModuleComposition.h>
Public Member Functions | |
ModuleComposition (std::string const &moduleName) | |
virtual boost::any | accept (CompositionVisitor &visitor, boost::any const &data) const override |
std::string const & | getModuleName () const |
![]() | |
Composition ()=default | |
virtual | ~Composition ()=default |
Protected Member Functions | |
virtual void | writeToStream (std::ostream &stream) const override |
Definition at line 10 of file ModuleComposition.h.
storm::prism::ModuleComposition::ModuleComposition | ( | std::string const & | moduleName | ) |
Definition at line 6 of file ModuleComposition.cpp.
|
overridevirtual |
Implements storm::prism::Composition.
Definition at line 10 of file ModuleComposition.cpp.
std::string const & storm::prism::ModuleComposition::getModuleName | ( | ) | const |
Definition at line 14 of file ModuleComposition.cpp.
|
overrideprotectedvirtual |
Implements storm::prism::Composition.
Definition at line 18 of file ModuleComposition.cpp.