diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-06 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-06 08:01:00 -0700 |
| commit | 9be1b076934b0410689c857cd71ef7d21a714b5f (patch) | |
| tree | c342242ad3c5ea9d35e6e682f9026534ec73fcbe /src/aig/fra/fraPart.c | |
| parent | b2470dd3da962026fd874e13c2cf78c10099fe68 (diff) | |
| download | abc-9be1b076934b0410689c857cd71ef7d21a714b5f.tar.gz abc-9be1b076934b0410689c857cd71ef7d21a714b5f.tar.bz2 abc-9be1b076934b0410689c857cd71ef7d21a714b5f.zip | |
Version abc70906
Diffstat (limited to 'src/aig/fra/fraPart.c')
| -rw-r--r-- | src/aig/fra/fraPart.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/fra/fraPart.c b/src/aig/fra/fraPart.c index 23b6dd1d..691b2b3d 100644 --- a/src/aig/fra/fraPart.c +++ b/src/aig/fra/fraPart.c @@ -41,7 +41,7 @@ ***********************************************************************/ void Fra_ManPartitionTest( Aig_Man_t * p, int nComLim ) { - ProgressBar * pProgress; + Bar_Progress_t * pProgress; Vec_Vec_t * vSupps, * vSuppsIn; Vec_Ptr_t * vSuppsNew; Vec_Int_t * vSupNew, * vSup, * vSup2, * vTemp;//, * vSupIn; @@ -86,10 +86,10 @@ clk = clock(); vSuppsNew = Vec_PtrAlloc( Aig_ManPoNum(p) ); vOverNew = Vec_IntAlloc( Aig_ManPoNum(p) ); vQuantNew = Vec_IntAlloc( Aig_ManPoNum(p) ); - pProgress = Extra_ProgressBarStart( stdout, Aig_ManPoNum(p) ); + pProgress = Bar_ProgressStart( stdout, Aig_ManPoNum(p) ); Aig_ManForEachPo( p, pObj, i ) { - Extra_ProgressBarUpdate( pProgress, i, NULL ); + Bar_ProgressUpdate( pProgress, i, NULL ); // get old supports vSup = Vec_VecEntry( vSupps, i ); if ( Vec_IntSize(vSup) < 2 ) @@ -152,7 +152,7 @@ clk = clock(); printf( "\n" ); */ } - Extra_ProgressBarStop( pProgress ); + Bar_ProgressStop( pProgress ); PRT( "Scanning", clock() - clk ); // print cumulative statistics |