Removed unused variable + dependent code

6 years ago · c039b817ef
1 changed files with 1 additions and 9 deletions
--- a/src/storm/modelchecker/prctl/helper/rewardbounded/ProductModel.cpp
+++ b/src/storm/modelchecker/prctl/helper/rewardbounded/ProductModel.cpp
@ -109,14 +109,6 @@ namespace storm {
                            dimensionIndexMap.push_back(globalDimensionIndex);
                        }
                        
-                        bool objectiveContainsLowerBound = false;
-                        for (auto const& globalDimensionIndex : objectiveDimensions[objIndex]) {
-                            if (dimensions[globalDimensionIndex].boundType == DimensionBoundType::LowerBound) {
-                                objectiveContainsLowerBound = true;
-                                break;
-                            }
-                        }
-                        
                        // collect the memory states for this objective
                        std::vector<storm::storage::BitVector> objMemStates;
                        storm::storage::BitVector m(dimensionIndexMap.size(), false);