fixed bug in CUDD implementation of existsAbstractRepresentative

Former-commit-id: 0e0d5ca0f0
8 years ago · 469d856267
1 changed files with 1 additions and 1 deletions
--- a/resources/3rdparty/cudd-3.0.0/cudd/cuddBddAbs.c
+++ b/resources/3rdparty/cudd-3.0.0/cudd/cuddBddAbs.c
@ -614,7 +614,7 @@ cuddBddExistAbstractRepresentativeRecur(
        // FIXME
        if (res1 == one) {
            if (F->ref != 1) {
-                cuddCacheInsert2(manager, Cudd_bddExistAbstractRepresentative, f, cube, one);
+                cuddCacheInsert2(manager, Cudd_bddExistAbstractRepresentative, f, cube, Cudd_Not(cube));
            }
            return(Cudd_Not(cube));
        }