diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 23:33:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-04 23:33:58 -0700 |
| commit | fa48d46b82e58cff1b5c965658349be3b6f53d58 (patch) | |
| tree | e11fb6163f91676cdfee3789ddb6cca1c6cb1056 /src/aig/saig/saig.h | |
| parent | 102782a5a1cd9e9a59b87810e04d78b838976ae1 (diff) | |
| parent | f18b0254c82da1ecdccb910f7b38aadfa93e7a05 (diff) | |
| download | abc-fa48d46b82e58cff1b5c965658349be3b6f53d58.tar.gz abc-fa48d46b82e58cff1b5c965658349be3b6f53d58.tar.bz2 abc-fa48d46b82e58cff1b5c965658349be3b6f53d58.zip | |
Merged in lj/abc-lj/unfold2-dev (pull request #6)
pull request for 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 ); |