vecPtr.h File Reference

#include <stdio.h>

Go to the source code of this file.

Data Structures
struct	Vec_Ptr_t_

Macros
#define	Vec_PtrForEachEntry(Type, vVec, pEntry, i)   for ( i = 0; (i < Vec_PtrSize(vVec)) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )
	MACRO DEFINITIONS ///. More...
#define	Vec_PtrForEachEntryStart(Type, vVec, pEntry, i, Start)   for ( i = Start; (i < Vec_PtrSize(vVec)) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )
#define	Vec_PtrForEachEntryStop(Type, vVec, pEntry, i, Stop)   for ( i = 0; (i < Stop) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )
#define	Vec_PtrForEachEntryStartStop(Type, vVec, pEntry, i, Start, Stop)   for ( i = Start; (i < Stop) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )
#define	Vec_PtrForEachEntryReverse(Type, vVec, pEntry, i)   for ( i = Vec_PtrSize(vVec) - 1; (i >= 0) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i-- )
#define	Vec_PtrForEachEntryTwo(Type1, vVec1, Type2, vVec2, pEntry1, pEntry2, i)   for ( i = 0; (i < Vec_PtrSize(vVec1)) && (((pEntry1) = (Type1)Vec_PtrEntry(vVec1, i)), 1) && (((pEntry2) = (Type2)Vec_PtrEntry(vVec2, i)), 1); i++ )

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_	Vec_Ptr_t
	INCLUDES ///. More...

Functions
static Vec_Ptr_t *	Vec_PtrAlloc (int nCap)
	FUNCTION DEFINITIONS ///. More...
static Vec_Ptr_t *	Vec_PtrStart (int nSize)
static Vec_Ptr_t *	Vec_PtrAllocArray (void **pArray, int nSize)
static Vec_Ptr_t *	Vec_PtrAllocArrayCopy (void **pArray, int nSize)
static Vec_Ptr_t *	Vec_PtrDup (Vec_Ptr_t *pVec)
static Vec_Ptr_t *	Vec_PtrDupStr (Vec_Ptr_t *pVec)
static Vec_Ptr_t *	Vec_PtrDupArray (Vec_Ptr_t *pVec)
static void	Vec_PtrFree (Vec_Ptr_t *p)
static void	Vec_PtrFreeP (Vec_Ptr_t **p)
static void **	Vec_PtrReleaseArray (Vec_Ptr_t *p)
static void **	Vec_PtrArray (Vec_Ptr_t *p)
static int	Vec_PtrSize (Vec_Ptr_t *p)
static int	Vec_PtrCap (Vec_Ptr_t *p)
static double	Vec_PtrMemory (Vec_Ptr_t *p)
static int	Vec_PtrCountZero (Vec_Ptr_t *p)
static void *	Vec_PtrEntry (Vec_Ptr_t *p, int i)
static void **	Vec_PtrEntryP (Vec_Ptr_t *p, int i)
static void	Vec_PtrWriteEntry (Vec_Ptr_t *p, int i, void *Entry)
static void *	Vec_PtrEntryLast (Vec_Ptr_t *p)
static void	Vec_PtrGrow (Vec_Ptr_t *p, int nCapMin)
static void	Vec_PtrFill (Vec_Ptr_t *p, int nSize, void *Entry)
static void	Vec_PtrFillExtra (Vec_Ptr_t *p, int nSize, void *Fill)
static void *	Vec_PtrGetEntry (Vec_Ptr_t *p, int i)
static void	Vec_PtrSetEntry (Vec_Ptr_t *p, int i, void *Entry)
static void	Vec_PtrShrink (Vec_Ptr_t *p, int nSizeNew)
static void	Vec_PtrClear (Vec_Ptr_t *p)
static void	Vec_PtrFreeData (Vec_Ptr_t *p)
static void	Vec_PtrFreeFree (Vec_Ptr_t *p)
static void	Vec_PtrCopy (Vec_Ptr_t *pDest, Vec_Ptr_t *pSour)
static void	Vec_PtrPush (Vec_Ptr_t *p, void *Entry)
static void	Vec_PtrPushFirst (Vec_Ptr_t *p, void *Entry)
static int	Vec_PtrPushUnique (Vec_Ptr_t *p, void *Entry)
static void *	Vec_PtrPop (Vec_Ptr_t *p)
static int	Vec_PtrFind (Vec_Ptr_t *p, void *Entry)
static void	Vec_PtrRemove (Vec_Ptr_t *p, void *Entry)
static void	Vec_PtrInsert (Vec_Ptr_t *p, int iHere, void *Entry)
static void	Vec_PtrReorder (Vec_Ptr_t *p, int nItems)
static void	Vec_PtrReverseOrder (Vec_Ptr_t *p)
static int	Vec_PtrEqual (Vec_Ptr_t *p1, Vec_Ptr_t *p2)
static int	Vec_PtrSortComparePtr (void **pp1, void **pp2)
static void	Vec_PtrSort (Vec_Ptr_t *p, int(*Vec_PtrSortCompare)()) ___unused
static void	Vec_PtrUniqify (Vec_Ptr_t *p, int(*Vec_PtrSortCompare)()) ___unused
static void	Vec_PtrUniqify2 (Vec_Ptr_t *p, int(*Vec_PtrSortCompare)(void **, void **), void(*Vec_PtrObjFree)(void *), Vec_Int_t *vCounts) ___unused
static Vec_Ptr_t *	Vec_PtrAllocSimInfo (int nEntries, int nWords)
static int	Vec_PtrReadWordsSimInfo (Vec_Ptr_t *p)
static void	Vec_PtrCleanSimInfo (Vec_Ptr_t *vInfo, int iWord, int nWords)
static void	Vec_PtrFillSimInfo (Vec_Ptr_t *vInfo, int iWord, int nWords)
static void	Vec_PtrDoubleSimInfo (Vec_Ptr_t *vInfo)
static void	Vec_PtrReallocSimInfo (Vec_Ptr_t *vInfo)
static Vec_Ptr_t *	Vec_PtrAllocTruthTables (int nVars)

