storm::jani::CompositionVisitor Class Reference

#include <CompositionVisitor.h>

Inheritance diagram for storm::jani::CompositionVisitor:

Public Member Functions
virtual	~CompositionVisitor ()=default
virtual boost::any	visit (AutomatonComposition const &composition, boost::any const &data)=0
virtual boost::any	visit (ParallelComposition const &composition, boost::any const &data)=0

Detailed Description

Definition at line 12 of file CompositionVisitor.h.

Constructor & Destructor Documentation

~CompositionVisitor()

virtual storm::jani::CompositionVisitor::~CompositionVisitor ( )

virtualdefault

Member Function Documentation

visit() [1/2]

virtual boost::any storm::jani::CompositionVisitor::visit ( AutomatonComposition const &  composition, boost::any const &  data  )

pure virtual

Implemented in storm::jani::CompositionJsonExporter, storm::jani::CompositionSimplificationVisitor, storm::jani::CompositionInformationVisitor, storm::builder::CompositionVariableCreator< Type, ValueType >, and storm::builder::CombinedEdgesSystemComposer< Type, ValueType >.

visit() [2/2]

virtual boost::any storm::jani::CompositionVisitor::visit ( ParallelComposition const &  composition, boost::any const &  data  )

pure virtual

Implemented in storm::jani::CompositionJsonExporter, storm::jani::CompositionSimplificationVisitor, storm::jani::CompositionInformationVisitor, storm::builder::CompositionVariableCreator< Type, ValueType >, and storm::builder::CombinedEdgesSystemComposer< Type, ValueType >.

---

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

• src/storm/storage/jani/visitor/CompositionVisitor.h