diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 12:58:37 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 12:58:37 +0700 |
| commit | 49df91f071d6828113ded55f371e15d192304222 (patch) | |
| tree | 6d089abb35681ede68d8691adc6b39cd4092de05 /src/aig/saig/saig.h | |
| parent | 64f31f98bf5b317dc08f0e96bf1aa617053c918d (diff) | |
| download | abc-49df91f071d6828113ded55f371e15d192304222.tar.gz abc-49df91f071d6828113ded55f371e15d192304222.tar.bz2 abc-49df91f071d6828113ded55f371e15d192304222.zip | |
Several bug fixes.
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 4437413f..f20641a5 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -135,7 +135,7 @@ extern Abc_Cex_t * Saig_ManCbaFindCexCareBits( Aig_Man_t * pAig, Abc_Cex_t extern Vec_Int_t * Saig_ManCbaFilterInputs( Aig_Man_t * pAig, int iFirstFlopPi, Abc_Cex_t * pCex, int fVerbose ); extern Vec_Int_t * Saig_ManCbaPerform( Aig_Man_t * pAig, int nInputs, Saig_ParBmc_t * pPars ); /*=== sswAbsPba.c ==========================================================*/ -extern Vec_Int_t * Saig_ManPbaDerive( Aig_Man_t * pAig, int nFrames, int nConfLimit, int fVerbose ); +extern Vec_Int_t * Saig_ManPbaDerive( Aig_Man_t * pAig, int nInputs, int nFrames, int nConfLimit, int fVerbose ); /*=== sswAbsStart.c ==========================================================*/ extern int Saig_ManCexRefineStep( Aig_Man_t * p, Vec_Int_t * vFlops, Abc_Cex_t * pCex, int fTryFour, int fSensePath, int fVerbose ); extern Vec_Int_t * Saig_ManCexAbstractionFlops( Aig_Man_t * p, Gia_ParAbs_t * pPars ); |