diff --git a/src/solver/MinMaxLinearEquationSolver.h b/src/solver/MinMaxLinearEquationSolver.h index b05554e62..79d14907b 100644 --- a/src/solver/MinMaxLinearEquationSolver.h +++ b/src/solver/MinMaxLinearEquationSolver.h @@ -72,7 +72,7 @@ namespace storm { protected: MinMaxLinearEquationSolver(storm::storage::SparseMatrix const& matrix, double precision, bool relativeError, uint_fast64_t maxNrIterations, bool trackPolicy, MinMaxTechniqueSelection prefTech) : AbstractMinMaxLinearEquationSolver(precision, relativeError, maxNrIterations, trackPolicy, prefTech), - earlyTermination(new NoEarlyTerminationCondition()), A(matrix) { + A(matrix), earlyTermination(new NoEarlyTerminationCondition()) { // Intentionally left empty. } diff --git a/src/solver/SolverSelectionOptions.cpp b/src/solver/SolverSelectionOptions.cpp index 63e56eda7..68e76ead8 100644 --- a/src/solver/SolverSelectionOptions.cpp +++ b/src/solver/SolverSelectionOptions.cpp @@ -26,6 +26,8 @@ namespace storm { return "Native"; case EquationSolverType::Gmmxx: return "Gmmxx"; + case EquationSolverType::Topological: + return "Topological"; } } }