Macro Definition Documentation

#define Vec_PtrForEachEntry	(		Type,
			vVec,
			pEntry,
			i
	)		for ( i = 0; (i < Vec_PtrSize(vVec)) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )

MACRO DEFINITIONS ///.

Definition at line 55 of file vecPtr.h.

#define Vec_PtrForEachEntryReverse	(		Type,
			vVec,
			pEntry,
			i
	)		for ( i = Vec_PtrSize(vVec) - 1; (i >= 0) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i-- )

Definition at line 63 of file vecPtr.h.

#define Vec_PtrForEachEntryStart	(		Type,
			vVec,
			pEntry,
			i,
			Start
	)		for ( i = Start; (i < Vec_PtrSize(vVec)) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )

Definition at line 57 of file vecPtr.h.

#define Vec_PtrForEachEntryStartStop	(		Type,
			vVec,
			pEntry,
			i,
			Start,
			Stop
	)		for ( i = Start; (i < Stop) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )

Definition at line 61 of file vecPtr.h.

#define Vec_PtrForEachEntryStop	(		Type,
			vVec,
			pEntry,
			i,
			Stop
	)		for ( i = 0; (i < Stop) && (((pEntry) = (Type)Vec_PtrEntry(vVec, i)), 1); i++ )

Definition at line 59 of file vecPtr.h.

#define Vec_PtrForEachEntryTwo	(		Type1,
			vVec1,
			Type2,
			vVec2,
			pEntry1,
			pEntry2,
			i
	)		for ( i = 0; (i < Vec_PtrSize(vVec1)) && (((pEntry1) = (Type1)Vec_PtrEntry(vVec1, i)), 1) && (((pEntry2) = (Type2)Vec_PtrEntry(vVec2, i)), 1); i++ )

Definition at line 65 of file vecPtr.h.

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t

