diff --git a/src/core/environment.cpp b/src/core/environment.cpp index 9f1c89b..460510a 100644 --- a/src/core/environment.cpp +++ b/src/core/environment.cpp @@ -2,14 +2,7 @@ #include "src/helpers.h" #include "storm/environment/Environment.h" #include "storm/environment/solver/SolverEnvironment.h" -#include "storm/environment/solver/EigenSolverEnvironment.h" -#include "storm/environment/solver/GmmxxSolverEnvironment.h" -#include "storm/environment/solver/GameSolverEnvironment.h" -#include "storm/environment/solver/NativeSolverEnvironment.h" -#include "storm/environment/solver/TopologicalSolverEnvironment.h" -#include "storm/environment/solver/MultiplierEnvironment.h" -#include "storm/environment/solver/MinMaxSolverEnvironment.h" -#include "storm/environment/solver/LongRunAverageSolverEnvironment.h" +#include "storm/environment/solver/AllSolverEnvironments.h" void define_environment(py::module& m) { py::enum_(m, "EquationSolverType", "Solver type for equation systems")