From ec2cf86e2003357dd32cb149681afc97ec232d1d Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sat, 30 May 2020 19:24:06 -0700
Subject: [PATCH] added optimistic value iteration to the environments
---
src/core/environment.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/core/environment.cpp b/src/core/environment.cpp
index 460510a..c44c3ed 100644
--- a/src/core/environment.cpp
+++ b/src/core/environment.cpp
@@ -16,6 +16,7 @@ void define_environment(py::module& m) {
py::enum_<storm::solver::NativeLinearEquationSolverMethod>(m, "NativeLinearEquationSolverMethod", "Method for linear equation systems with the native solver")
.value("power_iteration", storm::solver::NativeLinearEquationSolverMethod::Power)
.value("sound_value_iteration", storm::solver::NativeLinearEquationSolverMethod::SoundValueIteration)
+ .value("optimistic_value_iteration", storm::solver::NativeLinearEquationSolverMethod::OptimisticValueIteration)
.value("interval_iteration", storm::solver::NativeLinearEquationSolverMethod::IntervalIteration)
.value("rational_search", storm::solver::NativeLinearEquationSolverMethod::RationalSearch)
.value("jacobi", storm::solver::NativeLinearEquationSolverMethod::Jacobi)
@@ -32,6 +33,7 @@ void define_environment(py::module& m) {
.value("rational_search", storm::solver::MinMaxMethod::RationalSearch)
.value("interval_iteration", storm::solver::MinMaxMethod::IntervalIteration)
.value("sound_value_iteration", storm::solver::MinMaxMethod::SoundValueIteration)
+ .value("optimistic_value_iteration", storm::solver::MinMaxMethod::OptimisticValueIteration)
.value("topological_cuda", storm::solver::MinMaxMethod::TopologicalCuda)
;