diff options
author | Jiang Long <jiang.long@ymail.com> | 2014-06-04 21:59:03 -0700 |
---|---|---|
committer | Jiang Long <jiang.long@ymail.com> | 2014-06-04 21:59:03 -0700 |
commit | 574af21208f9c33c17a8b2c9c2c32ba1e4d0b772 (patch) | |
tree | e8a6b14423879e55b2f469b2d7e5782828af76bd /src/aig/saig/saig.h | |
parent | b1e35da6ee4298845223e27c23d045d3a0e536d8 (diff) | |
download | abc-574af21208f9c33c17a8b2c9c2c32ba1e4d0b772.tar.gz abc-574af21208f9c33c17a8b2c9c2c32ba1e4d0b772.tar.bz2 abc-574af21208f9c33c17a8b2c9c2c32ba1e4d0b772.zip |
merge unfold2
Diffstat (limited to 'src/aig/saig/saig.h')
-rw-r--r-- | src/aig/saig/saig.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 475f476d..380af64b 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -116,6 +116,11 @@ extern void Saig_ManDetectConstrFuncTest( Aig_Man_t * p, int nFrame /*=== saigConstr2.c ==========================================================*/ 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 ); +// -- jlong -- begin +extern Aig_Man_t * Saig_ManDupFoldConstrsFunc2( Aig_Man_t * pAig, int fCompl, int fVerbose, int typeII_cnt ); +extern Aig_Man_t * Saig_ManDupUnfoldConstrsFunc2( Aig_Man_t * pAig, int nFrames, int nConfs, int nProps, int fOldAlgo, int fVerbose , int * typeII_cnt); +// --jlong -- end + /*=== saigDual.c ==========================================================*/ 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 ); |