src/aig/bar/bar.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "bar.h"

Include dependency graph for bar.c:

Go to the source code of this file.

Data Structures
struct	Bar_Progress_t_
Functions
static void	Bar_ProgressShow (Bar_Progress_t *p, char *pString)
static void	Bar_ProgressClean (Bar_Progress_t *p)
Bar_Progress_t *	Bar_ProgressStart (FILE *pFile, int nItemsTotal)
void	Bar_ProgressUpdate_int (Bar_Progress_t *p, int nItemsCur, char *pString)
void	Bar_ProgressStop (Bar_Progress_t *p)

---

Function Documentation

void Bar_ProgressClean

(

Bar_Progress_t *

p

)

[static]

Function*************************************************************

Synopsis [Cleans the progress bar before quitting.]

Description []

SideEffects []

SeeAlso []

Definition at line 163 of file bar.c.

{
    int i;
    if ( p == NULL ) return;
    for ( i = 0; i <= p->posTotal; i++ )
        fprintf( p->pFile, " " );
    fprintf( p->pFile, "\r" );
    fflush( stdout );
}

void Bar_ProgressShow	(	Bar_Progress_t *	p,
		char *	pString
	)			[static]

Function*************************************************************

Synopsis [Prints the progress bar of the given size.]

Description []

SideEffects []

SeeAlso []

Definition at line 136 of file bar.c.

{
    int i;
    if ( p == NULL ) return;
    if ( pString )
        fprintf( p->pFile, "%s ", pString );
    for ( i = (pString? strlen(pString) + 1 : 0); i < p->posCur; i++ )
        fprintf( p->pFile, "-" );
    if ( i == p->posCur )
        fprintf( p->pFile, ">" );
    for ( i++  ; i <= p->posTotal; i++ )
        fprintf( p->pFile, " " );
    fprintf( p->pFile, "\r" );
    fflush( stdout );
}

Bar_Progress_t* Bar_ProgressStart	(	FILE *	pFile,
		int	nItemsTotal
	)

FUNCTION DEFINITIONS ///Function*************************************************************

Synopsis [Starts the progress bar.]

Description [The first parameter is the output stream (pFile), where the progress is printed. The current printing position should be the first one on the given line. The second parameters is the total number of items that correspond to 100% position of the progress bar.]

SideEffects []

SeeAlso []

Definition at line 60 of file bar.c.

{
    Bar_Progress_t * p;
//    extern int Abc_FrameShowProgress( void * p );
//    extern void * Abc_FrameGetGlobalFrame();
//    if ( !Abc_FrameShowProgress(Abc_FrameGetGlobalFrame()) ) return NULL;
    p = (Bar_Progress_t *) malloc(sizeof(Bar_Progress_t));
    memset( p, 0, sizeof(Bar_Progress_t) );
    p->pFile       = pFile;
    p->nItemsTotal = nItemsTotal;
    p->posTotal    = 78;
    p->posCur      = 1;
    p->nItemsNext  = (int)((7.0+p->posCur)*p->nItemsTotal/p->posTotal);
    Bar_ProgressShow( p, NULL );
    return p;
}

void Bar_ProgressStop

(

Bar_Progress_t *

p

)

Function*************************************************************

Synopsis [Stops the progress bar.]

Description []

SideEffects []

SeeAlso []

Definition at line 118 of file bar.c.

{
    if ( p == NULL ) return;
    Bar_ProgressClean( p );
    free( p );
}

void Bar_ProgressUpdate_int	(	Bar_Progress_t *	p,
		int	nItemsCur,
		char *	pString
	)

Function*************************************************************

Synopsis [Updates the progress bar.]

Description []

SideEffects []

SeeAlso []

Definition at line 88 of file bar.c.

{
    if ( p == NULL ) return;
    if ( nItemsCur < p->nItemsNext )
        return;
    if ( nItemsCur >= p->nItemsTotal )
    {
        p->posCur = 78;
        p->nItemsNext = 0x7FFFFFFF;
    }
    else
    {
        p->posCur += 7;
        p->nItemsNext = (int)((7.0+p->posCur)*p->nItemsTotal/p->posTotal);
    }
    Bar_ProgressShow( p, pString );
}