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 292 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 294 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 299 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 328 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 337 of file DdJaniModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.cpp