LongRunAverageSolverEnvironment.cpp

Go to the documentation of this file.

#include "storm/environment/solver/LongRunAverageSolverEnvironment.h"
 
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/LongRunAverageSolverSettings.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"
 
namespace storm {
 
LongRunAverageSolverEnvironment::LongRunAverageSolverEnvironment() {
    auto const& lraSettings = storm::settings::getModule<storm::settings::modules::LongRunAverageSolverSettings>();
    detMethod = lraSettings.getDetLraMethod();
    detMethodSetFromDefault = lraSettings.isDetLraMethodSetFromDefaultValue();
    nondetMethod = lraSettings.getNondetLraMethod();
    nondetMethodSetFromDefault = lraSettings.isNondetLraMethodSetFromDefaultValue();
    precision = storm::utility::convertNumber<storm::RationalNumber>(lraSettings.getPrecision());
    relative = lraSettings.isRelativePrecision();
    if (lraSettings.isMaximalIterationCountSet()) {
        maxIters = lraSettings.getMaximalIterationCount();
    }
    aperiodicFactor = storm::utility::convertNumber<storm::RationalNumber>(lraSettings.getAperiodicFactor());
}
 
LongRunAverageSolverEnvironment::~LongRunAverageSolverEnvironment() {
    // Intentionally left empty
}
 
storm::solver::LraMethod const& LongRunAverageSolverEnvironment::getDetLraMethod() const {
    return detMethod;
}
 
bool const& LongRunAverageSolverEnvironment::isDetLraMethodSetFromDefault() const {
    return detMethodSetFromDefault;
}
 
void LongRunAverageSolverEnvironment::setDetLraMethod(storm::solver::LraMethod value, bool isSetFromDefault) {
    detMethod = value;
    detMethodSetFromDefault = isSetFromDefault;
}
 
storm::solver::LraMethod const& LongRunAverageSolverEnvironment::getNondetLraMethod() const {
    return nondetMethod;
}
 
bool const& LongRunAverageSolverEnvironment::isNondetLraMethodSetFromDefault() const {
    return nondetMethodSetFromDefault;
}
 
void LongRunAverageSolverEnvironment::setNondetLraMethod(storm::solver::LraMethod value, bool isSetFromDefault) {
    nondetMethod = value;
    nondetMethodSetFromDefault = isSetFromDefault;
}
 
storm::RationalNumber const& LongRunAverageSolverEnvironment::getPrecision() const {
    return precision;
}
 
void LongRunAverageSolverEnvironment::setPrecision(storm::RationalNumber value) {
    precision = value;
}
 
bool const& LongRunAverageSolverEnvironment::getRelativeTerminationCriterion() const {
    return relative;
}
 
void LongRunAverageSolverEnvironment::setRelativeTerminationCriterion(bool value) {
    relative = value;
}
 
bool LongRunAverageSolverEnvironment::isMaximalIterationCountSet() const {
    return maxIters.is_initialized();
}
 
uint64_t LongRunAverageSolverEnvironment::getMaximalIterationCount() const {
    return maxIters.get();
}
 
void LongRunAverageSolverEnvironment::setMaximalIterationCount(uint64_t value) {
    maxIters = value;
}
 
void LongRunAverageSolverEnvironment::unsetMaximalIterationCount() {
    maxIters = boost::none;
}
 
storm::RationalNumber const& LongRunAverageSolverEnvironment::getAperiodicFactor() const {
    return aperiodicFactor;
}
 
void LongRunAverageSolverEnvironment::setAperiodicFactor(storm::RationalNumber value) {
    aperiodicFactor = value;
}
 
}  // namespace storm