From 8d2bd4fd9dc3a6ffca6b8001c8657337a20e322d Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 31 Aug 2015 19:24:37 +0200
Subject: [PATCH] fixed two warnings
Former-commit-id: a845b90c0706ae9692e863c655e1f0ad047d7c8b
---
src/solver/MinMaxLinearEquationSolver.h | 2 +-
src/solver/SolverSelectionOptions.cpp | 2 ++
2 files changed, 3 insertions(+), 1 deletion(-)
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<ValueType> const& matrix, double precision, bool relativeError, uint_fast64_t maxNrIterations, bool trackPolicy, MinMaxTechniqueSelection prefTech) :
AbstractMinMaxLinearEquationSolver(precision, relativeError, maxNrIterations, trackPolicy, prefTech),
- earlyTermination(new NoEarlyTerminationCondition<ValueType>()), A(matrix) {
+ A(matrix), earlyTermination(new NoEarlyTerminationCondition<ValueType>()) {
// 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";
}
}
}