INCLUDES ///.

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

FileName [vecPtr.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Resizable arrays of generic pointers.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 42 of file vecPtr.h.

Function Documentation

static Vec_Ptr_t* Vec_PtrAlloc ( int  nCap )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Allocates a vector with the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 83 of file vecPtr.h.

{
    Vec_Ptr_t * p;
    p = ABC_ALLOC( Vec_Ptr_t, 1 );
    if ( nCap > 0 && nCap < 8 )
        nCap = 8;
    p->nSize  = 0;
    p->nCap   = nCap;
    p->pArray = p->nCap? ABC_ALLOC( void *, p->nCap ) : NULL;
    return p;
}

static Vec_Ptr_t* Vec_PtrAllocArray ( void **  pArray, int  nSize  )

inlinestatic

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

Synopsis [Creates the vector from an integer array of the given size.]

Description []

SideEffects []

SeeAlso []

Definition at line 126 of file vecPtr.h.

{
    Vec_Ptr_t * p;
    p = ABC_ALLOC( Vec_Ptr_t, 1 );
    p->nSize  = nSize;
    p->nCap   = nSize;
    p->pArray = pArray;
    return p;
}

static Vec_Ptr_t* Vec_PtrAllocArrayCopy ( void **  pArray, int  nSize  )

inlinestatic

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

Synopsis [Creates the vector from an integer array of the given size.]

Description []

SideEffects []

SeeAlso []

Definition at line 147 of file vecPtr.h.

{
    Vec_Ptr_t * p;
    p = ABC_ALLOC( Vec_Ptr_t, 1 );
    p->nSize  = nSize;
    p->nCap   = nSize;
    p->pArray = ABC_ALLOC( void *, nSize );
    memcpy( p->pArray, pArray, sizeof(void *) * nSize );
    return p;
}

static Vec_Ptr_t* Vec_PtrAllocSimInfo ( int  nEntries, int  nWords  )

inlinestatic

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

Synopsis [Allocates the array of simulation info.]

Description [Allocates the array containing given number of entries, each of which contains given number of unsigned words of simulation data. The resulting array can be freed using regular procedure Vec_PtrFree(). It is the responsibility of the user to ensure this array is never grown.]

SideEffects []

SeeAlso []

Definition at line 929 of file vecPtr.h.

{
    void ** pMemory;
    unsigned * pInfo;
    int i;
    pMemory = (void **)ABC_ALLOC( char, (sizeof(void *) + sizeof(unsigned) * nWords) * nEntries );
    pInfo = (unsigned *)(pMemory + nEntries);
    for ( i = 0; i < nEntries; i++ )
        pMemory[i] = pInfo + i * nWords;
    return Vec_PtrAllocArray( pMemory, nEntries );
}

static Vec_Ptr_t* Vec_PtrAllocTruthTables ( int  nVars )

inlinestatic

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

Synopsis [Allocates the array of truth tables for the given number of vars.]

Description []

SideEffects []

SeeAlso []

Definition at line 1065 of file vecPtr.h.

{
    Vec_Ptr_t * p;
    unsigned Masks[5] = { 0xAAAAAAAA, 0xCCCCCCCC, 0xF0F0F0F0, 0xFF00FF00, 0xFFFF0000 };
    unsigned * pTruth;
    int i, k, nWords;
    nWords = (nVars <= 5 ? 1 : (1 << (nVars - 5)));
    p = Vec_PtrAllocSimInfo( nVars, nWords );
    for ( i = 0; i < nVars; i++ )
    {
        pTruth = (unsigned *)p->pArray[i];
        if ( i < 5 )
        {
            for ( k = 0; k < nWords; k++ )
                pTruth[k] = Masks[i];
        }
        else
        {
            for ( k = 0; k < nWords; k++ )
                if ( k & (1 << (i-5)) )
                    pTruth[k] = ~(unsigned)0;
                else
                    pTruth[k] = 0;
        }
    }
    return p;
}

static void** Vec_PtrArray ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 279 of file vecPtr.h.

{
    return p->pArray;
}

static int Vec_PtrCap ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 311 of file vecPtr.h.

{
    return p->nCap;
}

static void Vec_PtrCleanSimInfo ( Vec_Ptr_t *  vInfo, int  iWord, int  nWords  )

inlinestatic

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

Synopsis [Cleans simulation info of each entry beginning with iWord.]

Description []

SideEffects []

SeeAlso []

Definition at line 968 of file vecPtr.h.

{
    int i;
    for ( i = 0; i < vInfo->nSize; i++ )
        memset( (char*)Vec_PtrEntry(vInfo,i) + 4*iWord, 0, 4*(nWords-iWord) );
}

static void Vec_PtrClear ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 545 of file vecPtr.h.

{
    p->nSize = 0;
}

static void Vec_PtrCopy ( Vec_Ptr_t *  pDest, Vec_Ptr_t *  pSour  )

inlinestatic

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

Synopsis [Copies the interger array.]

Description []

SideEffects []

SeeAlso []

Definition at line 587 of file vecPtr.h.

{
    pDest->nSize = 0;
    Vec_PtrGrow( pDest, pSour->nSize );
    memcpy( pDest->pArray, pSour->pArray, sizeof(void *) * pSour->nSize );
    pDest->nSize = pSour->nSize;
}

static int Vec_PtrCountZero ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 343 of file vecPtr.h.

{
    int i, Counter = 0;
    for ( i = 0; i < p->nSize; i++ )
        Counter += (p->pArray[i] == NULL);
    return Counter;
}

static void Vec_PtrDoubleSimInfo ( Vec_Ptr_t *  vInfo )

inlinestatic

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

Synopsis [Resizes the array of simulation info.]

Description [Doubles the number of objects for which siminfo is allocated.]

SideEffects []

SeeAlso []

Definition at line 1004 of file vecPtr.h.

{
    Vec_Ptr_t * vInfoNew;
    int nWords;
    assert( Vec_PtrSize(vInfo) > 1 );
    // get the new array
    nWords = (unsigned *)Vec_PtrEntry(vInfo,1) - (unsigned *)Vec_PtrEntry(vInfo,0);
    vInfoNew = Vec_PtrAllocSimInfo( 2*Vec_PtrSize(vInfo), nWords );
    // copy the simulation info
    memcpy( Vec_PtrEntry(vInfoNew,0), Vec_PtrEntry(vInfo,0), Vec_PtrSize(vInfo) * nWords * 4 );
    // replace the array
    ABC_FREE( vInfo->pArray );
    vInfo->pArray = vInfoNew->pArray;
    vInfo->nSize *= 2;
    vInfo->nCap *= 2;
    // free the old array
    vInfoNew->pArray = NULL;
    ABC_FREE( vInfoNew );
}

static Vec_Ptr_t* Vec_PtrDup ( Vec_Ptr_t *  pVec )

inlinestatic

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

Synopsis [Duplicates the integer array.]

Description []

SideEffects []

SeeAlso []

Definition at line 169 of file vecPtr.h.

{
    Vec_Ptr_t * p;
    p = ABC_ALLOC( Vec_Ptr_t, 1 );
    p->nSize  = pVec->nSize;
    p->nCap   = pVec->nCap;
    p->pArray = p->nCap? ABC_ALLOC( void *, p->nCap ) : NULL;
    memcpy( p->pArray, pVec->pArray, sizeof(void *) * pVec->nSize );
    return p;
}

static Vec_Ptr_t* Vec_PtrDupArray ( Vec_Ptr_t *  pVec )

inlinestatic

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

Synopsis [Transfers the array into another vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 199 of file vecPtr.h.

{
    Vec_Ptr_t * p;
    p = ABC_ALLOC( Vec_Ptr_t, 1 );
    p->nSize  = pVec->nSize;
    p->nCap   = pVec->nCap;
    p->pArray = pVec->pArray;
    pVec->nSize  = 0;
    pVec->nCap   = 0;
    pVec->pArray = NULL;
    return p;
}

static Vec_Ptr_t* Vec_PtrDupStr ( Vec_Ptr_t *  pVec )

inlinestatic

Definition at line 179 of file vecPtr.h.

{
    int i;
    Vec_Ptr_t * p = Vec_PtrDup( pVec );
    for ( i = 0; i < p->nSize; i++ )
        p->pArray[i] = Abc_UtilStrsav( (char *)p->pArray[i] );
    return p;
}

static void* Vec_PtrEntry ( Vec_Ptr_t *  p, int  i  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 362 of file vecPtr.h.

{
    assert( i >= 0 && i < p->nSize );
    return p->pArray[i];
}

static void* Vec_PtrEntryLast ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 413 of file vecPtr.h.

{
    assert( p->nSize > 0 );
    return p->pArray[p->nSize-1];
}

static void** Vec_PtrEntryP ( Vec_Ptr_t *  p, int  i  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 379 of file vecPtr.h.

{
    assert( i >= 0 && i < p->nSize );
    return p->pArray + i;
}

static int Vec_PtrEqual ( Vec_Ptr_t *  p1, Vec_Ptr_t *  p2  )

inlinestatic

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

Synopsis [Checks if two vectors are equal.]

Description []

SideEffects []

SeeAlso []

Definition at line 808 of file vecPtr.h.

{
    int i;
    if ( p1->nSize != p2->nSize )
        return 0;
    for ( i = 0; i < p1->nSize; i++ )
        if ( p1->pArray[i] != p2->pArray[i] )
            return 0;
    return 1;
}

static void Vec_PtrFill ( Vec_Ptr_t *  p, int  nSize, void *  Entry  )

inlinestatic

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

Synopsis [Fills the vector with given number of entries.]

Description []

SideEffects []

SeeAlso []

Definition at line 449 of file vecPtr.h.

{
    int i;
    Vec_PtrGrow( p, nSize );
    for ( i = 0; i < nSize; i++ )
        p->pArray[i] = Entry;
    p->nSize = nSize;
}

static void Vec_PtrFillExtra ( Vec_Ptr_t *  p, int  nSize, void *  Fill  )

inlinestatic

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

Synopsis [Fills the vector with given number of entries.]

Description []

SideEffects []

SeeAlso []

Definition at line 469 of file vecPtr.h.

{
    int i;
    if ( nSize <= p->nSize )
        return;
    if ( nSize > 2 * p->nCap )
        Vec_PtrGrow( p, nSize );
    else if ( nSize > p->nCap )
        Vec_PtrGrow( p, 2 * p->nCap );
    for ( i = p->nSize; i < nSize; i++ )
        p->pArray[i] = Fill;
    p->nSize = nSize;
}

static void Vec_PtrFillSimInfo ( Vec_Ptr_t *  vInfo, int  iWord, int  nWords  )

inlinestatic

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

Synopsis [Cleans simulation info of each entry beginning with iWord.]

Description []

SideEffects []

SeeAlso []

Definition at line 986 of file vecPtr.h.

{
    int i;
    for ( i = 0; i < vInfo->nSize; i++ )
        memset( (char*)Vec_PtrEntry(vInfo,i) + 4*iWord, 0xFF, 4*(nWords-iWord) );
}

static int Vec_PtrFind ( Vec_Ptr_t *  p, void *  Entry  )

inlinestatic

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

Synopsis [Find entry.]

Description []

SideEffects []

SeeAlso []

Definition at line 694 of file vecPtr.h.

{
    int i;
    for ( i = 0; i < p->nSize; i++ )
        if ( p->pArray[i] == Entry )
            return i;
    return -1;
}

static void Vec_PtrFree ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis [Frees the vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 223 of file vecPtr.h.

{
    ABC_FREE( p->pArray );
    ABC_FREE( p );
}

static void Vec_PtrFreeData ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis [Deallocates array of memory pointers.]

Description []

SideEffects []

SeeAlso []

Definition at line 561 of file vecPtr.h.

{
    void * pTemp; int i;
    if ( p == NULL ) return;
    Vec_PtrForEachEntry( void *, p, pTemp, i )
        if ( pTemp != (void *)(ABC_PTRINT_T)1 && pTemp != (void *)(ABC_PTRINT_T)2 )
            ABC_FREE( pTemp );
}

static void Vec_PtrFreeFree ( Vec_Ptr_t *  p )

inlinestatic

Definition at line 569 of file vecPtr.h.

{
    if ( p == NULL ) return;
    Vec_PtrFreeData( p );
    Vec_PtrFree( p );
}

static void Vec_PtrFreeP ( Vec_Ptr_t **  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 240 of file vecPtr.h.

{
    if ( *p == NULL )
        return;
    ABC_FREE( (*p)->pArray );
    ABC_FREE( (*p) );
}

static void* Vec_PtrGetEntry ( Vec_Ptr_t *  p, int  i  )

inlinestatic

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

Synopsis [Returns the entry even if the place not exist.]

Description []

SideEffects []

SeeAlso []

Definition at line 494 of file vecPtr.h.

{
    Vec_PtrFillExtra( p, i + 1, NULL );
    return Vec_PtrEntry( p, i );
}

static void Vec_PtrGrow ( Vec_Ptr_t *  p, int  nCapMin  )

inlinestatic

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

Synopsis [Resizes the vector to the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 430 of file vecPtr.h.

{
    if ( p->nCap >= nCapMin )
        return;
    p->pArray = ABC_REALLOC( void *, p->pArray, nCapMin ); 
    p->nCap   = nCapMin;
}

static void Vec_PtrInsert ( Vec_Ptr_t *  p, int  iHere, void *  Entry  )

inlinestatic

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

Synopsis [Interts entry at the index iHere. Shifts other entries.]

Description []

SideEffects []

SeeAlso []

Definition at line 745 of file vecPtr.h.

{
    int i;
    assert( iHere >= 0 && iHere < p->nSize );
    Vec_PtrPush( p, 0 );
    for ( i = p->nSize - 1; i > iHere; i-- )
        p->pArray[i] = p->pArray[i-1];
    p->pArray[i] = Entry;
}

static double Vec_PtrMemory ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 327 of file vecPtr.h.

{
    return !p ? 0.0 : 1.0 * sizeof(void *) * p->nCap + sizeof(Vec_Ptr_t);
}

static void* Vec_PtrPop ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis [Returns the last entry and removes it from the list.]

Description []

SideEffects []

SeeAlso []

Definition at line 677 of file vecPtr.h.

{
    assert( p->nSize > 0 );
    return p->pArray[--p->nSize];
}

static void Vec_PtrPush ( Vec_Ptr_t *  p, void *  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 606 of file vecPtr.h.

{
    if ( p->nSize == p->nCap )
    {
        if ( p->nCap < 16 )
            Vec_PtrGrow( p, 16 );
        else
            Vec_PtrGrow( p, 2 * p->nCap );
    }
    p->pArray[p->nSize++] = Entry;
}

static void Vec_PtrPushFirst ( Vec_Ptr_t *  p, void *  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 629 of file vecPtr.h.

{
    int i;
    if ( p->nSize == p->nCap )
    {
        if ( p->nCap < 16 )
            Vec_PtrGrow( p, 16 );
        else
            Vec_PtrGrow( p, 2 * p->nCap );
    }
    p->nSize++;
    for ( i = p->nSize - 1; i >= 1; i-- )
        p->pArray[i] = p->pArray[i-1];
    p->pArray[0] = Entry;
}

static int Vec_PtrPushUnique ( Vec_Ptr_t *  p, void *  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 656 of file vecPtr.h.

{
    int i;
    for ( i = 0; i < p->nSize; i++ )
        if ( p->pArray[i] == Entry )
            return 1;
    Vec_PtrPush( p, Entry );
    return 0;
}

static int Vec_PtrReadWordsSimInfo ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis [Cleans simulation info of each entry beginning with iWord.]

Description []

SideEffects []

SeeAlso []

Definition at line 952 of file vecPtr.h.

{
    return (unsigned *)Vec_PtrEntry(p,1) - (unsigned *)Vec_PtrEntry(p,0);
}

static void Vec_PtrReallocSimInfo ( Vec_Ptr_t *  vInfo )

inlinestatic

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

Synopsis [Resizes the array of simulation info.]

Description [Doubles the number of simulation patterns stored for each object.]

SideEffects []

SeeAlso []

Definition at line 1035 of file vecPtr.h.

{
    Vec_Ptr_t * vInfoNew;
    int nWords, i;
    assert( Vec_PtrSize(vInfo) > 1 );
    // get the new array
    nWords = (unsigned *)Vec_PtrEntry(vInfo,1) - (unsigned *)Vec_PtrEntry(vInfo,0);
    vInfoNew = Vec_PtrAllocSimInfo( Vec_PtrSize(vInfo), 2*nWords );
    // copy the simulation info
    for ( i = 0; i < vInfo->nSize; i++ )
        memcpy( Vec_PtrEntry(vInfoNew,i), Vec_PtrEntry(vInfo,i), nWords * 4 );
    // replace the array
    ABC_FREE( vInfo->pArray );
    vInfo->pArray = vInfoNew->pArray;
    // free the old array
    vInfoNew->pArray = NULL;
    ABC_FREE( vInfoNew );
}

static void** Vec_PtrReleaseArray ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 259 of file vecPtr.h.

{
    void ** pArray = p->pArray;
    p->nCap = 0;
    p->nSize = 0;
    p->pArray = NULL;
    return pArray;
}

static void Vec_PtrRemove ( Vec_Ptr_t *  p, void *  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 714 of file vecPtr.h.

{
    int i;
    // delete assuming that it is closer to the end
    for ( i = p->nSize - 1; i >= 0; i-- )
        if ( p->pArray[i] == Entry )
            break;
    assert( i >= 0 );
/*
    // delete assuming that it is closer to the beginning
    for ( i = 0; i < p->nSize; i++ )
        if ( p->pArray[i] == Entry )
            break;
    assert( i < p->nSize );
*/
    for ( i++; i < p->nSize; i++ )
        p->pArray[i-1] = p->pArray[i];
    p->nSize--;
}

static void Vec_PtrReorder ( Vec_Ptr_t *  p, int  nItems  )

inlinestatic

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

Synopsis [Moves the first nItems to the end.]

Description []

SideEffects []

SeeAlso []

Definition at line 766 of file vecPtr.h.

{
    assert( nItems < p->nSize );
    Vec_PtrGrow( p, nItems + p->nSize );
    memmove( (char **)p->pArray + p->nSize, p->pArray, nItems * sizeof(void*) );
    memmove( p->pArray, (char **)p->pArray + nItems, p->nSize * sizeof(void*) );
}

static void Vec_PtrReverseOrder ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis [Reverses the order of entries.]

Description []

SideEffects []

SeeAlso []

Definition at line 785 of file vecPtr.h.

{
    void * Temp;
    int i;
    for ( i = 0; i < p->nSize/2; i++ )
    {
        Temp = p->pArray[i];
        p->pArray[i] = p->pArray[p->nSize-1-i];
        p->pArray[p->nSize-1-i] = Temp;
    }
}

static void Vec_PtrSetEntry ( Vec_Ptr_t *  p, int  i, void *  Entry  )

inlinestatic

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

Synopsis [Inserts the entry even if the place does not exist.]

Description []

SideEffects []

SeeAlso []

Definition at line 511 of file vecPtr.h.

{
    Vec_PtrFillExtra( p, i + 1, NULL );
    Vec_PtrWriteEntry( p, i, Entry );
}

static void Vec_PtrShrink ( Vec_Ptr_t *  p, int  nSizeNew  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 528 of file vecPtr.h.

{
    assert( p->nSize >= nSizeNew );
    p->nSize = nSizeNew;
}

static int Vec_PtrSize ( Vec_Ptr_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 295 of file vecPtr.h.

{
    return p->nSize;
}

static void Vec_PtrSort ( Vec_Ptr_t *  p, int(*)()  Vec_PtrSortCompare  )

static

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

Synopsis [Sorting the entries by their integer value.]

Description []

SideEffects []

SeeAlso []

Definition at line 851 of file vecPtr.h.

{
    if ( p->nSize < 2 )
        return;
    if ( Vec_PtrSortCompare == NULL )
        qsort( (void *)p->pArray, p->nSize, sizeof(void *), 
                (int (*)(const void *, const void *)) Vec_PtrSortComparePtr );
    else
        qsort( (void *)p->pArray, p->nSize, sizeof(void *), 
                (int (*)(const void *, const void *)) Vec_PtrSortCompare );
}

static int Vec_PtrSortComparePtr ( void **  pp1, void **  pp2  )

static

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

Synopsis [Comparison procedure for two integers.]

Description []

SideEffects []

SeeAlso []

Definition at line 830 of file vecPtr.h.

{
    if ( *pp1 < *pp2 )
        return -1;
    if ( *pp1 > *pp2 ) 
        return 1;
    return 0; 
}

static Vec_Ptr_t* Vec_PtrStart ( int  nSize )

inlinestatic

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

Synopsis [Allocates a vector with the given size and cleans it.]

Description []

SideEffects []

SeeAlso []

Definition at line 106 of file vecPtr.h.

{
    Vec_Ptr_t * p;
    p = Vec_PtrAlloc( nSize );
    p->nSize = nSize;
    memset( p->pArray, 0, sizeof(void *) * nSize );
    return p;
}

static void Vec_PtrUniqify ( Vec_Ptr_t *  p, int(*)()  Vec_PtrSortCompare  )

static

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

Synopsis [Sorting the entries by their integer value.]

Description []

SideEffects []

SeeAlso []

Definition at line 875 of file vecPtr.h.

{
    int i, k;
    if ( p->nSize < 2 )
        return;
    Vec_PtrSort( p, Vec_PtrSortCompare );
    for ( i = k = 1; i < p->nSize; i++ )
        if ( p->pArray[i] != p->pArray[i-1] )
            p->pArray[k++] = p->pArray[i];
    p->nSize = k;
}

static void Vec_PtrUniqify2 ( Vec_Ptr_t *  p, int(*)(void **, void **)  Vec_PtrSortCompare, void(*)(void *)  Vec_PtrObjFree, Vec_Int_t *  vCounts  )

static

Definition at line 887 of file vecPtr.h.

{
    int i, k;
    if ( vCounts )
        Vec_IntFill( vCounts, 1, 1 );
    if ( p->nSize < 2 )
        return;
    Vec_PtrSort( p, (int (*)())Vec_PtrSortCompare );
    for ( i = k = 1; i < p->nSize; i++ )
        if ( Vec_PtrSortCompare(p->pArray+i, p->pArray+k-1) != 0 )
        {
            p->pArray[k++] = p->pArray[i];
            if ( vCounts )
                Vec_IntPush( vCounts, 1 );
        }
        else 
        {
            if ( Vec_PtrObjFree )
                Vec_PtrObjFree( p->pArray[i] );
            if ( vCounts )
                Vec_IntAddToEntry( vCounts, Vec_IntSize(vCounts)-1, 1 );
        }
    p->nSize = k;
    assert( vCounts == NULL || Vec_IntSize(vCounts) == Vec_PtrSize(p) );
}

static void Vec_PtrWriteEntry ( Vec_Ptr_t *  p, int  i, void *  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 396 of file vecPtr.h.

{
    assert( i >= 0 && i < p->nSize );
    p->pArray[i] = Entry;
}