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/cuddZddCount.c | |
| parent | f936cc0680c98ffe51b3a1716c996072d5dbf76c (diff) | |
| download | abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.gz abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.bz2 abc-0871bffae307e0553e0c5186336189e8b55cf6a6.zip | |
Version abc90215
Diffstat (limited to 'src/bdd/cudd/cuddZddCount.c')
| -rw-r--r-- | src/bdd/cudd/cuddZddCount.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/bdd/cudd/cuddZddCount.c b/src/bdd/cudd/cuddZddCount.c index 6c6ec1df..bc8a1ee4 100644 --- a/src/bdd/cudd/cuddZddCount.c +++ b/src/bdd/cudd/cuddZddCount.c @@ -205,13 +205,13 @@ cuddZddCountStep( res = cuddZddCountStep(cuddE(P), table, base, empty) + cuddZddCountStep(cuddT(P), table, base, empty); - dummy = ALLOC(int, 1); + dummy = ABC_ALLOC(int, 1); if (dummy == NULL) { return(CUDD_OUT_OF_MEM); } *dummy = res; if (st_insert(table, (char *)P, (char *)dummy) == ST_OUT_OF_MEM) { - FREE(dummy); + ABC_FREE(dummy); return(CUDD_OUT_OF_MEM); } @@ -255,13 +255,13 @@ cuddZddCountDoubleStep( res = cuddZddCountDoubleStep(cuddE(P), table, base, empty) + cuddZddCountDoubleStep(cuddT(P), table, base, empty); - dummy = ALLOC(double, 1); + dummy = ABC_ALLOC(double, 1); if (dummy == NULL) { return((double)CUDD_OUT_OF_MEM); } *dummy = res; if (st_insert(table, (char *)P, (char *)dummy) == ST_OUT_OF_MEM) { - FREE(dummy); + ABC_FREE(dummy); return((double)CUDD_OUT_OF_MEM); } @@ -291,7 +291,7 @@ st_zdd_countfree( int *d; d = (int *)value; - FREE(d); + ABC_FREE(d); return(ST_CONTINUE); } /* end of st_zdd_countfree */ @@ -318,7 +318,7 @@ st_zdd_count_dbl_free( double *d; d = (double *)value; - FREE(d); + ABC_FREE(d); return(ST_CONTINUE); } /* end of st_zdd_count_dbl_free */ |