diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 14:17:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 14:17:01 -0800 |
| commit | f80841a5fdfe3cb60c72be11eb89116f27334a9e (patch) | |
| tree | 3950c49fd810ddc48d0d518559b09560e306878b /src/aig/gia | |
| parent | d0713831a09bfd2de11f0762ed2aeb8e6e9c5170 (diff) | |
| download | abc-f80841a5fdfe3cb60c72be11eb89116f27334a9e.tar.gz abc-f80841a5fdfe3cb60c72be11eb89116f27334a9e.tar.bz2 abc-f80841a5fdfe3cb60c72be11eb89116f27334a9e.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 0c33ed1f..b373fd27 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -149,7 +149,7 @@ void Gia_VtaSetDefaultParams( Gia_ParVta_t * p ) p->nFramesStart = 5; // starting frame p->nFramesPast = 4; // overlap frames p->nConfLimit = 0; // conflict limit - p->nLearntMax = 10000; // max number of learned clauses + p->nLearntMax = 0; // max number of learned clauses p->nTimeOut = 0; // timeout in seconds p->nRatioMin = 10; // stop when less than this % of object is abstracted p->fUseTermVars = 1; // use terminal variables @@ -1415,7 +1415,7 @@ int Gia_VtaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) p->pPars->nConfLimit, p->pPars->nTimeOut, pPars->nRatioMin ); printf( "Frame Abs Confl Cex Core F0 F1 F2 F3 ...\n" ); } - for ( f = 0; !p->pPars->nFramesMax || f < p->pPars->nFramesMax; f++ ) + for ( f = i = 0; !p->pPars->nFramesMax || f < p->pPars->nFramesMax; f++ ) { int nConflsBeg = sat_solver2_nconflicts(p->pSat); p->pPars->iFrame = f; @@ -1423,10 +1423,8 @@ int Gia_VtaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) if ( f == p->nWords * 32 ) p->nWords = Vec_IntDoubleWidth( p->vSeens, p->nWords ); // check this timeframe - i = 0; if ( f < p->pPars->nFramesStart ) { -// printf( " Adding %8d ", Vec_IntSize(Vec_PtrEntry(p->vFrames, f)) ); Vga_ManAddClausesOne( p, 0, f ); Vga_ManLoadSlice( p, (Vec_Int_t *)Vec_PtrEntry(p->vFrames, f), 0 ); } |