abc_global.h File Reference

#include <time.h>
#include <stdarg.h>
#include <stdlib.h>

Go to the source code of this file.

Macros
#define	ABC_DLLIMPORT
	INCLUDES ///. More...
#define	ABC_DLL   ABC_DLLIMPORT
#define	___unused
#define	ABC_NAMESPACE_HEADER_START
	NAMESPACES ///. More...
#define	ABC_NAMESPACE_HEADER_END
#define	ABC_NAMESPACE_IMPL_START
#define	ABC_NAMESPACE_IMPL_END
#define	ABC_NAMESPACE_PREFIX
#define	ABC_CONST(number)   number
	PARAMETERS ///. More...
#define	ABC_INFINITY   (100000000)
	MACRO DEFINITIONS ///. More...
#define	ABC_SWAP(Type, a, b)   { Type t = a; a = b; b = t; }
#define	ABC_PRT(a, t)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec\n", 1.0*(t)/(CLOCKS_PER_SEC)))
#define	ABC_PRTr(a, t)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec\r", 1.0*(t)/(CLOCKS_PER_SEC)))
#define	ABC_PRTn(a, t)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec ", 1.0*(t)/(CLOCKS_PER_SEC)))
#define	ABC_PRTP(a, t, T)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec (%6.2f %%)\n", 1.0*(t)/(CLOCKS_PER_SEC), (T)? 100.0*(t)/(T) : 0.0))
#define	ABC_PRM(a, f)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB\n", 1.0*(f)/(1<<20)))
#define	ABC_PRMr(a, f)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB\r", 1.0*(f)/(1<<20)))
#define	ABC_PRMn(a, f)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB ", 1.0*(f)/(1<<20)))
#define	ABC_PRMP(a, f, F)   (Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB (%6.2f %%)\n", (1.0*(f)/(1<<20)), ((F)? 100.0*(f)/(F) : 0.0) ) )
#define	ABC_ALLOC(type, num)   ((type *) malloc(sizeof(type) * (num)))
#define	ABC_CALLOC(type, num)   ((type *) calloc((num), sizeof(type)))
#define	ABC_FALLOC(type, num)   ((type *) memset(malloc(sizeof(type) * (num)), 0xff, sizeof(type) * (num)))
#define	ABC_FREE(obj)   ((obj) ? (free((char *) (obj)), (obj) = 0) : 0)
#define	ABC_REALLOC(type, obj, num)
#define	BRIDGE_NETLIST   106
#define	BRIDGE_ABS_NETLIST   107

Typedefs
typedef ABC_UINT64_T	word
typedef ABC_INT64_T	iword
typedef ABC_INT64_T	abctime

Enumerations
enum	Abc_VerbLevel {   ABC_PROMPT = -2, ABC_ERROR = -1, ABC_WARNING = 0, ABC_STANDARD = 1,   ABC_VERBOSE = 2 }

