diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-28 12:09:38 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-28 12:09:38 +0700 |
| commit | 490e84c4bcbd726ac40700e6bfa93042d1f79c7d (patch) | |
| tree | 08df31195e050f052aa05358d0a2af20fe6abb23 /src/map/if/ifMan.c | |
| parent | 334911a116309accef78bf28f267f883d2f228f4 (diff) | |
| download | abc-490e84c4bcbd726ac40700e6bfa93042d1f79c7d.tar.gz abc-490e84c4bcbd726ac40700e6bfa93042d1f79c7d.tar.bz2 abc-490e84c4bcbd726ac40700e6bfa93042d1f79c7d.zip | |
Adding on-the-fly truth-table minimization.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 5bc648f2..9b834906 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -78,6 +78,8 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) p->puTemp[1] = p->puTemp[0] + p->nTruthWords; p->puTemp[2] = p->puTemp[1] + p->nTruthWords; p->puTemp[3] = p->puTemp[2] + p->nTruthWords; + p->pCutTemp = (If_Cut_t *)ABC_ALLOC( char, p->nCutBytes ); + // create the constant node p->pConst1 = If_ManSetupObj( p ); p->pConst1->Type = IF_CONST1; @@ -160,6 +162,7 @@ void If_ManStop( If_Man_t * p ) ABC_FREE( p->pMemCi ); ABC_FREE( p->pMemAnd ); ABC_FREE( p->puTemp[0] ); + ABC_FREE( p->pCutTemp ); // free pars memory if ( p->pPars->pTimesArr ) ABC_FREE( p->pPars->pTimesArr ); |