storm::builder::ComposerResult< Type, ValueType > Member List

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 >