diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-28 20:21:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-28 20:21:01 -0700 |
| commit | eec022ea644ce0430d3f7c5259c72f850338f987 (patch) | |
| tree | 786ca5bbcaa21c5dcaf5e7299c9611f6bf6d0da1 /src/aig/gia/gia.h | |
| parent | 42f8082c59db41307120a6d5dbfdef4c2350a722 (diff) | |
| download | abc-eec022ea644ce0430d3f7c5259c72f850338f987.tar.gz abc-eec022ea644ce0430d3f7c5259c72f850338f987.tar.bz2 abc-eec022ea644ce0430d3f7c5259c72f850338f987.zip | |
Adding procedures to specify permutations with unused flops.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index f356b1da..7653dc62 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -902,6 +902,7 @@ extern Gia_Man_t * Gia_ManDupCycled( Gia_Man_t * pAig, Abc_Cex_t * pCex, extern Gia_Man_t * Gia_ManDup( 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 ); extern void Gia_ManDupAppend( Gia_Man_t * p, Gia_Man_t * pTwo ); extern void Gia_ManDupAppendShare( Gia_Man_t * p, Gia_Man_t * pTwo ); extern Gia_Man_t * Gia_ManDupAppendNew( Gia_Man_t * pOne, Gia_Man_t * pTwo ); |