diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 22:46:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 22:46:53 -0800 |
| commit | dfe5f511b21690dd756e743bc502efa7c6799ce3 (patch) | |
| tree | 53fb2e939c36608fc569f70fe140c05db6a9a85c /src/aig/saig/saig.h | |
| parent | f33c3007b2641f6f17c3511cb6f56d68d0b05453 (diff) | |
| download | abc-dfe5f511b21690dd756e743bc502efa7c6799ce3.tar.gz abc-dfe5f511b21690dd756e743bc502efa7c6799ce3.tar.bz2 abc-dfe5f511b21690dd756e743bc502efa7c6799ce3.zip | |
Adding new features to 'dualrail'.
Diffstat (limited to 'src/aig/saig/saig.h')
| -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 836a2051..89622491 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -117,7 +117,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 fMiterFfs, int fComplPo ); +extern Aig_Man_t * Saig_ManDupDual( Aig_Man_t * pAig, Vec_Int_t * vDcFlops, int nDualPis, int fDualFfs, int fMiterFfs, int fComplPo, int fCheckZero, int fCheckOne ); extern void Saig_ManBlockPo( Aig_Man_t * pAig, int nCycles ); /*=== saigDup.c ==========================================================*/ extern Aig_Man_t * Saig_ManDupOrpos( Aig_Man_t * p ); |