DeterministicSchedsObjectiveHelper: Added minimizing().

src/storm/modelchecker/multiobjective/deterministicScheds/DeterministicSchedsObjectiveHelper.cpp

@@ -215,6 +215,11 @@ namespace storm {
                 return lowerResultBounds.get()[state];
             }
             
+            template <typename ModelType>
+            bool DeterministicSchedsObjectiveHelper<ModelType>::minimizing() const {
+                return storm::solver::minimize(objective.formula->getOptimalityType());
+            }
+
             template class DeterministicSchedsObjectiveHelper<storm::models::sparse::Mdp<double>>;
             template class DeterministicSchedsObjectiveHelper<storm::models::sparse::Mdp<storm::RationalNumber>>;
             template class DeterministicSchedsObjectiveHelper<storm::models::sparse::MarkovAutomaton<double>>;

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<std::map<uint64_t, ValueType>> schedulerIndependentStateValues;