diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-14 17:17:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-14 17:17:26 -0800 |
| commit | fef0c368bc64bb9e8109c4d2adcdde9fed0f7399 (patch) | |
| tree | 3c95b96e8504243f02747db766e714c8a602d5ba /src/aig | |
| parent | bab4c1ddfc3e7bb88d649daed8bd412a98850cf9 (diff) | |
| download | abc-fef0c368bc64bb9e8109c4d2adcdde9fed0f7399.tar.gz abc-fef0c368bc64bb9e8109c4d2adcdde9fed0f7399.tar.bz2 abc-fef0c368bc64bb9e8109c4d2adcdde9fed0f7399.zip | |
Improvements to the SAT sweeper.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/gia.h | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaMan.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 722abd72..4203329e 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -235,6 +235,7 @@ struct Gia_Man_t_ Vec_Wrd_t * vSuppWords; // support information Vec_Int_t vCopiesTwo; // intermediate copies Vec_Int_t vSuppVars; // used variables + Vec_Int_t vVarMap; // used variables Gia_Dat_t * pUData; }; diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 4ca9bfa4..51dd4250 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -129,6 +129,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_IntFreeP( &p->vVar2Obj ); Vec_IntErase( &p->vCopiesTwo ); Vec_IntErase( &p->vSuppVars ); + Vec_IntErase( &p->vVarMap ); Vec_WrdFreeP( &p->vSuppWords ); Vec_IntFreeP( &p->vTtNums ); Vec_IntFreeP( &p->vTtNodes ); |