diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-26 12:24:07 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-26 12:24:07 -0500 |
| commit | b1c0b338a0443228292803d769613acd5770af46 (patch) | |
| tree | 7895e195af3437495183885a5adf3ae98ab4a04b /src/aig | |
| parent | c4b64ed8cce4bfc5fe0af2ecb86a15bdb3491bcb (diff) | |
| download | abc-b1c0b338a0443228292803d769613acd5770af46.tar.gz abc-b1c0b338a0443228292803d769613acd5770af46.tar.bz2 abc-b1c0b338a0443228292803d769613acd5770af46.zip | |
User-controlable SAT sweeper.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaSweeper.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c index 0ff3528c..eccba34e 100644 --- a/src/aig/gia/giaSweeper.c +++ b/src/aig/gia/giaSweeper.c @@ -118,6 +118,7 @@ static inline Swp_Man_t * Swp_ManStart( Gia_Man_t * pGia ) p->vLit2Prob = Vec_IntStartFull( 10000 ); p->vCondProbes = Vec_IntAlloc( 100 ); p->vCondLits = Vec_IntAlloc( 100 ); + p->vId2Lit = Vec_IntAlloc( 10000 ); p->vFront = Vec_IntAlloc( 100 ); p->vFanins = Vec_IntAlloc( 100 ); p->vCexSwp = Vec_IntAlloc( 100 ); @@ -131,8 +132,10 @@ static inline Swp_Man_t * Swp_ManStart( Gia_Man_t * pGia ) static inline void Swp_ManStop( Gia_Man_t * pGia ) { Swp_Man_t * p = (Swp_Man_t *)pGia->pData; + sat_solver_delete( p->pSat ); Vec_IntFree( p->vFanins ); Vec_IntFree( p->vCexSwp ); + Vec_IntFree( p->vId2Lit ); Vec_IntFree( p->vFront ); Vec_IntFree( p->vProbes ); Vec_IntFree( p->vProbRefs ); |