From 5d5159c43777a3e8561e0384abc682de1fae3828 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 18 Jan 2018 18:23:53 +0100
Subject: [PATCH] fixed compiling
---
src/storm/settings/modules/TopologicalEquationSolverSettings.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp b/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp
index 86e344f9c..fd22757ac 100644
--- a/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp
+++ b/src/storm/settings/modules/TopologicalEquationSolverSettings.cpp
@@ -23,6 +23,7 @@ namespace storm {
const std::string TopologicalEquationSolverSettings::moduleName = "topological";
const std::string TopologicalEquationSolverSettings::underlyingEquationSolverOptionName = "eqsolver";
+ const std::string TopologicalEquationSolverSettings::underlyingMinMaxMethodOptionName = "minmax";
TopologicalEquationSolverSettings::TopologicalEquationSolverSettings() : ModuleSettings(moduleName) {
std::vector<std::string> linearEquationSolver = {"gmm++", "native", "eigen", "elimination"};