CuddDdManagerEnvironment.cpp

Go to the documentation of this file.

#include "storm/environment/dd/CuddDdManagerEnvironment.h"
 
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/CuddSettings.h"
#include "storm/utility/macros.h"
 
namespace storm {
 
CuddDdManagerEnvironment::CuddDdManagerEnvironment()
    : constantPrecision(1e-15), maximalMemory(4096), reorderingEnabled(false), reorderingTechnique(storm::dd::CuddReorderingTechnique::GroupSift) {
    if (storm::settings::hasModule<storm::settings::modules::CuddSettings>()) {
        auto const& cuddSettings = storm::settings::getModule<storm::settings::modules::CuddSettings>();
        constantPrecision = cuddSettings.getConstantPrecision();
        maximalMemory = cuddSettings.getMaximalMemory();
        reorderingEnabled = cuddSettings.isReorderingEnabled();
        reorderingTechnique = cuddSettings.getReorderingTechnique();
    }
}
 
CuddDdManagerEnvironment::~CuddDdManagerEnvironment() {
    // Intentionally left empty
}
 
double CuddDdManagerEnvironment::getConstantPrecision() const {
    return constantPrecision;
}
 
void CuddDdManagerEnvironment::setConstantPrecision(double value) {
    constantPrecision = value;
}
 
uint64_t CuddDdManagerEnvironment::getMaximalMemory() const {
    return maximalMemory;
}
 
void CuddDdManagerEnvironment::setMaximalMemory(uint64_t value) {
    maximalMemory = value;
}
 
bool CuddDdManagerEnvironment::isReorderingEnabled() const {
    return reorderingEnabled;
}
 
void CuddDdManagerEnvironment::setReorderingEnabled(bool value) {
    reorderingEnabled = value;
}
 
storm::dd::CuddReorderingTechnique CuddDdManagerEnvironment::getReorderingTechnique() const {
    return reorderingTechnique;
}
 
void CuddDdManagerEnvironment::setReorderingTechnique(storm::dd::CuddReorderingTechnique value) {
    reorderingTechnique = value;
}
 
}  // namespace storm