diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-15 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-02-15 08:01:00 -0800 |
| commit | 0871bffae307e0553e0c5186336189e8b55cf6a6 (patch) | |
| tree | 4571d1563fe33a53a57fea1c35fb668b9d33265f /src/bdd/cudd/cuddCache.c | |
| parent | f936cc0680c98ffe51b3a1716c996072d5dbf76c (diff) | |
| download | abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.gz abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.bz2 abc-0871bffae307e0553e0c5186336189e8b55cf6a6.zip | |
Version abc90215
Diffstat (limited to 'src/bdd/cudd/cuddCache.c')
| -rw-r--r-- | src/bdd/cudd/cuddCache.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/bdd/cudd/cuddCache.c b/src/bdd/cudd/cuddCache.c index d9e40921..e4aa0299 100644 --- a/src/bdd/cudd/cuddCache.c +++ b/src/bdd/cudd/cuddCache.c @@ -118,7 +118,7 @@ cuddInitCache( ** initial cache size. */ logSize = cuddComputeFloorLog2(ddMax(cacheSize,unique->slots/2)); cacheSize = 1 << logSize; - unique->acache = ALLOC(DdCache,cacheSize+1); + unique->acache = ABC_ALLOC(DdCache,cacheSize+1); if (unique->acache == NULL) { unique->errorCode = CUDD_MEMORY_OUT; return(0); @@ -741,14 +741,14 @@ cuddCacheProfile( imax = imin = 0; totalcount = 0.0; - hystogramQ = ALLOC(double, nbins); + hystogramQ = ABC_ALLOC(double, nbins); if (hystogramQ == NULL) { table->errorCode = CUDD_MEMORY_OUT; return(0); } - hystogramR = ALLOC(double, nbins); + hystogramR = ABC_ALLOC(double, nbins); if (hystogramR == NULL) { - FREE(hystogramQ); + ABC_FREE(hystogramQ); table->errorCode = CUDD_MEMORY_OUT; return(0); } @@ -825,8 +825,8 @@ cuddCacheProfile( if (retval == EOF) return(0); } - FREE(hystogramQ); - FREE(hystogramR); + ABC_FREE(hystogramQ); + ABC_FREE(hystogramR); #else for (i = 0; i < slots; i++) { nzeroes += cache[i].h == 0; @@ -888,7 +888,7 @@ cuddCacheResize( saveHandler = MMoutOfMemory; MMoutOfMemory = Cudd_OutOfMem; - table->acache = cache = ALLOC(DdCache,slots+1); + table->acache = cache = ABC_ALLOC(DdCache,slots+1); MMoutOfMemory = saveHandler; /* If we fail to allocate the new table we just give up. */ if (cache == NULL) { @@ -944,7 +944,7 @@ cuddCacheResize( } } - FREE(oldacache); + ABC_FREE(oldacache); /* Reinitialize measurements so as to avoid division by 0 and ** immediate resizing. |