CuddDdManager now sets tolerance to 1e-15.

Former-commit-id: bfc985b5de
11 years ago · 44ba492fe7
1 changed files with 2 additions and 1 deletions
--- a/src/storage/dd/CuddDdManager.cpp
+++ b/src/storage/dd/CuddDdManager.cpp
@ -8,7 +8,8 @@
 namespace storm {
    namespace dd {
        DdManager<DdType::CUDD>::DdManager() : metaVariableMap(), cuddManager() {
-            // Intentionally left empty.
+            
+            this->cuddManager.SetEpsilon(1.0e-15);
        }
        
        Dd<DdType::CUDD> DdManager<DdType::CUDD>::getOne() {