Functions
static int	Abc_AbsInt (int a)
static int	Abc_MaxInt (int a, int b)
static int	Abc_MinInt (int a, int b)
static word	Abc_MaxWord (word a, word b)
static word	Abc_MinWord (word a, word b)
static float	Abc_AbsFloat (float a)
static float	Abc_MaxFloat (float a, float b)
static float	Abc_MinFloat (float a, float b)
static double	Abc_AbsDouble (double a)
static double	Abc_MaxDouble (double a, double b)
static double	Abc_MinDouble (double a, double b)
static int	Abc_Float2Int (float Val)
static float	Abc_Int2Float (int Num)
static int	Abc_Base2Log (unsigned n)
static int	Abc_Base10Log (unsigned n)
static int	Abc_Base16Log (unsigned n)
static char *	Abc_UtilStrsav (char *s)
static int	Abc_BitWordNum (int nBits)
static int	Abc_TruthWordNum (int nVars)
static int	Abc_Truth6WordNum (int nVars)
static int	Abc_InfoHasBit (unsigned *p, int i)
static void	Abc_InfoSetBit (unsigned *p, int i)
static void	Abc_InfoXorBit (unsigned *p, int i)
static unsigned	Abc_InfoMask (int nVar)
static int	Abc_Var2Lit (int Var, int fCompl)
static int	Abc_Lit2Var (int Lit)
static int	Abc_LitIsCompl (int Lit)
static int	Abc_LitNot (int Lit)
static int	Abc_LitNotCond (int Lit, int c)
static int	Abc_LitRegular (int Lit)
static int	Abc_Lit2LitV (int *pMap, int Lit)
static int	Abc_Lit2LitL (int *pMap, int Lit)
static int	Abc_Ptr2Int (void *p)
static void *	Abc_Int2Ptr (int i)
static word	Abc_Ptr2Wrd (void *p)
static void *	Abc_Wrd2Ptr (word i)
static abctime	Abc_Clock ()
int	Gia_ManToBridgeText (FILE *pFile, int Size, unsigned char *pBuffer)
int	Gia_ManToBridgeAbsNetlist (FILE *pFile, void *p, int pkg_type)
char *	vnsprintf (const char *format, va_list args)
char *	nsprintf (const char *format,...)
static void	Abc_Print (int level, const char *format,...)
static void	Abc_PrintInt (int i)
static void	Abc_PrintTime (int level, const char *pStr, abctime time)
static void	Abc_PrintTimeP (int level, const char *pStr, abctime time, abctime Time)
static void	Abc_PrintMemoryP (int level, const char *pStr, int mem, int Mem)
static int	Abc_PrimeCudd (unsigned int p)
void	Abc_MergeSort (int *pInput, int nSize)
int *	Abc_MergeSortCost (int *pCosts, int nSize)
void	Abc_QuickSort1 (word *pData, int nSize, int fDecrease)
void	Abc_QuickSort2 (word *pData, int nSize, int fDecrease)
void	Abc_QuickSort3 (word *pData, int nSize, int fDecrease)
void	Abc_QuickSortCostData (int *pCosts, int nSize, int fDecrease, word *pData, int *pResult)
int *	Abc_QuickSortCost (int *pCosts, int nSize, int fDecrease)

Macro Definition Documentation

#define ___unused

Definition at line 68 of file abc_global.h.

#define ABC_ALLOC	(		type,
			num
	)		((type *) malloc(sizeof(type) * (num)))

Definition at line 229 of file abc_global.h.

#define ABC_CALLOC	(		type,
			num
	)		((type *) calloc((num), sizeof(type)))

Definition at line 230 of file abc_global.h.

#define ABC_CONST

(

number

)

number

PARAMETERS ///.

BASIC TYPES /// Pointer difference type; replacement for ptrdiff_t. This is a signed integral type that is the same size as a pointer. NOTE: This type may be different sizes on different platforms. Unsigned integral type that can contain a pointer. This is an unsigned integral type that is the same size as a pointer. NOTE: This type may be different sizes on different platforms. Signed integral type that can contain a pointer. This is a signed integral type that is the same size as a pointer. NOTE: This type may be different sizes on different platforms. 64-bit signed integral type. 64-bit unsigned integral type.

Definition at line 206 of file abc_global.h.

#define ABC_DLL   ABC_DLLIMPORT

Definition at line 53 of file abc_global.h.

#define ABC_DLLIMPORT

INCLUDES ///.

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

FileName [abc_global.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Global declarations.]

Synopsis [Global declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - Jan 30, 2009.]

Revision [

Id:

abc_global.h,v 1.00 2009/01/30 00:00:00 alanmi Exp

]

Definition at line 49 of file abc_global.h.

#define ABC_FALLOC	(		type,
			num
	)		((type *) memset(malloc(sizeof(type) * (num)), 0xff, sizeof(type) * (num)))

Definition at line 231 of file abc_global.h.

#define ABC_FREE

(

obj

)

((obj) ? (free((char *) (obj)), (obj) = 0) : 0)

Definition at line 232 of file abc_global.h.

#define ABC_INFINITY   (100000000)

MACRO DEFINITIONS ///.

Definition at line 216 of file abc_global.h.

#define ABC_NAMESPACE_HEADER_END

Definition at line 106 of file abc_global.h.

#define ABC_NAMESPACE_HEADER_START

NAMESPACES ///.

Definition at line 105 of file abc_global.h.

