diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.cpp b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.cpp index 5cd244f4e..734a016d0 100644 --- a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.cpp +++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.cpp @@ -215,6 +215,11 @@ namespace storm { return lowerResultBounds.get()[state]; } + template + bool DeterministicSchedsObjectiveHelper::minimizing() const { + return storm::solver::minimize(objective.formula->getOptimalityType()); + } + template class DeterministicSchedsObjectiveHelper>; template class DeterministicSchedsObjectiveHelper>; template class DeterministicSchedsObjectiveHelper>; diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.h b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.h index 58dd28768..9cf85f030 100644 --- a/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.h +++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.h @@ -33,6 +33,9 @@ namespace storm { ValueType const& getUpperValueBoundAtState(Environment const& env, uint64_t state) const; ValueType const& getLowerValueBoundAtState(Environment const& env, uint64_t state) const; + + bool minimizing() const; + private: mutable boost::optional> schedulerIndependentStateValues;