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_(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_(m, "MinMaxSolverEnvironment", "Environment for Min-Max-Solvers")