Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SparseRationalModelToDoubleTransformer.h
Go to the documentation of this file.
1#pragma once
2
3#include <memory>
4
5#include "storm/adapters/RationalNumberForward.h"
6#include "storm/models/sparse/Model.h"
7
8namespace storm::transformer {
9
16std::shared_ptr<storm::models::sparse::Model<double>> sparseRationalModelToDouble(
17 std::shared_ptr<models::sparse::Model<storm::RationalNumber>> const& inputModel, double precision);
18
19} // namespace storm::transformer
storm::models::sparse::Model
Base class for all sparse models.
Definition Model.h:34
storm::transformer::sparseRationalModelToDouble
std::shared_ptr< storm::models::sparse::Model< double > > sparseRationalModelToDouble(std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > > const &inputModel, double precision)
Definition SparseRationalModelToDoubleTransformer.cpp:16