storm::builder::ModelComponents< Type, ValueType > Struct Template Reference

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

Public Attributes
storm::dd::Bdd< Type >	reachableStates
storm::dd::Bdd< Type >	initialStates
storm::dd::Bdd< Type >	deadlockStates
storm::dd::Add< Type, ValueType >	transitionMatrix
std::unordered_map< std::string, storm::models::symbolic::StandardRewardModel< Type, ValueType > >	rewardModels
std::map< std::string, storm::expressions::Expression >	labelToExpressionMap

Detailed Description

template<storm::dd::DdType Type, typename ValueType>
struct storm::builder::ModelComponents< Type, ValueType >

Definition at line 2079 of file DdJaniModelBuilder.cpp.

Member Data Documentation

deadlockStates

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

storm::dd::Bdd<Type> storm::builder::ModelComponents< Type, ValueType >::deadlockStates

Definition at line 2082 of file DdJaniModelBuilder.cpp.

initialStates

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

storm::dd::Bdd<Type> storm::builder::ModelComponents< Type, ValueType >::initialStates

Definition at line 2081 of file DdJaniModelBuilder.cpp.

labelToExpressionMap

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

std::map<std::string, storm::expressions::Expression> storm::builder::ModelComponents< Type, ValueType >::labelToExpressionMap

Definition at line 2085 of file DdJaniModelBuilder.cpp.

reachableStates

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

storm::dd::Bdd<Type> storm::builder::ModelComponents< Type, ValueType >::reachableStates

Definition at line 2080 of file DdJaniModelBuilder.cpp.

rewardModels

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

std::unordered_map<std::string, storm::models::symbolic::StandardRewardModel<Type, ValueType> > storm::builder::ModelComponents< Type, ValueType >::rewardModels

Definition at line 2084 of file DdJaniModelBuilder.cpp.

transitionMatrix

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

storm::dd::Add<Type, ValueType> storm::builder::ModelComponents< Type, ValueType >::transitionMatrix

Definition at line 2083 of file DdJaniModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.cpp