CuddDdManagerEnvironment.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
 
#include "storm/storage/dd/cudd/CuddReorderingTechnique.h"
 
namespace storm {
 
class CuddDdManagerEnvironment {
   public:
    CuddDdManagerEnvironment();
    ~CuddDdManagerEnvironment();

    double getConstantPrecision() const;
    void setConstantPrecision(double value);

    uint64_t getMaximalMemory() const;
    void setMaximalMemory(uint64_t value);
 
    bool isReorderingEnabled() const;
    void setReorderingEnabled(bool value);
 
    storm::dd::CuddReorderingTechnique getReorderingTechnique() const;
    void setReorderingTechnique(storm::dd::CuddReorderingTechnique value);
 
   private:
    double constantPrecision;
    uint64_t maximalMemory;
    bool reorderingEnabled;
    storm::dd::CuddReorderingTechnique reorderingTechnique;
};
}  // namespace storm