Storm
A Modern Probabilistic Model Checker
|
#include <SynchronizingParallelComposition.h>
Public Member Functions | |
SynchronizingParallelComposition (std::shared_ptr< Composition > const &left, std::shared_ptr< Composition > const &right) | |
virtual boost::any | accept (CompositionVisitor &visitor, boost::any const &data) const override |
![]() | |
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 |
Protected Member Functions | |
virtual void | writeToStream (std::ostream &stream) const override |
Definition at line 8 of file SynchronizingParallelComposition.h.
storm::prism::SynchronizingParallelComposition::SynchronizingParallelComposition | ( | std::shared_ptr< Composition > const & | left, |
std::shared_ptr< Composition > const & | right | ||
) |
Definition at line 6 of file SynchronizingParallelComposition.cpp.
|
overridevirtual |
Implements storm::prism::Composition.
Definition at line 11 of file SynchronizingParallelComposition.cpp.
|
overrideprotectedvirtual |
Implements storm::prism::Composition.
Definition at line 15 of file SynchronizingParallelComposition.cpp.