#include <CompositionVisitor.h>
Definition at line 16 of file CompositionVisitor.h.
◆ ~CompositionVisitor()
virtual storm::prism::CompositionVisitor::~CompositionVisitor |
( |
| ) |
|
|
virtualdefault |
◆ visit() [1/6]
virtual boost::any storm::prism::CompositionVisitor::visit |
( |
HidingComposition const & |
composition, |
|
|
boost::any const & |
data |
|
) |
| |
|
pure virtual |
◆ visit() [2/6]
◆ visit() [3/6]
virtual boost::any storm::prism::CompositionVisitor::visit |
( |
ModuleComposition const & |
composition, |
|
|
boost::any const & |
data |
|
) |
| |
|
pure virtual |
◆ visit() [4/6]
virtual boost::any storm::prism::CompositionVisitor::visit |
( |
RenamingComposition const & |
composition, |
|
|
boost::any const & |
data |
|
) |
| |
|
pure virtual |
◆ visit() [5/6]
◆ visit() [6/6]
The documentation for this class was generated from the following file: