diff --git a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h index 5aa69b3ce..3ddba7586 100644 --- a/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h +++ b/src/storm-pomdp/analysis/MemlessStrategySearchQualitative.h @@ -20,9 +20,9 @@ namespace pomdp { storm::storage::BitVector const& surelyReachSinkStates, std::shared_ptr& smtSolverFactory) : pomdp(pomdp), + targetObservations(targetObservationSet), targetStates(targetStates), - surelyReachSinkStates(surelyReachSinkStates), - targetObservations(targetObservationSet) { + surelyReachSinkStates(surelyReachSinkStates) { this->expressionManager = std::make_shared(); smtSolver = smtSolverFactory->create(*expressionManager); diff --git a/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h b/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h index 5020fc9ab..97dc0f679 100644 --- a/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h +++ b/src/storm-pomdp/analysis/QualitativeStrategySearchNaive.h @@ -20,9 +20,9 @@ namespace storm { storm::storage::BitVector const& surelyReachSinkStates, std::shared_ptr& smtSolverFactory) : pomdp(pomdp), + targetObservations(targetObservationSet), targetStates(targetStates), - surelyReachSinkStates(surelyReachSinkStates), - targetObservations(targetObservationSet) { + surelyReachSinkStates(surelyReachSinkStates) { this->expressionManager = std::make_shared(); smtSolver = smtSolverFactory->create(*expressionManager);