From 017fa192815a56d2641cd1c15cd08068f0607a42 Mon Sep 17 00:00:00 2001 From: Mavo Date: Mon, 15 Feb 2016 11:55:42 +0100 Subject: [PATCH] Fixed compile issue Former-commit-id: a58c76d17584b72fcb4c04313f3168ffef854975 --- src/solver/stateelimination/StateEliminator.cpp | 3 +-- src/solver/stateelimination/StateEliminator.h | 5 ++++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/src/solver/stateelimination/StateEliminator.cpp b/src/solver/stateelimination/StateEliminator.cpp index 3e3d8c53a..01dc8a5af 100644 --- a/src/solver/stateelimination/StateEliminator.cpp +++ b/src/solver/stateelimination/StateEliminator.cpp @@ -1,7 +1,6 @@ #include "src/solver/stateelimination/StateEliminator.h" #include "src/storage/BitVector.h" -#include "src/adapters/CarlAdapter.h" #include "src/utility/constants.h" #include "src/utility/macros.h" #include "src/exceptions/InvalidStateException.h" @@ -256,4 +255,4 @@ namespace storm { } // namespace stateelimination } // namespace storage -} // namespace storm \ No newline at end of file +} // namespace storm diff --git a/src/solver/stateelimination/StateEliminator.h b/src/solver/stateelimination/StateEliminator.h index 2a58912e8..a0bf04a98 100644 --- a/src/solver/stateelimination/StateEliminator.h +++ b/src/solver/stateelimination/StateEliminator.h @@ -4,6 +4,9 @@ #include "src/storage/FlexibleSparseMatrix.h" #include "src/storage/SparseMatrix.h" #include "src/storage/sparse/StateType.h" +#include "src/models/sparse/Dtmc.h" +#include "src/models/sparse/StandardRewardModel.h" +#include "src/adapters/CarlAdapter.h" #include "src/modelchecker/reachability/SparseDtmcEliminationModelChecker.h" namespace storm { @@ -39,4 +42,4 @@ namespace storm { } // namespace storage } // namespace storm -#endif // STORM_SOLVER_STATEELIMINATION_STATEELIMINATOR_H_ \ No newline at end of file +#endif // STORM_SOLVER_STATEELIMINATION_STATEELIMINATOR_H_