Storm
A Modern Probabilistic Model Checker
|
#include <RestrictedParallelComposition.h>
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 |
![]() | |
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 11 of file RestrictedParallelComposition.h.
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.
|
overridevirtual |
Implements storm::prism::Composition.
Definition at line 14 of file RestrictedParallelComposition.cpp.
std::set< std::string > const & storm::prism::RestrictedParallelComposition::getSynchronizingActions | ( | ) | const |
Definition at line 18 of file RestrictedParallelComposition.cpp.
|
overrideprotectedvirtual |
Implements storm::prism::Composition.
Definition at line 22 of file RestrictedParallelComposition.cpp.