diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 18:23:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 18:23:33 -0700 |
| commit | ce6e6551c376b06e6504dec6cd6045c7454e24e9 (patch) | |
| tree | 45be8d3784e88fd8daad7fb1b1ddea144e246693 /src/aig/gia/gia.h | |
| parent | 9ebcd9eca983890738bc76f84f4e276a9cb693d7 (diff) | |
| download | abc-ce6e6551c376b06e6504dec6cd6045c7454e24e9.tar.gz abc-ce6e6551c376b06e6504dec6cd6045c7454e24e9.tar.bz2 abc-ce6e6551c376b06e6504dec6cd6045c7454e24e9.zip | |
Other improvements to &vta and &gla.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 245d7d5d..40c74d8a 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -212,6 +212,7 @@ struct Gia_ParVta_t_ int nRatioMin; // stop when less than this % of object is abstracted int fUseTermVars; // use terminal variables int fUseRollback; // use rollback to the starting number of frames + int fPropFanout; // propagate fanout implications int fDumpVabs; // dumps the abstracted model char * pFileVabs; // dumps the abstracted model into this file int fVerbose; // verbose flag @@ -698,7 +699,7 @@ extern int Gia_ManCbaPerform( Gia_Man_t * pGia, void * pPars ); extern int Gia_ManGlaCbaPerform( Gia_Man_t * pGia, void * pPars, int fNaiveCnf ); extern int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars, int fNewSolver ); /*=== giaAbsGla.c ===========================================================*/ -extern int Gia_GlaPerform( Gia_Man_t * p, Gia_ParVta_t * pPars ); +extern int Gia_GlaPerform( Gia_Man_t * p, Gia_ParVta_t * pPars, int fStartVta ); /*=== giaAbsVta.c ===========================================================*/ extern void Gia_VtaSetDefaultParams( Gia_ParVta_t * p ); extern Vec_Ptr_t * Gia_VtaAbsToFrames( Vec_Int_t * vAbs ); |