diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 19:17:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 19:17:59 -0700 |
| commit | 3b1ebbaa281578ee8b0ef0e62b495dbbaf1f18e1 (patch) | |
| tree | 0853de28ff7a5406d3c9be2f1a7181d648a640fb /src/proof/ssc/sscInt.h | |
| parent | 9e1765216ba5f64d89a0dc93e33fb95c84a0c779 (diff) | |
| download | abc-3b1ebbaa281578ee8b0ef0e62b495dbbaf1f18e1.tar.gz abc-3b1ebbaa281578ee8b0ef0e62b495dbbaf1f18e1.tar.bz2 abc-3b1ebbaa281578ee8b0ef0e62b495dbbaf1f18e1.zip | |
SAT sweeping under constraints.
Diffstat (limited to 'src/proof/ssc/sscInt.h')
| -rw-r--r-- | src/proof/ssc/sscInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/ssc/sscInt.h b/src/proof/ssc/sscInt.h index f0a556a6..1226f4ee 100644 --- a/src/proof/ssc/sscInt.h +++ b/src/proof/ssc/sscInt.h @@ -116,6 +116,7 @@ extern void Ssc_GiaRandomPiPattern( Gia_Man_t * p, int nWords, Vec_Int_ extern void Ssc_GiaSavePiPattern( Gia_Man_t * p, Vec_Int_t * vPat ); extern void Ssc_GiaSimRound( Gia_Man_t * p ); extern Vec_Int_t * Ssc_GiaFindPivotSim( Gia_Man_t * p ); +extern int Ssc_GiaEstimateCare( Gia_Man_t * p, int nWords ); /*=== sscUtil.c ===================================================*/ extern Gia_Man_t * Ssc_GenerateOneHot( int nVars ); |