abc/src/base/abci/abcExact.c
/***********************************************************************

  Synopsis    [Some printing utilities.]

***********************************************************************/
Synopsis    [Some printing utilities.]
Synopsis [ Some printing utilities . ]
static inline void Abc_DebugPrint( const char* str, int fCond )
{
    if ( fCond )
    {
        printf( "%s", str );
        fflush( stdout );
    }
}
static inline void Abc_DebugPrint ( const char * str , int fCond ) { if ( fCond ) { printf ( " " , str ) ; fflush ( stdout ) ; } }
Synopsis    [Some printing utilities.]
Synopsis [ Some printing utilities . ]