Remove MinMaxMethod "topological_cuda" (#143)

moves-rwth · Nov 27, 2023 · d5df2a5 · d5df2a5
2 parents 4e8436c + 2c39317
commit d5df2a5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/core/environment.cpp b/src/core/environment.cpp
@@ -34,7 +34,6 @@ void define_environment(py::module& m) {
         .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)
     ;
 
     py::class_<storm::Environment>(m, "Environment", "Environment")