diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-30 02:04:54 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-30 02:04:54 +0700 |
| commit | e4f15dd003abc8085c563c777f737d8219e26606 (patch) | |
| tree | 93d52691cff9383577e6194b313529a35947de8b /src/aig/ssw/sswInt.h | |
| parent | badf8e474215d145d43c08acba63e33b35b74f5f (diff) | |
| download | abc-e4f15dd003abc8085c563c777f737d8219e26606.tar.gz abc-e4f15dd003abc8085c563c777f737d8219e26606.tar.bz2 abc-e4f15dd003abc8085c563c777f737d8219e26606.zip | |
Changes to enable smarter simulation.
Diffstat (limited to 'src/aig/ssw/sswInt.h')
| -rw-r--r-- | src/aig/ssw/sswInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/ssw/sswInt.h b/src/aig/ssw/sswInt.h index 93e828a1..15756782 100644 --- a/src/aig/ssw/sswInt.h +++ b/src/aig/ssw/sswInt.h @@ -230,6 +230,7 @@ extern int Ssw_ClassesRefineGroup( Ssw_Cla_t * p, Vec_Ptr_t * vReprs, extern int Ssw_ClassesRefineOneClass( Ssw_Cla_t * p, Aig_Obj_t * pRepr, int fRecursive ); extern int Ssw_ClassesRefineConst1Group( Ssw_Cla_t * p, Vec_Ptr_t * vRoots, int fRecursive ); extern int Ssw_ClassesRefineConst1( Ssw_Cla_t * p, int fRecursive ); +extern int Ssw_ClassesPrepareRehash( Ssw_Cla_t * p, Vec_Ptr_t * vCands, int fConstCorr ); /*=== sswCnf.c ===================================================*/ extern Ssw_Sat_t * Ssw_SatStart( int fPolarFlip ); extern void Ssw_SatStop( Ssw_Sat_t * p ); |