Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::prism::CompositionValidityChecker Class Reference
Inheritance diagram for storm::prism::CompositionValidityChecker:
Collaboration diagram for storm::prism::CompositionValidityChecker:

Public Member Functions

 CompositionValidityChecker (storm::prism::Program const &program)
 
void check (Composition const &composition)
 
virtual boost::any visit (ModuleComposition const &composition, boost::any const &) override
 
virtual boost::any visit (RenamingComposition const &composition, boost::any const &data) override
 
virtual boost::any visit (HidingComposition const &composition, boost::any const &data) override
 
virtual boost::any visit (SynchronizingParallelComposition const &composition, boost::any const &data) override
 
virtual boost::any visit (InterleavingParallelComposition const &composition, boost::any const &data) override
 
virtual boost::any visit (RestrictedParallelComposition const &composition, boost::any const &data) override
 
- Public Member Functions inherited from storm::prism::CompositionVisitor
virtual ~CompositionVisitor ()=default
 

Detailed Description

Definition at line 31 of file Program.cpp.

Constructor & Destructor Documentation

◆ CompositionValidityChecker()

storm::prism::CompositionValidityChecker::CompositionValidityChecker ( storm::prism::Program const &  program)
inline

Definition at line 33 of file Program.cpp.

Member Function Documentation

◆ check()

void storm::prism::CompositionValidityChecker::check ( Composition const &  composition)
inline

Definition at line 37 of file Program.cpp.

◆ visit() [1/6]

virtual boost::any storm::prism::CompositionValidityChecker::visit ( HidingComposition const &  composition,
boost::any const &  data 
)
inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 80 of file Program.cpp.

◆ visit() [2/6]

virtual boost::any storm::prism::CompositionValidityChecker::visit ( InterleavingParallelComposition const &  composition,
boost::any const &  data 
)
inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 111 of file Program.cpp.

◆ visit() [3/6]

virtual boost::any storm::prism::CompositionValidityChecker::visit ( ModuleComposition const &  composition,
boost::any const &   
)
inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 44 of file Program.cpp.

◆ visit() [4/6]

virtual boost::any storm::prism::CompositionValidityChecker::visit ( RenamingComposition const &  composition,
boost::any const &  data 
)
inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 56 of file Program.cpp.

◆ visit() [5/6]

virtual boost::any storm::prism::CompositionValidityChecker::visit ( RestrictedParallelComposition const &  composition,
boost::any const &  data 
)
inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 124 of file Program.cpp.

◆ visit() [6/6]

virtual boost::any storm::prism::CompositionValidityChecker::visit ( SynchronizingParallelComposition const &  composition,
boost::any const &  data 
)
inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 98 of file Program.cpp.


The documentation for this class was generated from the following file: