Storm
A Modern Probabilistic Model Checker
|
#include <ParallelComposition.h>
Public Member Functions | |
ParallelComposition (std::shared_ptr< Composition > const &left, std::shared_ptr< Composition > const &right) | |
Composition const & | getLeftSubcomposition () const |
Composition const & | getRightSubcomposition () const |
![]() | |
Composition ()=default | |
virtual | ~Composition ()=default |
virtual boost::any | accept (CompositionVisitor &visitor, boost::any const &data) const =0 |
Additional Inherited Members | |
![]() | |
virtual void | writeToStream (std::ostream &stream) const =0 |
Definition at line 12 of file ParallelComposition.h.
storm::prism::ParallelComposition::ParallelComposition | ( | std::shared_ptr< Composition > const & | left, |
std::shared_ptr< Composition > const & | right | ||
) |
Definition at line 8 of file ParallelComposition.cpp.
Composition const & storm::prism::ParallelComposition::getLeftSubcomposition | ( | ) | const |
Definition at line 12 of file ParallelComposition.cpp.
Composition const & storm::prism::ParallelComposition::getRightSubcomposition | ( | ) | const |
Definition at line 16 of file ParallelComposition.cpp.