removed unused code from MultiplierEnv

src/storm/environment/solver/MultiplierEnvironment.cpp

@@ -29,13 +29,4 @@ namespace storm {
         type = value;
         typeSetFromDefault = isSetFromDefault;
     }
-
-    void MultiplierEnvironment::setOptimizationDirectionOverride(storm::storage::BitVector optDirOverride) {
-        optimizationDirectionOverride = optDirOverride;
-    }
-
-    boost::optional<storm::storage::BitVector> const& MultiplierEnvironment::getOptimizationDirectionOverride() const {
-        return optimizationDirectionOverride;
-    }
-
 }

src/storm/environment/solver/MultiplierEnvironment.h

@@ -18,14 +18,8 @@ namespace storm {
         storm::solver::MultiplierType const& getType() const;
         bool const& isTypeSetFromDefault() const;
         void setType(storm::solver::MultiplierType value, bool isSetFromDefault = false);
-
-        void setOptimizationDirectionOverride(storm::storage::BitVector optimizationDirectionOverride);
-        boost::optional<storm::storage::BitVector> const& getOptimizationDirectionOverride() const;
-
     private:
         storm::solver::MultiplierType type;
         bool typeSetFromDefault;
-
-        boost::optional<storm::storage::BitVector> optimizationDirectionOverride = boost::none;
     };
 }