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/opt/fxu/fxuMatrix.c | |
parent | f936cc0680c98ffe51b3a1716c996072d5dbf76c (diff) | |
download | abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.gz abc-0871bffae307e0553e0c5186336189e8b55cf6a6.tar.bz2 abc-0871bffae307e0553e0c5186336189e8b55cf6a6.zip |
Version abc90215
Diffstat (limited to 'src/opt/fxu/fxuMatrix.c')
-rw-r--r-- | src/opt/fxu/fxuMatrix.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/opt/fxu/fxuMatrix.c b/src/opt/fxu/fxuMatrix.c index 93ec7b90..590370c9 100644 --- a/src/opt/fxu/fxuMatrix.c +++ b/src/opt/fxu/fxuMatrix.c @@ -42,10 +42,10 @@ extern unsigned int Cudd_Prime( unsigned int p ); Fxu_Matrix * Fxu_MatrixAllocate() { Fxu_Matrix * p; - p = ALLOC( Fxu_Matrix, 1 ); + p = ABC_ALLOC( Fxu_Matrix, 1 ); memset( p, 0, sizeof(Fxu_Matrix) ); p->nTableSize = Cudd_Prime(10000); - p->pTable = ALLOC( Fxu_ListDouble, p->nTableSize ); + p->pTable = ABC_ALLOC( Fxu_ListDouble, p->nTableSize ); memset( p->pTable, 0, sizeof(Fxu_ListDouble) * p->nTableSize ); #ifndef USE_SYSTEM_MEMORY_MANAGEMENT { @@ -134,12 +134,12 @@ void Fxu_MatrixDelete( Fxu_Matrix * p ) #endif Vec_PtrFree( p->vPairs ); - FREE( p->pppPairs ); - FREE( p->ppPairs ); -// FREE( p->pPairsTemp ); - FREE( p->pTable ); - FREE( p->ppVars ); - FREE( p ); + ABC_FREE( p->pppPairs ); + ABC_FREE( p->ppPairs ); +// ABC_FREE( p->pPairsTemp ); + ABC_FREE( p->pTable ); + ABC_FREE( p->ppVars ); + ABC_FREE( p ); } |