diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-12 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-12 08:01:00 -0700 |
| commit | c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1 (patch) | |
| tree | c6ea67f6b0a823cc097de6b61c9195ffafdb08b1 /src/aig/cnf/cnfMan.c | |
| parent | 066726076deedaf6d5b38ee4ed27eeb4a2b0061a (diff) | |
| download | abc-c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1.tar.gz abc-c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1.tar.bz2 abc-c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1.zip | |
Version abc70712
Diffstat (limited to 'src/aig/cnf/cnfMan.c')
| -rw-r--r-- | src/aig/cnf/cnfMan.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/cnf/cnfMan.c b/src/aig/cnf/cnfMan.c index d1d1fc21..e978e322 100644 --- a/src/aig/cnf/cnfMan.c +++ b/src/aig/cnf/cnfMan.c @@ -52,12 +52,12 @@ Cnf_Man_t * Cnf_ManStart() // derive internal data structures Cnf_ReadMsops( &p->pSopSizes, &p->pSops ); // allocate memory manager for cuts - p->pMemCuts = Dar_MmFlexStart(); + p->pMemCuts = Aig_MmFlexStart(); p->nMergeLimit = 10; // allocate temporary truth tables - p->pTruths[0] = ALLOC( unsigned, 4 * Dar_TruthWordNum(p->nMergeLimit) ); + p->pTruths[0] = ALLOC( unsigned, 4 * Aig_TruthWordNum(p->nMergeLimit) ); for ( i = 1; i < 4; i++ ) - p->pTruths[i] = p->pTruths[i-1] + Dar_TruthWordNum(p->nMergeLimit); + p->pTruths[i] = p->pTruths[i-1] + Aig_TruthWordNum(p->nMergeLimit); p->vMemory = Vec_IntAlloc( 1 << 18 ); return p; } @@ -77,7 +77,7 @@ void Cnf_ManStop( Cnf_Man_t * p ) { Vec_IntFree( p->vMemory ); free( p->pTruths[0] ); - Dar_MmFlexStop( p->pMemCuts, 0 ); + Aig_MmFlexStop( p->pMemCuts, 0 ); free( p->pSopSizes ); free( p->pSops[1] ); free( p->pSops ); |