diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 11:19:23 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 11:19:23 -0400 |
| commit | e4ab09d7711e2126d8df05002d81b3cc8a849f35 (patch) | |
| tree | fd7d92d775c1f92f7abd92d5c609d7bf81b9df97 /src/aig/gia | |
| parent | ec298486b6eb3d14398c5eb1edadc1d5ed564bf2 (diff) | |
| download | abc-e4ab09d7711e2126d8df05002d81b3cc8a849f35.tar.gz abc-e4ab09d7711e2126d8df05002d81b3cc8a849f35.tar.bz2 abc-e4ab09d7711e2126d8df05002d81b3cc8a849f35.zip | |
Sweeper return value normalization.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/gia.h | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaDup.c | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 36c53c71..9e82939d 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -984,6 +984,7 @@ extern Gia_Man_t * Gia_ManDupLastPis( Gia_Man_t * p, int nLastPis ); extern Gia_Man_t * Gia_ManDupFlip( Gia_Man_t * p, int * pInitState ); extern Gia_Man_t * Gia_ManDupCycled( Gia_Man_t * pAig, Abc_Cex_t * pCex, int nFrames ); extern Gia_Man_t * Gia_ManDup( Gia_Man_t * p ); +extern Gia_Man_t * Gia_ManDupZero( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManDupPerm( Gia_Man_t * p, Vec_Int_t * vPiPerm ); extern Gia_Man_t * Gia_ManDupPermFlop( Gia_Man_t * p, Vec_Int_t * vFfPerm ); extern Gia_Man_t * Gia_ManDupPermFlopGap( Gia_Man_t * p, Vec_Int_t * vFfPerm ); diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 3cef3f5b..30f9140d 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -558,6 +558,30 @@ Gia_Man_t * Gia_ManDup( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ +Gia_Man_t * Gia_ManDupZero( Gia_Man_t * p ) +{ + Gia_Man_t * pNew; int i; + pNew = Gia_ManStart( 1 + Gia_ManCiNum(p) + Gia_ManCoNum(p) ); + pNew->pName = Abc_UtilStrsav( p->pName ); + for ( i = 0; i < Gia_ManCiNum(p); i++ ) + Gia_ManAppendCi( pNew ); + for ( i = 0; i < Gia_ManCoNum(p); i++ ) + Gia_ManAppendCo( pNew, 0 ); + Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); + return pNew; +} + +/**Function************************************************************* + + Synopsis [Duplicates AIG without any changes.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ Gia_Man_t * Gia_ManDupPerm( Gia_Man_t * p, Vec_Int_t * vPiPerm ) { // Vec_Int_t * vPiPermInv; |