SylvanDdManagerEnvironment.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
 
namespace storm {
 
class SylvanDdManagerEnvironment {
   public:
    SylvanDdManagerEnvironment();
    ~SylvanDdManagerEnvironment();

    uint64_t getMaximalMemory() const;
    void setMaximalMemory(uint64_t value);

    uint64_t getNumberOfThreads() const;
    void setNumberOfThreads(uint64_t value);
 
   private:
    uint64_t maximalMemory;
    uint64_t numberOfThreads;
};
}  // namespace storm