diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-24 19:29:42 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-24 19:29:42 -0800 |
| commit | 6ed334d41baf90f73b2c3278853ce4b08c8fb08e (patch) | |
| tree | 226fd3e24899e26305c1aa37656b4b2c262eddc8 /src/aig/gia/giaTim.c | |
| parent | 8feac565092020a23a5789a530d94a2168e6ddcd (diff) | |
| download | abc-6ed334d41baf90f73b2c3278853ce4b08c8fb08e.tar.gz abc-6ed334d41baf90f73b2c3278853ce4b08c8fb08e.tar.bz2 abc-6ed334d41baf90f73b2c3278853ce4b08c8fb08e.zip | |
Improvements to handling boxes and flops.
Diffstat (limited to 'src/aig/gia/giaTim.c')
| -rw-r--r-- | src/aig/gia/giaTim.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c index 6e3c5d64..e1054fa9 100644 --- a/src/aig/gia/giaTim.c +++ b/src/aig/gia/giaTim.c @@ -623,12 +623,12 @@ void * Gia_ManUpdateTimMan( Gia_Man_t * p, Vec_Int_t * vBoxPres ) assert( Vec_IntSize(vBoxPres) == Tim_ManBoxNum(pManTime) ); return Tim_ManTrim( pManTime, vBoxPres ); } -void * Gia_ManUpdateTimMan2( Gia_Man_t * p, Vec_Int_t * vBoxesLeft ) +void * Gia_ManUpdateTimMan2( Gia_Man_t * p, Vec_Int_t * vBoxesLeft, int nTermsDiff ) { Tim_Man_t * pManTime = (Tim_Man_t *)p->pManTime; assert( pManTime != NULL ); assert( Vec_IntSize(vBoxesLeft) <= Tim_ManBoxNum(pManTime) ); - return Tim_ManReduce( pManTime, vBoxesLeft ); + return Tim_ManReduce( pManTime, vBoxesLeft, nTermsDiff ); } /**Function************************************************************* |