src/aig/bar/bar.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Defines
#define	BAR_PROGRESS_USE   1
Typedefs
typedef struct Bar_Progress_t_	Bar_Progress_t
Functions
Bar_Progress_t *	Bar_ProgressStart (FILE *pFile, int nItemsTotal)
void	Bar_ProgressStop (Bar_Progress_t *p)
void	Bar_ProgressUpdate_int (Bar_Progress_t *p, int nItemsCur, char *pString)
static void	Bar_ProgressUpdate (Bar_Progress_t *p, int nItemsCur, char *pString)

---

Define Documentation

#define BAR_PROGRESS_USE   1

CFile****************************************************************

FileName [bar.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Progress bar.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

bar.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

] INCLUDES /// PARAMETERS ///

Definition at line 40 of file bar.h.

---

Typedef Documentation

typedef struct Bar_Progress_t_ Bar_Progress_t

BASIC TYPES ///

Definition at line 46 of file bar.h.

---

Function Documentation

Bar_Progress_t* Bar_ProgressStart	(	FILE *	pFile,
		int	nItemsTotal
	)

MACRO DEFINITIONS /// FUNCTION DECLARATIONS ///

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 );
}

static void Bar_ProgressUpdate	(	Bar_Progress_t *	p,
		int	nItemsCur,
		char *	pString
	)			[inline, static]

Definition at line 61 of file bar.h.

                                                                                                 {  
    if ( BAR_PROGRESS_USE && p && (nItemsCur < *((int*)p)) ) return; Bar_ProgressUpdate_int(p, nItemsCur, pString); }

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 );
}