#include "storm/environment/solver/OviSolverEnvironment.h"

#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/OviSolverSettings.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"

namespace storm {
    
    OviSolverEnvironment::OviSolverEnvironment() {
        auto const& oviSettings = storm::settings::getModule<storm::settings::modules::OviSolverSettings>();
        precisionUpdateFactor = storm::utility::convertNumber<storm::RationalNumber>(oviSettings.getPrecisionUpdateFactor());
        maxVerificationIterationFactor = storm::utility::convertNumber<storm::RationalNumber>(oviSettings.getMaxVerificationIterationFactor());
        upperBoundGuessingFactor = storm::utility::convertNumber<storm::RationalNumber>(oviSettings.getUpperBoundGuessingFactor());
        upperBoundOnlyIterations = oviSettings.getUpperBoundOnlyIterations();
        noTerminationGuaranteeMinimumMethod = oviSettings.useNoTerminationGuaranteeMinimumMethod();
    }
    
    OviSolverEnvironment::~OviSolverEnvironment() {
        // Intentionally left empty
    }
    
    storm::RationalNumber OviSolverEnvironment::getPrecisionUpdateFactor() const {
        return precisionUpdateFactor;
    }
    
    storm::RationalNumber OviSolverEnvironment::getMaxVerificationIterationFactor() const {
        return maxVerificationIterationFactor;
    }
    
    storm::RationalNumber OviSolverEnvironment::getUpperBoundGuessingFactor() const {
        return upperBoundGuessingFactor;
    }

    uint64_t OviSolverEnvironment::getUpperBoundOnlyIterations() const {
        return upperBoundOnlyIterations;
    }

    bool OviSolverEnvironment::useNoTerminationGuaranteeMinimumMethod() const {
        return noTerminationGuaranteeMinimumMethod;
    }
    
}