SparseRationalModelToDoubleTransformer.h File Reference

#include <memory>
#include "storm/adapters/RationalNumberForward.h"
#include "storm/models/sparse/Model.h"

Include dependency graph for SparseRationalModelToDoubleTransformer.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::transformer

Functions
std::shared_ptr< storm::models::sparse::Model< double > >	storm::transformer::sparseRationalModelToDouble (std::shared_ptr< models::sparse::Model< storm::RationalNumber > > const &inputModel, double precision)
	Returns a model equivalent to inputModel with all probabilities, rates, and rewards converted to double.