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:

• src/storm/storage/prism/Program.cpp