storm::transformer::AddUncertainty< ValueType > Member List

This is the complete list of members for storm::transformer::AddUncertainty< ValueType >, including all inherited members.

AddUncertainty(std::shared_ptr< storm::models::sparse::Model< ValueType > > const &originalModel)	storm::transformer::AddUncertainty< ValueType >
IntervalType typedef	storm::transformer::AddUncertainty< ValueType >
transform(ValueType additiveUncertainty, ValueType minimalValue=storm::utility::convertNumber< ValueType >(0.0001), std::optional< uint64_t > maxSuccessors={})	storm::transformer::AddUncertainty< ValueType >