Loading...
Searching...
No Matches
storm::builder::CompositionVariables< Type, ValueType > Struct Template Reference
Collaboration diagram for storm::builder::CompositionVariables< Type, ValueType >:
Public Member Functions | |
| CompositionVariables (std::shared_ptr< storm::dd::DdManager< Type > > const &manager) | |
Detailed Description
template<storm::dd::DdType Type, typename ValueType>
struct storm::builder::CompositionVariables< Type, ValueType >
struct storm::builder::CompositionVariables< Type, ValueType >
Definition at line 227 of file DdJaniModelBuilder.cpp.
Constructor & Destructor Documentation
◆ CompositionVariables()
template<storm::dd::DdType Type, typename ValueType>
|
inline |
Definition at line 228 of file DdJaniModelBuilder.cpp.
Member Data Documentation
◆ actionVariablesMap
template<storm::dd::DdType Type, typename ValueType>
| std::map<uint64_t, storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::actionVariablesMap |
Definition at line 254 of file DdJaniModelBuilder.cpp.
◆ allGlobalVariables
template<storm::dd::DdType Type, typename ValueType>
| std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::allGlobalVariables |
Definition at line 273 of file DdJaniModelBuilder.cpp.
◆ allNondeterminismVariables
template<storm::dd::DdType Type, typename ValueType>
| std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::allNondeterminismVariables |
Definition at line 264 of file DdJaniModelBuilder.cpp.
◆ automatonToIdentityMap
template<storm::dd::DdType Type, typename ValueType>
| std::map<std::string, storm::dd::Add<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::automatonToIdentityMap |
Definition at line 276 of file DdJaniModelBuilder.cpp.
◆ automatonToLocationDdVariableMap
template<storm::dd::DdType Type, typename ValueType>
| std::map<std::string, std::pair<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::automatonToLocationDdVariableMap |
Definition at line 251 of file DdJaniModelBuilder.cpp.
◆ automatonToRangeMap
template<storm::dd::DdType Type, typename ValueType>
| std::map<std::string, storm::dd::Add<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::automatonToRangeMap |
Definition at line 279 of file DdJaniModelBuilder.cpp.
◆ columnMetaVariables
template<storm::dd::DdType Type, typename ValueType>
| std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::columnMetaVariables |
Definition at line 244 of file DdJaniModelBuilder.cpp.
◆ globalVariableRanges
template<storm::dd::DdType Type, typename ValueType>
| storm::dd::Add<Type, ValueType> storm::builder::CompositionVariables< Type, ValueType >::globalVariableRanges |
Definition at line 282 of file DdJaniModelBuilder.cpp.
◆ localNondeterminismVariables
template<storm::dd::DdType Type, typename ValueType>
| std::vector<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::localNondeterminismVariables |
Definition at line 257 of file DdJaniModelBuilder.cpp.
◆ manager
template<storm::dd::DdType Type, typename ValueType>
| std::shared_ptr<storm::dd::DdManager<Type> > storm::builder::CompositionVariables< Type, ValueType >::manager |
Definition at line 236 of file DdJaniModelBuilder.cpp.
◆ parameters
template<storm::dd::DdType Type, typename ValueType>
| std::set<storm::RationalFunctionVariable> storm::builder::CompositionVariables< Type, ValueType >::parameters |
Definition at line 285 of file DdJaniModelBuilder.cpp.
◆ probabilisticMarker
template<storm::dd::DdType Type, typename ValueType>
| storm::dd::Bdd<Type> storm::builder::CompositionVariables< Type, ValueType >::probabilisticMarker |
Definition at line 261 of file DdJaniModelBuilder.cpp.
◆ probabilisticNondeterminismVariable
template<storm::dd::DdType Type, typename ValueType>
| storm::expressions::Variable storm::builder::CompositionVariables< Type, ValueType >::probabilisticNondeterminismVariable |
Definition at line 260 of file DdJaniModelBuilder.cpp.
◆ rowColumnMetaVariablePairs
template<storm::dd::DdType Type, typename ValueType>
| std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::rowColumnMetaVariablePairs |
Definition at line 248 of file DdJaniModelBuilder.cpp.
◆ rowExpressionAdapter
template<storm::dd::DdType Type, typename ValueType>
| std::shared_ptr<storm::adapters::AddExpressionAdapter<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::rowExpressionAdapter |
Definition at line 241 of file DdJaniModelBuilder.cpp.
◆ rowMetaVariables
template<storm::dd::DdType Type, typename ValueType>
| std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::rowMetaVariables |
Definition at line 239 of file DdJaniModelBuilder.cpp.
◆ variableToColumnMetaVariableMap
template<storm::dd::DdType Type, typename ValueType>
| std::shared_ptr<std::map<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::variableToColumnMetaVariableMap |
Definition at line 245 of file DdJaniModelBuilder.cpp.
◆ variableToIdentityMap
template<storm::dd::DdType Type, typename ValueType>
| std::map<storm::expressions::Variable, storm::dd::Add<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::variableToIdentityMap |
Definition at line 267 of file DdJaniModelBuilder.cpp.
◆ variableToRangeMap
template<storm::dd::DdType Type, typename ValueType>
| std::map<storm::expressions::Variable, storm::dd::Bdd<Type> > storm::builder::CompositionVariables< Type, ValueType >::variableToRangeMap |
Definition at line 270 of file DdJaniModelBuilder.cpp.
◆ variableToRowMetaVariableMap
template<storm::dd::DdType Type, typename ValueType>
| std::shared_ptr<std::map<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::variableToRowMetaVariableMap |
Definition at line 240 of file DdJaniModelBuilder.cpp.
The documentation for this struct was generated from the following file:
- src/storm/builder/DdJaniModelBuilder.cpp
