diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-08-08 12:36:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-08-08 12:36:10 -0700 |
| commit | a819e33c6f4a3177fd164228b51b4b2b8448e294 (patch) | |
| tree | 0fcb2043a0cd61c2116ad527b4f543264e699b6d /src/map/if/ifMan.c | |
| parent | 473012aaf02542647444355fab38df1699765de5 (diff) | |
| download | abc-a819e33c6f4a3177fd164228b51b4b2b8448e294.tar.gz abc-a819e33c6f4a3177fd164228b51b4b2b8448e294.tar.bz2 abc-a819e33c6f4a3177fd164228b51b4b2b8448e294.zip | |
Enabled delay computation for the cut output using cut inputs.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 80d1f429..8f5a5c48 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -61,6 +61,7 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) p->vCos = Vec_PtrAlloc( 100 ); p->vObjs = Vec_PtrAlloc( 100 ); p->vTemp = Vec_PtrAlloc( 100 ); + p->vVisited = Vec_PtrAlloc( 100 ); // prepare the memory manager if ( p->pPars->fTruth ) { @@ -264,6 +265,7 @@ void If_ManStop( If_Man_t * p ) Vec_IntFreeP( &p->vCutData ); Vec_IntFreeP( &p->vPairRes ); Vec_StrFreeP( &p->vPairPerms ); + Vec_PtrFreeP( &p->vVisited ); if ( p->vPairHash ) Hash_IntManStop( p->vPairHash ); for ( i = 6; i <= Abc_MaxInt(6,p->pPars->nLutSize); i++ ) |