Storm
A Modern Probabilistic Model Checker
|
#include <RenamingComposition.h>
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 |
![]() | |
Composition ()=default | |
virtual | ~Composition ()=default |
Protected Member Functions | |
virtual void | writeToStream (std::ostream &stream) const override |
Definition at line 13 of file RenamingComposition.h.
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.
|
overridevirtual |
Implements storm::prism::Composition.
Definition at line 15 of file RenamingComposition.cpp.
std::map< std::string, std::string > const & storm::prism::RenamingComposition::getActionRenaming | ( | ) | const |
Definition at line 23 of file RenamingComposition.cpp.
Composition const & storm::prism::RenamingComposition::getSubcomposition | ( | ) | const |
Definition at line 19 of file RenamingComposition.cpp.
|
overrideprotectedvirtual |
Implements storm::prism::Composition.
Definition at line 27 of file RenamingComposition.cpp.