Browse Source

added missing switch case for new eigen solver

Former-commit-id: fbbb6e5828
tempestpy_adaptions
dehnert 8 years ago
parent
commit
a17cffbbe3
  1. 2
      src/solver/SolverSelectionOptions.cpp

2
src/solver/SolverSelectionOptions.cpp

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

Loading…
Cancel
Save