Definition at line 31 of file Program.cpp.
◆ CompositionValidityChecker()
storm::prism::CompositionValidityChecker::CompositionValidityChecker |
( |
storm::prism::Program const & |
program | ) |
|
|
inline |
◆ check()
void storm::prism::CompositionValidityChecker::check |
( |
Composition const & |
composition | ) |
|
|
inline |
◆ visit() [1/6]
virtual boost::any storm::prism::CompositionValidityChecker::visit |
( |
HidingComposition const & |
composition, |
|
|
boost::any const & |
data |
|
) |
| |
|
inlineoverridevirtual |
◆ visit() [2/6]
◆ visit() [3/6]
virtual boost::any storm::prism::CompositionValidityChecker::visit |
( |
ModuleComposition const & |
composition, |
|
|
boost::any const & |
|
|
) |
| |
|
inlineoverridevirtual |
◆ visit() [4/6]
virtual boost::any storm::prism::CompositionValidityChecker::visit |
( |
RenamingComposition const & |
composition, |
|
|
boost::any const & |
data |
|
) |
| |
|
inlineoverridevirtual |
◆ visit() [5/6]
virtual boost::any storm::prism::CompositionValidityChecker::visit |
( |
RestrictedParallelComposition const & |
composition, |
|
|
boost::any const & |
data |
|
) |
| |
|
inlineoverridevirtual |
◆ visit() [6/6]
The documentation for this class was generated from the following file: