diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-01 02:19:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-01 02:19:19 -0700 |
| commit | d3c018cd23df0954be488e6a97c4a7ad7577658e (patch) | |
| tree | 2f23e04cc69141a82980ffb6ed0e482a8dd6bd98 /src/aig/gia/gia.h | |
| parent | a4908534f1a166fd52ed2763da31856e39945e09 (diff) | |
| download | abc-d3c018cd23df0954be488e6a97c4a7ad7577658e.tar.gz abc-d3c018cd23df0954be488e6a97c4a7ad7577658e.tar.bz2 abc-d3c018cd23df0954be488e6a97c4a7ad7577658e.zip | |
Reducing memory usage in bmc2 and bmc3.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index dc3a3b01..b3584f14 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -739,6 +739,7 @@ extern void Gia_ManUnrollStop( void * pMan ); extern int Gia_ManUnrollLastLit( void * pMan ); extern void Gia_ManFraSetDefaultParams( Gia_ParFra_t * p ); extern Gia_Man_t * Gia_ManFrames( Gia_Man_t * pAig, Gia_ParFra_t * pPars ); +extern Gia_Man_t * Gia_ManFramesInitSpecial( Gia_Man_t * pAig, int nFrames, int fVerbose ); /*=== giaFront.c ==========================================================*/ extern Gia_Man_t * Gia_ManFront( Gia_Man_t * p ); extern void Gia_ManFrontTest( Gia_Man_t * p ); |