storm::prism::RenamingComposition Class Reference

#include <RenamingComposition.h>

Inheritance diagram for storm::prism::RenamingComposition:

Collaboration diagram for storm::prism::RenamingComposition:

Public Member Functions
	RenamingComposition (std::shared_ptr< Composition > const &sub, std::map< std::string, std::string > const &actionRenaming)
virtual boost::any	accept (CompositionVisitor &visitor, boost::any const &data) const override
Composition const &	getSubcomposition () const
std::map< std::string, std::string > const &	getActionRenaming () 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 13 of file RenamingComposition.h.

Constructor & Destructor Documentation

RenamingComposition()

storm::prism::RenamingComposition::RenamingComposition	(	std::shared_ptr< Composition > const &	sub,
		std::map< std::string, std::string > const &	actionRenaming
	)

Definition at line 10 of file RenamingComposition.cpp.

Member Function Documentation

accept()

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

overridevirtual

Implements storm::prism::Composition.

Definition at line 15 of file RenamingComposition.cpp.

getActionRenaming()

std::map< std::string, std::string > const & storm::prism::RenamingComposition::getActionRenaming

(

)

const

Definition at line 23 of file RenamingComposition.cpp.

getSubcomposition()

Composition const & storm::prism::RenamingComposition::getSubcomposition

(

)

const

Definition at line 19 of file RenamingComposition.cpp.

writeToStream()

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

overrideprotectedvirtual

Implements storm::prism::Composition.

Definition at line 27 of file RenamingComposition.cpp.

---

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

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