storm::prism::HidingComposition Class Reference

#include <HidingComposition.h>

Inheritance diagram for storm::prism::HidingComposition:

Collaboration diagram for storm::prism::HidingComposition:

Public Member Functions
	HidingComposition (std::shared_ptr< Composition > const &sub, std::set< std::string > const &actionsToHide)
virtual boost::any	accept (CompositionVisitor &visitor, boost::any const &data) const override
Composition const &	getSubcomposition () const
std::set< std::string > const &	getActionsToHide () 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 12 of file HidingComposition.h.

Constructor & Destructor Documentation

HidingComposition()

storm::prism::HidingComposition::HidingComposition	(	std::shared_ptr< Composition > const &	sub,
		std::set< std::string > const &	actionsToHide )

Definition at line 8 of file HidingComposition.cpp.

Member Function Documentation

accept()

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

overridevirtual

Implements storm::prism::Composition.

Definition at line 13 of file HidingComposition.cpp.

getActionsToHide()

std::set< std::string > const & storm::prism::HidingComposition::getActionsToHide

(

)

const

Definition at line 21 of file HidingComposition.cpp.

getSubcomposition()

Composition const & storm::prism::HidingComposition::getSubcomposition

(

)

const

Definition at line 17 of file HidingComposition.cpp.

writeToStream()

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

overrideprotectedvirtual

Implements storm::prism::Composition.

Definition at line 25 of file HidingComposition.cpp.

---

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

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