Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | Public Attributes | List of all members
storm::builder::ComposerResult< Type, ValueType > Struct Template Reference
Collaboration diagram for storm::builder::ComposerResult< Type, ValueType >:
Collaboration graph
[legend]

Public Member Functions

 ComposerResult (storm::dd::Add< Type, ValueType > const &transitions, std::map< storm::expressions::Variable, storm::dd::Add< Type, ValueType > > const &transientLocationAssignments, std::map< storm::expressions::Variable, storm::dd::Add< Type, ValueType > > const &transientEdgeAssignments, storm::dd::Bdd< Type > const &illegalFragment, uint64_t numberOfNondeterminismVariables=0)
 

Public Attributes

storm::dd::Add< Type, ValueType > transitions
 
std::map< storm::expressions::Variable, storm::dd::Add< Type, ValueType > > transientLocationAssignments
 
std::map< storm::expressions::Variable, storm::dd::Add< Type, ValueType > > transientEdgeAssignments
 
storm::dd::Bdd< Type > illegalFragment
 
uint64_t numberOfNondeterminismVariables
 

Detailed Description

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

Definition at line 524 of file DdJaniModelBuilder.cpp.

Constructor & Destructor Documentation

◆ ComposerResult()

template<storm::dd::DdType Type, typename ValueType >
storm::builder::ComposerResult< Type, ValueType >::ComposerResult ( storm::dd::Add< Type, ValueType > const &  transitions,
std::map< storm::expressions::Variable, storm::dd::Add< Type, ValueType > > const &  transientLocationAssignments,
std::map< storm::expressions::Variable, storm::dd::Add< Type, ValueType > > const &  transientEdgeAssignments,
storm::dd::Bdd< Type > const &  illegalFragment,
uint64_t  numberOfNondeterminismVariables = 0 
)
inline

Definition at line 525 of file DdJaniModelBuilder.cpp.

Member Data Documentation

◆ illegalFragment

template<storm::dd::DdType Type, typename ValueType >
storm::dd::Bdd<Type> storm::builder::ComposerResult< Type, ValueType >::illegalFragment

Definition at line 540 of file DdJaniModelBuilder.cpp.

◆ numberOfNondeterminismVariables

template<storm::dd::DdType Type, typename ValueType >
uint64_t storm::builder::ComposerResult< Type, ValueType >::numberOfNondeterminismVariables

Definition at line 541 of file DdJaniModelBuilder.cpp.

◆ transientEdgeAssignments

template<storm::dd::DdType Type, typename ValueType >
std::map<storm::expressions::Variable, storm::dd::Add<Type, ValueType> > storm::builder::ComposerResult< Type, ValueType >::transientEdgeAssignments

Definition at line 539 of file DdJaniModelBuilder.cpp.

◆ transientLocationAssignments

template<storm::dd::DdType Type, typename ValueType >
std::map<storm::expressions::Variable, storm::dd::Add<Type, ValueType> > storm::builder::ComposerResult< Type, ValueType >::transientLocationAssignments

Definition at line 538 of file DdJaniModelBuilder.cpp.

◆ transitions

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

Definition at line 537 of file DdJaniModelBuilder.cpp.

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