diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 17:39:57 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-24 17:39:57 +0700 |
| commit | 3469b605e13e29d57476b4e7c8d76c38da3c9384 (patch) | |
| tree | ba64c3a19c4e776c90876825f2a09f67eb5b40fe /src/aig/saig/saig.h | |
| parent | c913fd8849a9ce150b21c640bdcda38d29b2d90e (diff) | |
| download | abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.gz abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.tar.bz2 abc-3469b605e13e29d57476b4e7c8d76c38da3c9384.zip | |
Sequential cleanup with symbolic/ternary simulation.
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 fa68bf95..5a515eb0 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -203,7 +203,7 @@ extern Vec_Int_t * Saig_ManExtendCounterExampleTest( Aig_Man_t * p, int iF /*=== saigSimExt.c ==========================================================*/ extern Vec_Int_t * Saig_ManExtendCounterExampleTest2( Aig_Man_t * p, int iFirstPi, Abc_Cex_t * pCex, int fVerbose ); /*=== saigSimMv.c ==========================================================*/ -extern int Saig_MvManSimulate( Aig_Man_t * pAig, int fVerbose ); +extern Vec_Ptr_t * Saig_MvManSimulate( Aig_Man_t * pAig, int nFramesSymb, int nFramesSatur, int fVerbose, int fVeryVerbose ); /*=== saigStrSim.c ==========================================================*/ extern Vec_Int_t * Saig_StrSimPerformMatching( Aig_Man_t * p0, Aig_Man_t * p1, int nDist, int fVerbose, Aig_Man_t ** ppMiter ); /*=== saigSwitch.c ==========================================================*/ |