diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-28 20:10:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-28 20:10:34 -0800 |
| commit | 99b408fcb1997295c0a4b1d7052b8d650d705468 (patch) | |
| tree | 0e09703311fb98feea506a9dd6d4b580daf5ed45 /src/aig/saig | |
| parent | 5aeab257ed835f328115d6d2f3763b07d0144c5c (diff) | |
| download | abc-99b408fcb1997295c0a4b1d7052b8d650d705468.tar.gz abc-99b408fcb1997295c0a4b1d7052b8d650d705468.tar.bz2 abc-99b408fcb1997295c0a4b1d7052b8d650d705468.zip | |
Generation of dual-rail miter.
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saig.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 10a763ba..a20096ec 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -164,7 +164,7 @@ extern void Saig_ManDetectConstrFuncTest( Aig_Man_t * p, int nFrame extern Aig_Man_t * Saig_ManDupFoldConstrsFunc( Aig_Man_t * pAig, int fCompl, int fVerbose ); extern Aig_Man_t * Saig_ManDupUnfoldConstrsFunc( Aig_Man_t * pAig, int nFrames, int nConfs, int nProps, int fOldAlgo, int fVerbose ); /*=== saigDual.c ==========================================================*/ -extern Aig_Man_t * Saig_ManDupDual( Aig_Man_t * pAig, int nDualPis, int fDualFfs, int fComplPo ); +extern Aig_Man_t * Saig_ManDupDual( Aig_Man_t * pAig, int nDualPis, int fDualFfs, int fMiterFfs, int fComplPo ); extern void Saig_ManBlockPo( Aig_Man_t * pAig, int nCycles ); /*=== saigDup.c ==========================================================*/ extern Aig_Man_t * Saig_ManDupOrpos( Aig_Man_t * p ); |