#define ABC_NAMESPACE_IMPL_END

Definition at line 108 of file abc_global.h.

#define ABC_NAMESPACE_IMPL_START

Definition at line 107 of file abc_global.h.

#define ABC_NAMESPACE_PREFIX

Definition at line 109 of file abc_global.h.

#define ABC_PRM	(		a,
			f
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB\n", 1.0*(f)/(1<<20)))

Definition at line 224 of file abc_global.h.

#define ABC_PRMn	(		a,
			f
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB ", 1.0*(f)/(1<<20)))

Definition at line 226 of file abc_global.h.

#define ABC_PRMP	(		a,
			f,
			F
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB (%6.2f %%)\n", (1.0*(f)/(1<<20)), ((F)? 100.0*(f)/(F) : 0.0) ) )

Definition at line 227 of file abc_global.h.

#define ABC_PRMr	(		a,
			f
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%10.3f MB\r", 1.0*(f)/(1<<20)))

Definition at line 225 of file abc_global.h.

#define ABC_PRT	(		a,
			t
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec\n", 1.0*(t)/(CLOCKS_PER_SEC)))

Definition at line 220 of file abc_global.h.

#define ABC_PRTn	(		a,
			t
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec ", 1.0*(t)/(CLOCKS_PER_SEC)))

Definition at line 222 of file abc_global.h.

#define ABC_PRTP	(		a,
			t,
			T
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec (%6.2f %%)\n", 1.0*(t)/(CLOCKS_PER_SEC), (T)? 100.0*(t)/(T) : 0.0))

Definition at line 223 of file abc_global.h.

#define ABC_PRTr	(		a,
			t
	)		(Abc_Print(1, "%s =", (a)), Abc_Print(1, "%9.2f sec\r", 1.0*(t)/(CLOCKS_PER_SEC)))

Definition at line 221 of file abc_global.h.

#define ABC_REALLOC	(		type,
			obj,
			num
	)

Value:

((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \
         ((type *) malloc(sizeof(type) * (num))))

Definition at line 233 of file abc_global.h.

#define ABC_SWAP	(		Type,
			a,
			b
	)		{ Type t = a; a = b; b = t; }

Definition at line 218 of file abc_global.h.

#define BRIDGE_ABS_NETLIST   107

Definition at line 295 of file abc_global.h.

#define BRIDGE_NETLIST   106

Definition at line 294 of file abc_global.h.

Typedef Documentation

typedef ABC_INT64_T abctime

Definition at line 278 of file abc_global.h.

typedef ABC_INT64_T iword

Definition at line 210 of file abc_global.h.

typedef ABC_UINT64_T word

Definition at line 209 of file abc_global.h.

Enumeration Type Documentation

enum Abc_VerbLevel

Enumerator
ABC_PROMPT
ABC_ERROR
ABC_WARNING
ABC_STANDARD
ABC_VERBOSE

Definition at line 305 of file abc_global.h.

{
    ABC_PROMPT   = -2,
    ABC_ERROR    = -1,
    ABC_WARNING  =  0,
    ABC_STANDARD =  1,
    ABC_VERBOSE  =  2
};

Function Documentation

static double Abc_AbsDouble ( double  a )

inlinestatic

Definition at line 245 of file abc_global.h.

{ return a < 0 ? -a : a; }

static float Abc_AbsFloat ( float  a )

inlinestatic

Definition at line 242 of file abc_global.h.

{ return a < 0 ? -a : a; }

static int Abc_AbsInt ( int  a )

inlinestatic

Definition at line 237 of file abc_global.h.

{ return a < 0 ? -a : a; }

static int Abc_Base10Log ( unsigned  n )

inlinestatic

Definition at line 252 of file abc_global.h.

{ int r; if ( n < 2 ) return n; for ( r = 0, n--; n; n /= 10, r++ ) {}; return r; }

static int Abc_Base16Log ( unsigned  n )

inlinestatic

Definition at line 253 of file abc_global.h.

{ int r; if ( n < 2 ) return n; for ( r = 0, n--; n; n /= 16, r++ ) {}; return r; }

static int Abc_Base2Log ( unsigned  n )

inlinestatic

Definition at line 251 of file abc_global.h.

{ int r; if ( n < 2 ) return n; for ( r = 0, n--; n; n >>= 1, r++ ) {}; return r; }

static int Abc_BitWordNum ( int  nBits )

inlinestatic

Definition at line 255 of file abc_global.h.

{ return (nBits>>5) + ((nBits&31) > 0);                       }

static abctime Abc_Clock ( )

inlinestatic

Definition at line 279 of file abc_global.h.

{
#if (defined(LIN) || defined(LIN64)) && !(__APPLE__ & __MACH__) && !defined(__MINGW32__)
    struct timespec ts;
    if ( clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts) < 0 ) 
        return (abctime)-1;
    abctime res = ((abctime) ts.tv_sec) * CLOCKS_PER_SEC;
    res += (((abctime) ts.tv_nsec) * CLOCKS_PER_SEC) / 1000000000;
    return res;
#else
    return (abctime) clock();
#endif
}

static int Abc_Float2Int ( float  Val )

inlinestatic

Definition at line 249 of file abc_global.h.

{ union { int x; float y; } v; v.y = Val; return v.x;         }

static int Abc_InfoHasBit ( unsigned *  p, int  i  )

inlinestatic

Definition at line 258 of file abc_global.h.

{ return (p[(i)>>5] & (1<<((i) & 31))) > 0;                   }

static unsigned Abc_InfoMask ( int  nVar )

inlinestatic

Definition at line 261 of file abc_global.h.

{ return (~(unsigned)0) >> (32-nVar);                         }

static void Abc_InfoSetBit ( unsigned *  p, int  i  )

inlinestatic

Definition at line 259 of file abc_global.h.

{ p[(i)>>5] |= (1<<((i) & 31));                               }

static void Abc_InfoXorBit ( unsigned *  p, int  i  )

inlinestatic

Definition at line 260 of file abc_global.h.

{ p[(i)>>5] ^= (1<<((i) & 31));                               }

static float Abc_Int2Float ( int  Num )

inlinestatic

Definition at line 250 of file abc_global.h.

{ union { int x; float y; } v; v.x = Num; return v.y;         }

static void* Abc_Int2Ptr ( int  i )

inlinestatic

Definition at line 273 of file abc_global.h.

{ return (void *)(ABC_PTRINT_T)i;   }

static int Abc_Lit2LitL ( int *  pMap, int  Lit  )

inlinestatic

Definition at line 270 of file abc_global.h.

{ return Abc_LitNotCond( pMap[Abc_Lit2Var(Lit)], Abc_LitIsCompl(Lit) );   }

static int Abc_Lit2LitV ( int *  pMap, int  Lit  )

inlinestatic

Definition at line 269 of file abc_global.h.

{ return Abc_Var2Lit( pMap[Abc_Lit2Var(Lit)], Abc_LitIsCompl(Lit) );   }

static int Abc_Lit2Var ( int  Lit )

inlinestatic

Definition at line 264 of file abc_global.h.

{ return Lit >> 1;           }

static int Abc_LitIsCompl ( int  Lit )

inlinestatic

Definition at line 265 of file abc_global.h.

{ return Lit & 1;            }

static int Abc_LitNot ( int  Lit )

inlinestatic

Definition at line 266 of file abc_global.h.

{ return Lit ^ 1;            }

static int Abc_LitNotCond ( int  Lit, int  c  )

inlinestatic

Definition at line 267 of file abc_global.h.

{ return Lit ^ (int)(c > 0); }

static int Abc_LitRegular ( int  Lit )

inlinestatic

Definition at line 268 of file abc_global.h.

{ return Lit & ~01;          }

static double Abc_MaxDouble ( double  a, double  b  )

inlinestatic

Definition at line 246 of file abc_global.h.

{ return a > b ?  a : b; }

static float Abc_MaxFloat ( float  a, float  b  )

inlinestatic

Definition at line 243 of file abc_global.h.

{ return a > b ?  a : b; }

static int Abc_MaxInt ( int  a, int  b  )

inlinestatic

Definition at line 238 of file abc_global.h.

{ return a > b ?  a : b; }

