From 642779e56f48ab8354af86ae41d1b64d039d1e2e Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Wed, 2 Sep 2020 20:11:38 -0700
Subject: [PATCH] precision for native solver

---
 src/core/environment.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/environment.cpp b/src/core/environment.cpp
index c44c3ed..2e23f97 100644
--- a/src/core/environment.cpp
+++ b/src/core/environment.cpp
@@ -52,6 +52,7 @@ void define_environment(py::module& m) {
     py::class_<storm::NativeSolverEnvironment>(m, "NativeSolverEnvironment", "Environment for Native solvers")
         .def_property("method", &storm::NativeSolverEnvironment::getMethod, [](storm::NativeSolverEnvironment& nsenv, storm::solver::NativeLinearEquationSolverMethod const& m) {nsenv.setMethod(m);})
         .def_property("maximum_iterations", &storm::NativeSolverEnvironment::getMaximalNumberOfIterations, [](storm::NativeSolverEnvironment& nsenv, uint64_t iters) {nsenv.setMaximalNumberOfIterations(iters);} )
+        .def_property("precision", &storm::NativeSolverEnvironment::getPrecision, &storm::NativeSolverEnvironment::setPrecision)
     ;
 
     py::class_<storm::MinMaxSolverEnvironment>(m, "MinMaxSolverEnvironment", "Environment for Min-Max-Solvers")