storm::prism::RestrictedParallelComposition Class Reference

#include <RestrictedParallelComposition.h>

Inheritance diagram for storm::prism::RestrictedParallelComposition:

Collaboration diagram for storm::prism::RestrictedParallelComposition:

Public Member Functions
	RestrictedParallelComposition (std::shared_ptr< Composition > const &left, std::set< std::string > const &synchronizingActions, std::shared_ptr< Composition > const &right)
virtual boost::any	accept (CompositionVisitor &visitor, boost::any const &data) const override
std::set< std::string > const &	getSynchronizingActions () const
Public Member Functions inherited from storm::prism::ParallelComposition
	ParallelComposition (std::shared_ptr< Composition > const &left, std::shared_ptr< Composition > const &right)
Composition const &	getLeftSubcomposition () const
Composition const &	getRightSubcomposition () 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 11 of file RestrictedParallelComposition.h.

Constructor & Destructor Documentation

RestrictedParallelComposition()

storm::prism::RestrictedParallelComposition::RestrictedParallelComposition	(	std::shared_ptr< Composition > const &	left,
		std::set< std::string > const &	synchronizingActions,
		std::shared_ptr< Composition > const &	right
	)

Definition at line 8 of file RestrictedParallelComposition.cpp.

Member Function Documentation

accept()

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

overridevirtual

Implements storm::prism::Composition.

Definition at line 14 of file RestrictedParallelComposition.cpp.

getSynchronizingActions()

std::set< std::string > const & storm::prism::RestrictedParallelComposition::getSynchronizingActions

(

)

const

Definition at line 18 of file RestrictedParallelComposition.cpp.

writeToStream()

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

overrideprotectedvirtual

Implements storm::prism::Composition.

Definition at line 22 of file RestrictedParallelComposition.cpp.

---

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

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