Storm
A Modern Probabilistic Model Checker
|
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 > | |
transform(double additiveUncertainty, double minimalValue=0.0001) | storm::transformer::AddUncertainty< ValueType > |