storm::builder::ModuleComposer< Type, ValueType > Class Template Reference

Inheritance diagram for storm::builder::ModuleComposer< Type, ValueType >:

Collaboration diagram for storm::builder::ModuleComposer< Type, ValueType >:

Public Member Functions
	ModuleComposer (typename DdPrismModelBuilder< Type, ValueType >::GenerationInformation &generationInfo)
DdPrismModelBuilder< Type, ValueType >::ModuleDecisionDiagram	compose (storm::prism::Composition const &composition)
std::map< uint_fast64_t, uint_fast64_t >	newSynchronizingActionToOffsetMap () const
std::map< uint_fast64_t, uint_fast64_t >	updateSynchronizingActionToOffsetMap (typename DdPrismModelBuilder< Type, ValueType >::ModuleDecisionDiagram const &sub, std::map< uint_fast64_t, uint_fast64_t > const &oldMapping) const
virtual boost::any	visit (storm::prism::ModuleComposition const &composition, boost::any const &data) override
virtual boost::any	visit (storm::prism::RenamingComposition const &composition, boost::any const &data) override
virtual boost::any	visit (storm::prism::HidingComposition const &composition, boost::any const &data) override
virtual boost::any	visit (storm::prism::SynchronizingParallelComposition const &composition, boost::any const &data) override
virtual boost::any	visit (storm::prism::InterleavingParallelComposition const &composition, boost::any const &data) override
virtual boost::any	visit (storm::prism::RestrictedParallelComposition const &composition, boost::any const &data) override
Public Member Functions inherited from storm::prism::CompositionVisitor
virtual	~CompositionVisitor ()=default

Detailed Description

template<storm::dd::DdType Type, typename ValueType>
class storm::builder::ModuleComposer< Type, ValueType >

Definition at line 288 of file DdPrismModelBuilder.cpp.

Constructor & Destructor Documentation

ModuleComposer()

template<storm::dd::DdType Type, typename ValueType >

storm::builder::ModuleComposer< Type, ValueType >::ModuleComposer ( typename DdPrismModelBuilder< Type, ValueType >::GenerationInformation &  generationInfo )

inline

Definition at line 290 of file DdPrismModelBuilder.cpp.

Member Function Documentation

compose()

template<storm::dd::DdType Type, typename ValueType >

DdPrismModelBuilder< Type, ValueType >::ModuleDecisionDiagram storm::builder::ModuleComposer< Type, ValueType >::compose ( storm::prism::Composition const &  composition )

inline

Definition at line 294 of file DdPrismModelBuilder.cpp.

newSynchronizingActionToOffsetMap()

template<storm::dd::DdType Type, typename ValueType >

std::map< uint_fast64_t, uint_fast64_t > storm::builder::ModuleComposer< Type, ValueType >::newSynchronizingActionToOffsetMap ( ) const

inline

Definition at line 299 of file DdPrismModelBuilder.cpp.

updateSynchronizingActionToOffsetMap()

template<storm::dd::DdType Type, typename ValueType >

std::map< uint_fast64_t, uint_fast64_t > storm::builder::ModuleComposer< Type, ValueType >::updateSynchronizingActionToOffsetMap ( typename DdPrismModelBuilder< Type, ValueType >::ModuleDecisionDiagram const &  sub, std::map< uint_fast64_t, uint_fast64_t > const &  oldMapping  ) const

inline

Definition at line 307 of file DdPrismModelBuilder.cpp.

visit() [1/6]

template<storm::dd::DdType Type, typename ValueType >

virtual boost::any storm::builder::ModuleComposer< Type, ValueType >::visit ( storm::prism::HidingComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 356 of file DdPrismModelBuilder.cpp.

visit() [2/6]

template<storm::dd::DdType Type, typename ValueType >

virtual boost::any storm::builder::ModuleComposer< Type, ValueType >::visit ( storm::prism::InterleavingParallelComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 410 of file DdPrismModelBuilder.cpp.

visit() [3/6]

template<storm::dd::DdType Type, typename ValueType >

virtual boost::any storm::builder::ModuleComposer< Type, ValueType >::visit ( storm::prism::ModuleComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 316 of file DdPrismModelBuilder.cpp.

visit() [4/6]

template<storm::dd::DdType Type, typename ValueType >

virtual boost::any storm::builder::ModuleComposer< Type, ValueType >::visit ( storm::prism::RenamingComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 326 of file DdPrismModelBuilder.cpp.

visit() [5/6]

template<storm::dd::DdType Type, typename ValueType >

virtual boost::any storm::builder::ModuleComposer< Type, ValueType >::visit ( storm::prism::RestrictedParallelComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 423 of file DdPrismModelBuilder.cpp.

visit() [6/6]

template<storm::dd::DdType Type, typename ValueType >

virtual boost::any storm::builder::ModuleComposer< Type, ValueType >::visit ( storm::prism::SynchronizingParallelComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::prism::CompositionVisitor.

Definition at line 382 of file DdPrismModelBuilder.cpp.

---

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

• src/storm/builder/DdPrismModelBuilder.cpp