Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::builder::ComposerResult< Type, ValueType >, including all inherited members.
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) | storm::builder::ComposerResult< Type, ValueType > | inline |
illegalFragment | storm::builder::ComposerResult< Type, ValueType > | |
numberOfNondeterminismVariables | storm::builder::ComposerResult< Type, ValueType > | |
transientEdgeAssignments | storm::builder::ComposerResult< Type, ValueType > | |
transientLocationAssignments | storm::builder::ComposerResult< Type, ValueType > | |
transitions | storm::builder::ComposerResult< Type, ValueType > |