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 536 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 538 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 548 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 554 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 551 of file DdJaniModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.cpp