ConditionalModelCheckerEnvironment.cpp

Go to the documentation of this file.

#include "storm/environment/modelchecker/ConditionalModelCheckerEnvironment.h"
 
#include "storm/adapters/RationalNumberForward.h"
#include "storm/utility/constants.h"
 
namespace storm {
 
ConditionalModelCheckerEnvironment::ConditionalModelCheckerEnvironment()
    : algorithm(storm::ConditionalAlgorithmSetting::Default),
      precision(storm::utility::convertNumber<storm::RationalNumber>(1e-06)),
      precisionSetFromDefault(true),
      relative(true) {
    // Intentionally left empty.
}
 
ConditionalModelCheckerEnvironment::~ConditionalModelCheckerEnvironment() {
    // Intentionally left empty
}
 
ConditionalAlgorithmSetting ConditionalModelCheckerEnvironment::getAlgorithm() const {
    return algorithm;
}
 
void ConditionalModelCheckerEnvironment::setAlgorithm(ConditionalAlgorithmSetting value) {
    algorithm = value;
}
 
storm::RationalNumber ConditionalModelCheckerEnvironment::getPrecision() const {
    return precision;
}
 
void ConditionalModelCheckerEnvironment::setPrecision(storm::RationalNumber const& value, bool setFromDefault) {
    precision = value;
    precisionSetFromDefault = setFromDefault;
}
 
bool ConditionalModelCheckerEnvironment::isPrecisionSetFromDefault() const {
    return precisionSetFromDefault;
}
 
bool ConditionalModelCheckerEnvironment::isRelativePrecision() const {
    return relative;
}
 
void ConditionalModelCheckerEnvironment::setRelativePrecision(bool value) {
    relative = value;
}
 
}  // namespace storm