diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-20 16:23:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-20 16:23:48 -0700 |
| commit | 3b62ee457544bcc8f6191746bff895f2f98cddf9 (patch) | |
| tree | 6b65c271d83a8e3066a0238b8c1e566adbbd4ae7 /src/aig/gia/giaDup.c | |
| parent | 27c44fd644f7fa46a72e5b8b19465dc61752657d (diff) | |
| download | abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.tar.gz abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.tar.bz2 abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.zip | |
Enabling AIGs without structural hashing.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 66b80ace..3ffb948e 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -2618,7 +2618,7 @@ Gia_Man_t * Gia_ManTransformTwoWord2DualOutput( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ -Gia_Man_t * Gia_ManDupZeroUndc( Gia_Man_t * p, char * pInit, int fVerbose ) +Gia_Man_t * Gia_ManDupZeroUndc( Gia_Man_t * p, char * pInit, int fGiaSimple, int fVerbose ) { Gia_Man_t * pNew; Gia_Obj_t * pObj; @@ -2635,6 +2635,7 @@ Gia_Man_t * Gia_ManDupZeroUndc( Gia_Man_t * p, char * pInit, int fVerbose ) pNew = Gia_ManStart( Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); + pNew->fGiaSimple = fGiaSimple; Gia_ManConst0(p)->Value = 0; // create primary inputs Gia_ManForEachPi( p, pObj, i ) @@ -2707,7 +2708,7 @@ Gia_Man_t * Gia_ManMiter2( Gia_Man_t * pStart, char * pInit, int fVerbose ) for ( i = 0; i < Gia_ManPiNum(pStart); i++ ) assert( pInit[i] == 'x' || pInit[i] == 'X' ); // normalize the manager - pUndc = Gia_ManDupZeroUndc( pStart, pInit + Gia_ManPiNum(pStart), fVerbose ); + pUndc = Gia_ManDupZeroUndc( pStart, pInit + Gia_ManPiNum(pStart), 0, fVerbose ); // create new init string pInitNew = ABC_ALLOC( char, Gia_ManPiNum(pUndc)+1 ); for ( i = 0; i < Gia_ManPiNum(pStart); i++ ) |