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/cuddInit.c | |
| parent | f936cc0680c98ffe51b3a1716c996072d5dbf76c (diff) | |
| download | abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.gz abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.bz2 abc-0871bffae307e0553e0c5186336189e8b55cf6a6.zip | |
Version abc90215
Diffstat (limited to 'src/bdd/cudd/cuddInit.c')
| -rw-r--r-- | src/bdd/cudd/cuddInit.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/bdd/cudd/cuddInit.c b/src/bdd/cudd/cuddInit.c index 8e06a425..20a88b11 100644 --- a/src/bdd/cudd/cuddInit.c +++ b/src/bdd/cudd/cuddInit.c @@ -123,7 +123,7 @@ Cudd_Init( saveHandler = MMoutOfMemory; MMoutOfMemory = Cudd_OutOfMem; - unique->stash = ALLOC(char,(maxMemory / DD_STASH_FRACTION) + 4); + unique->stash = ABC_ALLOC(char,(maxMemory / DD_STASH_FRACTION) + 4); MMoutOfMemory = saveHandler; if (unique->stash == NULL) { (void) fprintf(unique->err,"Unable to set aside memory\n"); @@ -155,7 +155,7 @@ Cudd_Init( one = unique->one; zero = Cudd_Not(one); /* Create the projection functions. */ - unique->vars = ALLOC(DdNodePtr,unique->maxSize); + unique->vars = ABC_ALLOC(DdNodePtr,unique->maxSize); if (unique->vars == NULL) { unique->errorCode = CUDD_MEMORY_OUT; return(NULL); @@ -193,7 +193,7 @@ void Cudd_Quit( DdManager * unique) { - if (unique->stash != NULL) FREE(unique->stash); + if (unique->stash != NULL) ABC_FREE(unique->stash); cuddFreeTable(unique); } /* end of Cudd_Quit */ @@ -223,7 +223,7 @@ cuddZddInitUniv( DdNode *p, *res; int i; - zdd->univ = ALLOC(DdNodePtr, zdd->sizeZ); + zdd->univ = ABC_ALLOC(DdNodePtr, zdd->sizeZ); if (zdd->univ == NULL) { zdd->errorCode = CUDD_MEMORY_OUT; return(0); @@ -237,7 +237,7 @@ cuddZddInitUniv( res = cuddUniqueInterZdd(zdd, index, p, p); if (res == NULL) { Cudd_RecursiveDerefZdd(zdd,p); - FREE(zdd->univ); + ABC_FREE(zdd->univ); return(0); } cuddRef(res); @@ -271,7 +271,7 @@ cuddZddFreeUniv( { if (zdd->univ) { Cudd_RecursiveDerefZdd(zdd, zdd->univ[0]); - FREE(zdd->univ); + ABC_FREE(zdd->univ); } } /* end of cuddZddFreeUniv */ |