Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::prism::CompositionVisitor Class Referenceabstract

#include <CompositionVisitor.h>

Inheritance diagram for storm::prism::CompositionVisitor:
Inheritance graph
[legend]

Public Member Functions

virtual ~CompositionVisitor ()=default
 
virtual boost::any visit (ModuleComposition const &composition, boost::any const &data)=0
 
virtual boost::any visit (RenamingComposition const &composition, boost::any const &data)=0
 
virtual boost::any visit (HidingComposition const &composition, boost::any const &data)=0
 
virtual boost::any visit (SynchronizingParallelComposition const &composition, boost::any const &data)=0
 
virtual boost::any visit (InterleavingParallelComposition const &composition, boost::any const &data)=0
 
virtual boost::any visit (RestrictedParallelComposition const &composition, boost::any const &data)=0
 

Detailed Description

Definition at line 16 of file CompositionVisitor.h.

Constructor & Destructor Documentation

◆ ~CompositionVisitor()

virtual storm::prism::CompositionVisitor::~CompositionVisitor ( )
virtualdefault

Member Function Documentation

◆ visit() [1/6]

virtual boost::any storm::prism::CompositionVisitor::visit ( HidingComposition const &  composition,
boost::any const &  data 
)
pure virtual

Implemented in storm::prism::CompositionToJaniVisitor, storm::prism::CompositionValidityChecker, and storm::builder::ModuleComposer< Type, ValueType >.

◆ visit() [2/6]

virtual boost::any storm::prism::CompositionVisitor::visit ( InterleavingParallelComposition const &  composition,
boost::any const &  data 
)
pure virtual

Implemented in storm::prism::CompositionToJaniVisitor, storm::prism::CompositionValidityChecker, and storm::builder::ModuleComposer< Type, ValueType >.

◆ visit() [3/6]

virtual boost::any storm::prism::CompositionVisitor::visit ( ModuleComposition const &  composition,
boost::any const &  data 
)
pure virtual

Implemented in storm::prism::CompositionValidityChecker, storm::prism::CompositionToJaniVisitor, and storm::builder::ModuleComposer< Type, ValueType >.

◆ visit() [4/6]

virtual boost::any storm::prism::CompositionVisitor::visit ( RenamingComposition const &  composition,
boost::any const &  data 
)
pure virtual

Implemented in storm::prism::CompositionToJaniVisitor, storm::prism::CompositionValidityChecker, and storm::builder::ModuleComposer< Type, ValueType >.

◆ visit() [5/6]

virtual boost::any storm::prism::CompositionVisitor::visit ( RestrictedParallelComposition const &  composition,
boost::any const &  data 
)
pure virtual

Implemented in storm::prism::CompositionToJaniVisitor, storm::prism::CompositionValidityChecker, and storm::builder::ModuleComposer< Type, ValueType >.

◆ visit() [6/6]

virtual boost::any storm::prism::CompositionVisitor::visit ( SynchronizingParallelComposition const &  composition,
boost::any const &  data 
)
pure virtual

Implemented in storm::builder::ModuleComposer< Type, ValueType >, storm::prism::CompositionToJaniVisitor, and storm::prism::CompositionValidityChecker.

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