diff options
| author | Jiang Long <jiang.long@ymail.com> | 2014-06-04 21:59:03 -0700 |
|---|---|---|
| committer | Jiang Long <jiang.long@ymail.com> | 2014-06-04 21:59:03 -0700 |
| commit | 574af21208f9c33c17a8b2c9c2c32ba1e4d0b772 (patch) | |
| tree | e8a6b14423879e55b2f469b2d7e5782828af76bd /src/aig/aig | |
| parent | b1e35da6ee4298845223e27c23d045d3a0e536d8 (diff) | |
| download | abc-574af21208f9c33c17a8b2c9c2c32ba1e4d0b772.tar.gz abc-574af21208f9c33c17a8b2c9c2c32ba1e4d0b772.tar.bz2 abc-574af21208f9c33c17a8b2c9c2c32ba1e4d0b772.zip | |
merge unfold2
Diffstat (limited to 'src/aig/aig')
| -rw-r--r-- | src/aig/aig/aig.h | 4 | ||||
| -rw-r--r-- | src/aig/aig/aigMan.c | 8 |
2 files changed, 12 insertions, 0 deletions
diff --git a/src/aig/aig/aig.h b/src/aig/aig/aig.h index db7d380d..e92e512c 100644 --- a/src/aig/aig/aig.h +++ b/src/aig/aig/aig.h @@ -165,6 +165,10 @@ struct Aig_Man_t_ // timing statistics abctime time1; abctime time2; + //-- jlong -- begin + Vec_Ptr_t * unfold2_type_I; + Vec_Ptr_t * unfold2_type_II; + //-- jlong -- end }; // cut computation diff --git a/src/aig/aig/aigMan.c b/src/aig/aig/aigMan.c index 230a2b18..246e0501 100644 --- a/src/aig/aig/aigMan.c +++ b/src/aig/aig/aigMan.c @@ -60,6 +60,10 @@ Aig_Man_t * Aig_ManStart( int nNodesMax ) p->vCos = Vec_PtrAlloc( 100 ); p->vObjs = Vec_PtrAlloc( 1000 ); p->vBufs = Vec_PtrAlloc( 100 ); + //--jlong -- begin + p->unfold2_type_I = Vec_PtrAlloc( 4); + p->unfold2_type_II = Vec_PtrAlloc( 4); + //--jlong -- end // prepare the internal memory manager p->pMemObjs = Aig_MmFixedStart( sizeof(Aig_Obj_t), nNodesMax ); // create the constant node @@ -200,6 +204,10 @@ void Aig_ManStop( Aig_Man_t * p ) Vec_PtrFreeP( &p->vCos ); Vec_PtrFreeP( &p->vObjs ); Vec_PtrFreeP( &p->vBufs ); + //--jlong -- begin + Vec_PtrFreeP( &p->unfold2_type_I ); + Vec_PtrFreeP( &p->unfold2_type_II ); + //--jlong -- end Vec_IntFreeP( &p->vLevelR ); Vec_VecFreeP( &p->vLevels ); Vec_IntFreeP( &p->vFlopNums ); |