static word Abc_MaxWord ( word  a, word  b  )

inlinestatic

Definition at line 240 of file abc_global.h.

{ return a > b ?  a : b; }

void Abc_MergeSort	(	int *	pInput,
		int	nSize
	)

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

Synopsis [Returns the sorted array of integers.]

Description [This procedure is about 10% faster than qsort().]

SideEffects []

SeeAlso []

Definition at line 129 of file utilSort.c.

{
    int * pOutput;
    if ( nSize < 2 )
        return;
    pOutput = (int *) malloc( sizeof(int) * nSize );
    Abc_Sort_rec( pInput, pInput + nSize, pOutput );
    free( pOutput );
}

int* Abc_MergeSortCost	(	int *	pCosts,
		int	nSize
	)

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

Synopsis [Sorting procedure.]

Description [Returns permutation for the non-decreasing order of costs.]

SideEffects []

SeeAlso []

Definition at line 238 of file utilSort.c.

{
    int i, * pResult, * pInput, * pOutput;
    pResult = (int *) calloc( sizeof(int), nSize );
    if ( nSize < 2 )
        return pResult;
    pInput  = (int *) malloc( sizeof(int) * 2 * nSize );
    pOutput = (int *) malloc( sizeof(int) * 2 * nSize );
    for ( i = 0; i < nSize; i++ )
        pInput[2*i] = i, pInput[2*i+1] = pCosts[i];
    Abc_MergeSortCost_rec( pInput, pInput + 2*nSize, pOutput );
    for ( i = 0; i < nSize; i++ )
        pResult[i] = pInput[2*i];
    free( pOutput );
    free( pInput );
    return pResult;
}

static double Abc_MinDouble ( double  a, double  b  )

inlinestatic

Definition at line 247 of file abc_global.h.

{ return a < b ?  a : b; }

static float Abc_MinFloat ( float  a, float  b  )

inlinestatic

Definition at line 244 of file abc_global.h.

{ return a < b ?  a : b; }

static int Abc_MinInt ( int  a, int  b  )

inlinestatic

Definition at line 239 of file abc_global.h.

{ return a < b ?  a : b; }

static word Abc_MinWord ( word  a, word  b  )

inlinestatic

Definition at line 241 of file abc_global.h.

{ return a < b ?  a : b; }

static int Abc_PrimeCudd ( unsigned int  p )

inlinestatic

Definition at line 383 of file abc_global.h.

{
    int i,pn;
    p--;
    do {
        p++;
        if (p&1)
        {
            pn = 1;
            i = 3;
            while ((unsigned) (i * i) <= p)
            {
                if (p % i == 0) {
                    pn = 0;
                    break;
                }
                i += 2;
            }
        }
        else
            pn = 0;
    } while (!pn);
    return(p);

} // end of Cudd_Prime 

static void Abc_Print ( int  level, const char *  format,   ...  )

inlinestatic

Definition at line 313 of file abc_global.h.

{
    extern ABC_DLL int Abc_FrameIsBridgeMode();
    va_list args;

    if ( ! Abc_FrameIsBridgeMode() ){
        if ( level == ABC_ERROR )
            printf( "Error: " );
        else if ( level == ABC_WARNING )
            printf( "Warning: " );
    }else{
        if ( level == ABC_ERROR )
            Gia_ManToBridgeText( stdout, strlen("Error: "), (unsigned char*)"Error: " );
        else if ( level == ABC_WARNING )
            Gia_ManToBridgeText( stdout, strlen("Warning: "), (unsigned char*)"Warning: " );
    }

    va_start( args, format );
    if ( Abc_FrameIsBridgeMode() )
    {
        char * tmp = vnsprintf( format, args );
        Gia_ManToBridgeText( stdout, strlen(tmp), (unsigned char*)tmp );
        free( tmp );
    }
    else
        vprintf( format, args );
    va_end( args );
}

static void Abc_PrintInt ( int  i )

inlinestatic

Definition at line 342 of file abc_global.h.

