storm::prism::ParallelComposition Class Reference

#include <ParallelComposition.h>

Inheritance diagram for storm::prism::ParallelComposition:

Collaboration diagram for storm::prism::ParallelComposition:

Public Member Functions
	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
virtual boost::any	accept (CompositionVisitor &visitor, boost::any const &data) const =0

Additional Inherited Members
Protected Member Functions inherited from storm::prism::Composition
virtual void	writeToStream (std::ostream &stream) const =0

Detailed Description

Definition at line 12 of file ParallelComposition.h.

Constructor & Destructor Documentation

ParallelComposition()

storm::prism::ParallelComposition::ParallelComposition	(	std::shared_ptr< Composition > const &	left,
		std::shared_ptr< Composition > const &	right
	)

Definition at line 8 of file ParallelComposition.cpp.

Member Function Documentation

getLeftSubcomposition()

Composition const & storm::prism::ParallelComposition::getLeftSubcomposition

(

)

const

Definition at line 12 of file ParallelComposition.cpp.

getRightSubcomposition()

Composition const & storm::prism::ParallelComposition::getRightSubcomposition

(

)

const

Definition at line 16 of file ParallelComposition.cpp.

---

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

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