Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::prism::ModuleComposition Class Reference

#include <ModuleComposition.h>

Inheritance diagram for storm::prism::ModuleComposition:
Collaboration diagram for storm::prism::ModuleComposition:

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
 
- Public Member Functions inherited from storm::prism::Composition
 Composition ()=default
 
virtual ~Composition ()=default
 

Protected Member Functions

virtual void writeToStream (std::ostream &stream) const override
 

Detailed Description

Definition at line 10 of file ModuleComposition.h.

Constructor & Destructor Documentation

◆ ModuleComposition()

storm::prism::ModuleComposition::ModuleComposition ( std::string const &  moduleName)

Definition at line 6 of file ModuleComposition.cpp.

Member Function Documentation

◆ accept()

boost::any storm::prism::ModuleComposition::accept ( CompositionVisitor visitor,
boost::any const &  data 
) const
overridevirtual

Implements storm::prism::Composition.

Definition at line 10 of file ModuleComposition.cpp.

◆ getModuleName()

std::string const & storm::prism::ModuleComposition::getModuleName ( ) const

Definition at line 14 of file ModuleComposition.cpp.

◆ writeToStream()

void storm::prism::ModuleComposition::writeToStream ( std::ostream &  stream) const
overrideprotectedvirtual

Implements storm::prism::Composition.

Definition at line 18 of file ModuleComposition.cpp.


The documentation for this class was generated from the following files: