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

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

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

Public Member Functions
	SystemComposer (storm::jani::Model const &model, CompositionVariables< Type, ValueType > const &variables, std::vector< storm::expressions::Variable > const &transientVariables)
virtual ComposerResult< Type, ValueType >	compose ()=0
Public Member Functions inherited from storm::jani::CompositionVisitor
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

Protected Attributes
storm::jani::Model const &	model
CompositionVariables< Type, ValueType > const &	variables
std::vector< storm::expressions::Variable >	transientVariables

Detailed Description

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

Definition at line 546 of file DdJaniModelBuilder.cpp.

Constructor & Destructor Documentation

SystemComposer()

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

storm::builder::SystemComposer< Type, ValueType >::SystemComposer ( storm::jani::Model const &  model, CompositionVariables< Type, ValueType > const &  variables, std::vector< storm::expressions::Variable > const &  transientVariables  )

inline

Definition at line 548 of file DdJaniModelBuilder.cpp.

Member Function Documentation

compose()

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

virtual ComposerResult< Type, ValueType > storm::builder::SystemComposer< Type, ValueType >::compose ( )

pure virtual

Implemented in storm::builder::CombinedEdgesSystemComposer< Type, ValueType >.

Member Data Documentation

model

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

storm::jani::Model const& storm::builder::SystemComposer< Type, ValueType >::model

protected

Definition at line 558 of file DdJaniModelBuilder.cpp.

transientVariables

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

std::vector<storm::expressions::Variable> storm::builder::SystemComposer< Type, ValueType >::transientVariables

protected

Definition at line 564 of file DdJaniModelBuilder.cpp.

variables

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

CompositionVariables<Type, ValueType> const& storm::builder::SystemComposer< Type, ValueType >::variables

protected

Definition at line 561 of file DdJaniModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.cpp