Browse Source

fixed two warnings

Former-commit-id: a845b90c07
tempestpy_adaptions
dehnert 9 years ago
parent
commit
8d2bd4fd9d
  1. 2
      src/solver/MinMaxLinearEquationSolver.h
  2. 2
      src/solver/SolverSelectionOptions.cpp

2
src/solver/MinMaxLinearEquationSolver.h

@ -72,7 +72,7 @@ namespace storm {
protected: protected:
MinMaxLinearEquationSolver(storm::storage::SparseMatrix<ValueType> const& matrix, double precision, bool relativeError, uint_fast64_t maxNrIterations, bool trackPolicy, MinMaxTechniqueSelection prefTech) : 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), AbstractMinMaxLinearEquationSolver(precision, relativeError, maxNrIterations, trackPolicy, prefTech),
earlyTermination(new NoEarlyTerminationCondition<ValueType>()), A(matrix) {
A(matrix), earlyTermination(new NoEarlyTerminationCondition<ValueType>()) {
// Intentionally left empty. // Intentionally left empty.
} }

2
src/solver/SolverSelectionOptions.cpp

@ -26,6 +26,8 @@ namespace storm {
return "Native"; return "Native";
case EquationSolverType::Gmmxx: case EquationSolverType::Gmmxx:
return "Gmmxx"; return "Gmmxx";
case EquationSolverType::Topological:
return "Topological";
} }
} }
} }

Loading…
Cancel
Save