removed setPrecision in solver interface since this is now covered via storm::Environment

src/storm/solver/AbstractEquationSolver.cpp

@@ -273,11 +273,6 @@ namespace storm {
             }
         }
         
-        template<typename ValueType>
-        void AbstractEquationSolver<ValueType>::setPrecision(ValueType const& precision) {
-            STORM_LOG_DEBUG("Setting solver precision for a solver that does not support precisions.");
-        }
-
         template class AbstractEquationSolver<double>;
         template class AbstractEquationSolver<float>;
 

src/storm/solver/AbstractEquationSolver.h

@@ -178,8 +178,6 @@ namespace storm {
              */
             void showProgressIterative(uint64_t iterations, boost::optional<uint64_t> const& bound = boost::none) const;
 
-            virtual void setPrecision(ValueType const& precision);
-
         protected:
             /*!
              * Retrieves the custom termination condition (if any was set).