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 linearEquationSolver = {"gmm++", "native", "eigen", "elimination"};