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

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

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

Public Member Functions
	CompositionVariableCreator (storm::jani::Model const &model, storm::jani::CompositionInformation const &actionInformation)
CompositionVariables< Type, ValueType >	create (std::shared_ptr< storm::dd::DdManager< Type > > const &manager)
boost::any	visit (storm::jani::AutomatonComposition const &composition, boost::any const &) override
boost::any	visit (storm::jani::ParallelComposition const &composition, boost::any const &data) override
Public Member Functions inherited from storm::jani::CompositionVisitor
virtual	~CompositionVisitor ()=default

Detailed Description

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

Definition at line 302 of file DdJaniModelBuilder.cpp.

Constructor & Destructor Documentation

CompositionVariableCreator()

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

storm::builder::CompositionVariableCreator< Type, ValueType >::CompositionVariableCreator ( storm::jani::Model const &  model, storm::jani::CompositionInformation const &  actionInformation  )

inline

Definition at line 304 of file DdJaniModelBuilder.cpp.

Member Function Documentation

create()

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

CompositionVariables< Type, ValueType > storm::builder::CompositionVariableCreator< Type, ValueType >::create ( std::shared_ptr< storm::dd::DdManager< Type > > const &  manager )

inline

Definition at line 309 of file DdJaniModelBuilder.cpp.

visit() [1/2]

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

boost::any storm::builder::CompositionVariableCreator< Type, ValueType >::visit ( storm::jani::AutomatonComposition const &  composition, boost::any const &    )

inlineoverridevirtual

Implements storm::jani::CompositionVisitor.

Definition at line 338 of file DdJaniModelBuilder.cpp.

visit() [2/2]

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

boost::any storm::builder::CompositionVariableCreator< Type, ValueType >::visit ( storm::jani::ParallelComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::jani::CompositionVisitor.

Definition at line 347 of file DdJaniModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.cpp