{
    double v3 = (double)i/1000;
    double v6 = (double)i/1000000;

    Abc_Print( 1,  "  " );

    if ( i > -1000 && i < 1000 )
        Abc_Print( 1, " %4d", i );

    else if ( v3 > -9.995 && v3 < 9.995 )
        Abc_Print( 1, "%4.2fk", v3 );
    else if ( v3 > -99.95 && v3 < 99.95 )
        Abc_Print( 1, "%4.1fk", v3 );
    else if ( v3 > -999.5 && v3 < 999.5 )
        Abc_Print( 1, "%4.0fk", v3 );

    else if ( v6 > -9.995 && v6 < 9.995 )
        Abc_Print( 1, "%4.2fm", v6 );
    else if ( v6 > -99.95 && v6 < 99.95 )
        Abc_Print( 1, "%4.1fm", v6 );
    else if ( v6 > -999.5 && v6 < 999.5 )
        Abc_Print( 1, "%4.0fm", v6 );
}

static void Abc_PrintMemoryP ( int  level, const char *  pStr, int  mem, int  Mem  )

inlinestatic

Definition at line 377 of file abc_global.h.

{
    ABC_PRMP( pStr, mem, Mem );
}

static void Abc_PrintTime ( int  level, const char *  pStr, abctime  time  )

inlinestatic

Definition at line 367 of file abc_global.h.

{
    ABC_PRT( pStr, time );
}

static void Abc_PrintTimeP ( int  level, const char *  pStr, abctime  time, abctime  Time  )

inlinestatic

Definition at line 372 of file abc_global.h.

{
    ABC_PRTP( pStr, time, Time );
}

static int Abc_Ptr2Int ( void *  p )

inlinestatic

Definition at line 272 of file abc_global.h.

{ return (int)(ABC_PTRINT_T)p;      }

static word Abc_Ptr2Wrd ( void *  p )

inlinestatic

Definition at line 274 of file abc_global.h.

{ return (word)(ABC_PTRUINT_T)p;    }

void Abc_QuickSort1	(	word *	pData,
		int	nSize,
		int	fDecrease
	)

Definition at line 477 of file utilSort.c.

{
    int i, fVerify = 0;
    if ( fDecrease )
    {
        qsort( (void *)pData, nSize, sizeof(word), (int (*)(const void *, const void *))Abc_QuickSort1CompareDec );
        if ( fVerify )
            for ( i = 1; i < nSize; i++ )
                assert( (unsigned)pData[i-1] >= (unsigned)pData[i] );
    }
    else
    {
        qsort( (void *)pData, nSize, sizeof(word), (int (*)(const void *, const void *))Abc_QuickSort1CompareInc );
        if ( fVerify )
            for ( i = 1; i < nSize; i++ )
                assert( (unsigned)pData[i-1] <= (unsigned)pData[i] );
    }
}

void Abc_QuickSort2	(	word *	pData,
		int	nSize,
		int	fDecrease
	)

Definition at line 662 of file utilSort.c.

{
    int i, fVerify = 0;
    if ( fDecrease )
    {
        Abc_QuickSort2Dec_rec( pData, 0, nSize - 1 );
        if ( fVerify )
            for ( i = 1; i < nSize; i++ )
                assert( (unsigned)pData[i-1] >= (unsigned)pData[i] );
    }
    else
    {
        Abc_QuickSort2Inc_rec( pData, 0, nSize - 1 );
        if ( fVerify )
            for ( i = 1; i < nSize; i++ )
                assert( (unsigned)pData[i-1] <= (unsigned)pData[i] );
    }
}

void Abc_QuickSort3	(	word *	pData,
		int	nSize,
		int	fDecrease
	)

Definition at line 680 of file utilSort.c.

{
    int i, fVerify = 1;
    if ( fDecrease )
    {
        Abc_QuickSort2Dec_rec( pData, 0, nSize - 1 );
        if ( fVerify )
            for ( i = 1; i < nSize; i++ )
                assert( (unsigned)pData[i-1] >= (unsigned)pData[i] );
    }
    else
    {
        Abc_QuickSort2Inc_rec( pData, 0, nSize - 1 );
        if ( fVerify )
            for ( i = 1; i < nSize; i++ )
                assert( (unsigned)pData[i-1] <= (unsigned)pData[i] );
    }
}

