From 44ba492fe707d8e575c6844eb898f3a1361773d5 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 25 Apr 2014 13:13:03 +0200
Subject: [PATCH] CuddDdManager now sets tolerance to 1e-15.

Former-commit-id: bfc985b5defbfc33bf0337140c5a5f978ae5f4bb
---
 src/storage/dd/CuddDdManager.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storage/dd/CuddDdManager.cpp b/src/storage/dd/CuddDdManager.cpp
index c75a7c211..6c8c66683 100644
--- 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() {