diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-04 22:08:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-04 22:08:53 -0700 |
| commit | 7ad8f9548c359f92cd40afcf715a948acc6b6326 (patch) | |
| tree | e52ddd2e58e97414281662bb21170fedfa95fd7f /src/aig/gia/gia.h | |
| parent | 547de09670ca4728abf52491455ad26c0823347a (diff) | |
| download | abc-7ad8f9548c359f92cd40afcf715a948acc6b6326.tar.gz abc-7ad8f9548c359f92cd40afcf715a948acc6b6326.tar.bz2 abc-7ad8f9548c359f92cd40afcf715a948acc6b6326.zip | |
Experiments with word-level data structures.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index d871905c..488f12cf 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1312,6 +1312,8 @@ 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_ManDupNoBuf( Gia_Man_t * p ); +extern Gia_Man_t * Gia_ManDupMap( Gia_Man_t * p, Vec_Int_t * vMap ); extern Gia_Man_t * Gia_ManDup2( Gia_Man_t * p1, Gia_Man_t * p2 ); extern Gia_Man_t * Gia_ManDupWithAttributes( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManDupRemovePis( Gia_Man_t * p, int nRemPis ); |