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:

• src/storm/storage/prism/ModuleComposition.h
• src/storm/storage/prism/ModuleComposition.cpp