diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-26 21:28:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-26 21:28:26 -0700 |
| commit | 66d9a80b3db7f9194ee084f210e0ae5f3a9516d7 (patch) | |
| tree | 0ea9dc09d00ac612f7b356e22a18e0036ef97953 /src/aig/gia/giaDup.c | |
| parent | 70a3474849b049c149ac1b5c4ec34dee731859d5 (diff) | |
| download | abc-66d9a80b3db7f9194ee084f210e0ae5f3a9516d7.tar.gz abc-66d9a80b3db7f9194ee084f210e0ae5f3a9516d7.tar.bz2 abc-66d9a80b3db7f9194ee084f210e0ae5f3a9516d7.zip | |
Adding commands to save/load best network.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index b54bdee0..37deb7fd 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -546,6 +546,19 @@ Gia_Man_t * Gia_ManDup( Gia_Man_t * p ) pNew->pCexSeq = Abc_CexDup( p->pCexSeq, Gia_ManRegNum(p) ); return pNew; } +Gia_Man_t * Gia_ManDupWithAttributes( Gia_Man_t * p ) +{ + Gia_Man_t * pNew = Gia_ManDup(p); + Gia_ManTransferMapping( pNew, p ); + Gia_ManTransferPacking( pNew, p ); + if ( p->pManTime ) + pNew->pManTime = Tim_ManDup( (Tim_Man_t *)p->pManTime, 0 ); + if ( p->pAigExtra ) + pNew->pAigExtra = Gia_ManDup( p->pAigExtra ); + if ( p->nAnd2Delay ) + pNew->nAnd2Delay = p->nAnd2Delay; + return pNew; +} /**Function************************************************************* |