From d3c018cd23df0954be488e6a97c4a7ad7577658e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 1 Jul 2012 02:19:19 -0700 Subject: Reducing memory usage in bmc2 and bmc3. --- src/aig/gia/gia.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/gia/gia.h') 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 ); -- cgit v1.2.3