Renaming min upper aux method setting

src/storm/environment/solver/OviSolverEnvironment.cpp

@@ -14,7 +14,7 @@ namespace storm {
         relevantValuesForPrecisionUpdate = oviSettings.useRelevantValuesForPrecisionUpdate();
         upperBoundGuessingFactor = storm::utility::convertNumber<storm::RationalNumber>(oviSettings.getUpperBoundGuessingFactor());
         upperBoundOnlyIterations = oviSettings.getUpperBoundOnlyIterations();
-        useTerminationGuaranteedMinimumMethod = oviSettings.getUseTerminationGuaranteedMinimumMethod();
+        terminationGuaranteedMinimumMethod = oviSettings.useTerminationGuaranteedMinimumMethod();
     }
     
     OviSolverEnvironment::~OviSolverEnvironment() {
@@ -34,15 +34,15 @@ namespace storm {
     }
 
     storm::RationalNumber OviSolverEnvironment::getUpperBoundGuessingFactor() const {
-        return maxVerificationIterationFactor;
+        return upperBoundGuessingFactor;
     }
 
     uint64_t OviSolverEnvironment::getUpperBoundOnlyIterations() const {
         return upperBoundOnlyIterations;
     }
 
-    bool OviSolverEnvironment::getUseTerminationGuaranteedMinimumMethod() const {
-        return useTerminationGuaranteedMinimumMethod;
+    bool OviSolverEnvironment::useTerminationGuaranteedMinimumMethod() const {
+        return terminationGuaranteedMinimumMethod;
     }
     
 }

src/storm/environment/solver/OviSolverEnvironment.h

@@ -17,7 +17,7 @@ namespace storm {
         bool useRelevantValuesForPrecisionUpdate() const;
         storm::RationalNumber getUpperBoundGuessingFactor() const;
         uint64_t getUpperBoundOnlyIterations() const;
-        bool getUseTerminationGuaranteedMinimumMethod() const;
+        bool useTerminationGuaranteedMinimumMethod() const;
         
     private:
         storm::RationalNumber precisionUpdateFactor;
@@ -25,7 +25,7 @@ namespace storm {
         bool relevantValuesForPrecisionUpdate;
         storm::RationalNumber upperBoundGuessingFactor;
         uint64_t upperBoundOnlyIterations;
-        bool useTerminationGuaranteedMinimumMethod;
+        bool terminationGuaranteedMinimumMethod;
     };
 }
 

src/storm/settings/modules/OviSolverSettings.cpp

@@ -54,7 +54,7 @@ namespace storm {
                 return this->getOption(upperBoundOnlyIterationsOptionName).getArgumentByName("iter").getValueAsInteger();
             }
 
-            bool OviSolverSettings::getUseTerminationGuaranteedMinimumMethod() const {
+            bool OviSolverSettings::useTerminationGuaranteedMinimumMethod() const {
                 return this->getOption(useTerminationGuaranteedMinimumMethodOptionName).getHasOptionBeenSet();
             }
            

src/storm/settings/modules/OviSolverSettings.h

@@ -25,7 +25,7 @@ namespace storm {
 
                 uint64_t getUpperBoundOnlyIterations() const;
 
-                bool getUseTerminationGuaranteedMinimumMethod() const;
+                bool useTerminationGuaranteedMinimumMethod() const;
                 
                 // The name of the module.
                 static const std::string moduleName;