int* Abc_QuickSortCost	(	int *	pCosts,
		int	nSize,
		int	fDecrease
	)

Definition at line 719 of file utilSort.c.

{
    word * pData = ABC_ALLOC( word, nSize );
    int * pResult = ABC_ALLOC( int, nSize );
    Abc_QuickSortCostData( pCosts, nSize, fDecrease, pData, pResult );
    ABC_FREE( pData );
    return pResult;
}

void Abc_QuickSortCostData	(	int *	pCosts,
		int	nSize,
		int	fDecrease,
		word *	pData,
		int *	pResult
	)

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

Synopsis [Wrapper around QuickSort to sort entries based on cost.]

Description []

SideEffects []

SeeAlso []

Definition at line 710 of file utilSort.c.

{
    int i;
    for ( i = 0; i < nSize; i++ )
        pData[i] = ((word)i << 32) | pCosts[i];
    Abc_QuickSort3( pData, nSize, fDecrease );
    for ( i = 0; i < nSize; i++ )
        pResult[i] = (int)(pData[i] >> 32);
}

static int Abc_Truth6WordNum ( int  nVars )

inlinestatic

Definition at line 257 of file abc_global.h.

{ return nVars <= 6 ? 1 : (1 << (nVars - 6));                 }

static int Abc_TruthWordNum ( int  nVars )

inlinestatic

Definition at line 256 of file abc_global.h.

{ return nVars <= 5 ? 1 : (1 << (nVars - 5));                 }

static char* Abc_UtilStrsav ( char *  s )

inlinestatic

Definition at line 254 of file abc_global.h.

{ return s ? strcpy(ABC_ALLOC(char, strlen(s)+1), s) : NULL;  }

static int Abc_Var2Lit ( int  Var, int  fCompl  )

inlinestatic

Definition at line 263 of file abc_global.h.

{ return Var + Var + fCompl; }

static void* Abc_Wrd2Ptr ( word  i )

inlinestatic

Definition at line 275 of file abc_global.h.

{ return (void *)(ABC_PTRUINT_T)i;  }

int Gia_ManToBridgeAbsNetlist	(	FILE *	pFile,
		void *	p,
		int	pkg_type
	)

Definition at line 189 of file utilBridge.c.

{
    Vec_Str_t * vBuffer;
    vBuffer = Gia_ManToBridgeVec( (Gia_Man_t *)p );
    Gia_CreateHeader( pFile, pkg_type, Vec_StrSize(vBuffer), (unsigned char *)Vec_StrArray(vBuffer) );
    Vec_StrFree( vBuffer );
    return 1;
}

int Gia_ManToBridgeText	(	FILE *	pFile,
		int	Size,
		unsigned char *	pBuffer
	)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 168 of file utilBridge.c.

{
    Gia_CreateHeader( pFile, BRIDGE_TEXT_MESSAGE, Size, pBuffer );
    return 1;
}

char* nsprintf	(	const char *	format,
			...
	)

Definition at line 205 of file utilFile.c.

{
    char* ret;
    va_list args;
    va_start(args, format);
    ret = vnsprintf(format, args);
    va_end(args);
    return ret;
}

char* vnsprintf	(	const char *	format,
		va_list	args
	)

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

Synopsis []

Description []

SideEffects []

SeeAlso [] Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 168 of file utilFile.c.

{
    unsigned n;
    char*    ret;
    va_list  args_copy;

    static FILE* dummy_file = NULL;
    if (!dummy_file)
    {
#if !defined(_MSC_VER) && !defined(__MINGW32)
        dummy_file = fopen("/dev/null", "wb");
#else
        dummy_file = fopen("NUL", "wb");
#endif
    }

#if defined(__va_copy)
    __va_copy(args_copy, args);
#else
  #if defined(va_copy)
    va_copy(args_copy, args);
  #else
    args_copy = args;
  #endif
#endif
    n = vfprintf(dummy_file, format, args);
    ret = ABC_ALLOC( char, n + 1 );
    ret[n] = (char)255;
    args = args_copy;
    vsprintf(ret, format, args);
#if !defined(__va_copy) && defined(va_copy)
    va_end(args_copy);
#endif
    assert(ret[n] == 0);
    return ret;
}