Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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: