AddUncertainty.h

Go to the documentation of this file.

#pragma once
 
#include "storm/adapters/IntervalForward.h"
#include "storm/models/sparse/Model.h"
 
namespace storm::transformer {
 
template<typename ValueType>
class AddUncertainty {
   public:
    AddUncertainty(std::shared_ptr<storm::models::sparse::Model<ValueType>> const& originalModel);
    std::shared_ptr<storm::models::sparse::Model<Interval>> transform(double additiveUncertainty, double minimalValue = 0.0001);
 
   private:
    storm::Interval addUncertainty(ValueType const& vt, double additiveUncertainty, double minimalValue);
    std::shared_ptr<storm::models::sparse::Model<ValueType>> origModel;
};
 
}  // namespace storm::transformer