Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::builder::EdgeDestinationDd< Type, ValueType > Struct Template Reference
Collaboration diagram for storm::builder::EdgeDestinationDd< Type, ValueType >:
Collaboration graph
[legend]

Public Member Functions

 EdgeDestinationDd (storm::dd::Add< Type, ValueType > const &transitions, std::set< storm::expressions::Variable > const &writtenGlobalVariables={})
 

Public Attributes

storm::dd::Add< Type, ValueType > transitions
 
std::set< storm::expressions::Variable > writtenGlobalVariables
 

Detailed Description

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

Definition at line 569 of file DdJaniModelBuilder.cpp.

Constructor & Destructor Documentation

◆ EdgeDestinationDd()

template<storm::dd::DdType Type, typename ValueType >
storm::builder::EdgeDestinationDd< Type, ValueType >::EdgeDestinationDd ( storm::dd::Add< Type, ValueType > const &  transitions,
std::set< storm::expressions::Variable > const &  writtenGlobalVariables = {} 
)
inline

Definition at line 570 of file DdJaniModelBuilder.cpp.

Member Data Documentation

◆ transitions

template<storm::dd::DdType Type, typename ValueType >
storm::dd::Add<Type, ValueType> storm::builder::EdgeDestinationDd< Type, ValueType >::transitions

Definition at line 575 of file DdJaniModelBuilder.cpp.

◆ writtenGlobalVariables

template<storm::dd::DdType Type, typename ValueType >
std::set<storm::expressions::Variable> storm::builder::EdgeDestinationDd< Type, ValueType >::writtenGlobalVariables

Definition at line 576 of file DdJaniModelBuilder.cpp.

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