vecFlt.h File Reference

#include <stdio.h>

Go to the source code of this file.

Data Structures
struct	Vec_Flt_t_

Macros
#define	Vec_FltForEachEntry(vVec, Entry, i)   for ( i = 0; (i < Vec_FltSize(vVec)) && (((Entry) = Vec_FltEntry(vVec, i)), 1); i++ )
	MACRO DEFINITIONS ///. More...
#define	Vec_FltForEachEntryStart(vVec, Entry, i, Start)   for ( i = Start; (i < Vec_FltSize(vVec)) && (((Entry) = Vec_FltEntry(vVec, i)), 1); i++ )
#define	Vec_FltForEachEntryStartStop(vVec, Entry, i, Start, Stop)   for ( i = Start; (i < Stop) && (((Entry) = Vec_FltEntry(vVec, i)), 1); i++ )
#define	Vec_FltForEachEntryReverse(vVec, pEntry, i)   for ( i = Vec_FltSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_FltEntry(vVec, i)), 1); i-- )

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Flt_t_	Vec_Flt_t
	INCLUDES ///. More...

Functions
static Vec_Flt_t *	Vec_FltAlloc (int nCap)
	FUNCTION DEFINITIONS ///. More...
static Vec_Flt_t *	Vec_FltStart (int nSize)
static Vec_Flt_t *	Vec_FltStartFull (int nSize)
static Vec_Flt_t *	Vec_FltAllocArray (float *pArray, int nSize)
static Vec_Flt_t *	Vec_FltAllocArrayCopy (float *pArray, int nSize)
static Vec_Flt_t *	Vec_FltDup (Vec_Flt_t *pVec)
static Vec_Flt_t *	Vec_FltDupArray (Vec_Flt_t *pVec)
static void	Vec_FltFree (Vec_Flt_t *p)
static void	Vec_FltFreeP (Vec_Flt_t **p)
static float *	Vec_FltReleaseArray (Vec_Flt_t *p)
static float *	Vec_FltArray (Vec_Flt_t *p)
static float **	Vec_FltArrayP (Vec_Flt_t *p)
static int	Vec_FltSize (Vec_Flt_t *p)
static int	Vec_FltCap (Vec_Flt_t *p)
static double	Vec_FltMemory (Vec_Flt_t *p)
static float	Vec_FltEntry (Vec_Flt_t *p, int i)
static float *	Vec_FltEntryP (Vec_Flt_t *p, int i)
static void	Vec_FltWriteEntry (Vec_Flt_t *p, int i, float Entry)
static void	Vec_FltAddToEntry (Vec_Flt_t *p, int i, float Addition)
static void	Vec_FltUpdateEntry (Vec_Flt_t *p, int i, float Value)
static float	Vec_FltEntryLast (Vec_Flt_t *p)
static void	Vec_FltGrow (Vec_Flt_t *p, int nCapMin)
static void	Vec_FltFill (Vec_Flt_t *p, int nSize, float Entry)
static void	Vec_FltFillExtra (Vec_Flt_t *p, int nSize, float Fill)
static void	Vec_FltShrink (Vec_Flt_t *p, int nSizeNew)
static void	Vec_FltClear (Vec_Flt_t *p)
static void	Vec_FltPush (Vec_Flt_t *p, float Entry)
static void	Vec_FltPushOrder (Vec_Flt_t *p, float Entry)
static int	Vec_FltPushUnique (Vec_Flt_t *p, float Entry)
static float	Vec_FltPop (Vec_Flt_t *p)
static int	Vec_FltFind (Vec_Flt_t *p, float Entry)
static int	Vec_FltRemove (Vec_Flt_t *p, float Entry)
static float	Vec_FltFindMax (Vec_Flt_t *p)
static float	Vec_FltFindMin (Vec_Flt_t *p)
static int	Vec_FltEqual (Vec_Flt_t *p1, Vec_Flt_t *p2)
static void	Vec_FltPrint (Vec_Flt_t *vVec)
static int	Vec_FltSortCompare1 (float *pp1, float *pp2)
static int	Vec_FltSortCompare2 (float *pp1, float *pp2)
static void	Vec_FltSort (Vec_Flt_t *p, int fReverse)

Macro Definition Documentation

#define Vec_FltForEachEntry	(		vVec,
			Entry,
			i
	)		for ( i = 0; (i < Vec_FltSize(vVec)) && (((Entry) = Vec_FltEntry(vVec, i)), 1); i++ )

MACRO DEFINITIONS ///.

Definition at line 54 of file vecFlt.h.

#define Vec_FltForEachEntryReverse	(		vVec,
			pEntry,
			i
	)		for ( i = Vec_FltSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_FltEntry(vVec, i)), 1); i-- )

Definition at line 60 of file vecFlt.h.

#define Vec_FltForEachEntryStart	(		vVec,
			Entry,
			i,
			Start
	)		for ( i = Start; (i < Vec_FltSize(vVec)) && (((Entry) = Vec_FltEntry(vVec, i)), 1); i++ )

Definition at line 56 of file vecFlt.h.

#define Vec_FltForEachEntryStartStop	(		vVec,
			Entry,
			i,
			Start,
			Stop
	)		for ( i = Start; (i < Stop) && (((Entry) = Vec_FltEntry(vVec, i)), 1); i++ )

Definition at line 58 of file vecFlt.h.

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Flt_t_ Vec_Flt_t

INCLUDES ///.

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

FileName [vecFlt.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Resizable arrays of floats.]

Author [Aaron P. Hurst]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 42 of file vecFlt.h.

Function Documentation

static void Vec_FltAddToEntry ( Vec_Flt_t *  p, int  i, float  Addition  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 381 of file vecFlt.h.

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

static Vec_Flt_t* Vec_FltAlloc ( int  nCap )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Allocates a vector with the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 78 of file vecFlt.h.

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

static Vec_Flt_t* Vec_FltAllocArray ( float *  pArray, int  nSize  )

inlinestatic

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

Synopsis [Creates the vector from a float array of the given size.]

Description []

SideEffects []

SeeAlso []

Definition at line 129 of file vecFlt.h.

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

static Vec_Flt_t* Vec_FltAllocArrayCopy ( float *  pArray, int  nSize  )

inlinestatic

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

Synopsis [Creates the vector from a float array of the given size.]

Description []

SideEffects []

SeeAlso []

Definition at line 150 of file vecFlt.h.

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

static float* Vec_FltArray ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 274 of file vecFlt.h.

{
    return p->pArray;
}

static float** Vec_FltArrayP ( Vec_Flt_t *  p )

inlinestatic

Definition at line 278 of file vecFlt.h.

{
    return &p->pArray;
}

static int Vec_FltCap ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 310 of file vecFlt.h.

{
    return p->nCap;
}

static void Vec_FltClear ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 512 of file vecFlt.h.

{
    p->nSize = 0;
}

static Vec_Flt_t* Vec_FltDup ( Vec_Flt_t *  pVec )

inlinestatic

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

Synopsis [Duplicates the float array.]

Description []

SideEffects []

SeeAlso []

Definition at line 172 of file vecFlt.h.

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

static Vec_Flt_t* Vec_FltDupArray ( Vec_Flt_t *  pVec )

inlinestatic

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

Synopsis [Transfers the array into another vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 194 of file vecFlt.h.

{
    Vec_Flt_t * p;
    p = ABC_ALLOC( Vec_Flt_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 float Vec_FltEntry ( Vec_Flt_t *  p, int  i  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 342 of file vecFlt.h.

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

static float Vec_FltEntryLast ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 415 of file vecFlt.h.

{
    return p->pArray[p->nSize-1];
}

static float* Vec_FltEntryP ( Vec_Flt_t *  p, int  i  )

inlinestatic

Definition at line 347 of file vecFlt.h.

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

static int Vec_FltEqual ( Vec_Flt_t *  p1, Vec_Flt_t *  p2  )

inlinestatic

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

Synopsis [Checks if two vectors are equal.]

Description []

SideEffects []

SeeAlso []

Definition at line 701 of file vecFlt.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_FltFill ( Vec_Flt_t *  p, int  nSize, float  Entry  )

inlinestatic

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 450 of file vecFlt.h.

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

static void Vec_FltFillExtra ( Vec_Flt_t *  p, int  nSize, float  Fill  )

inlinestatic

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 470 of file vecFlt.h.

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

static int Vec_FltFind ( Vec_Flt_t *  p, float  Entry  )

inlinestatic

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

Synopsis [Find entry.]

Description []

SideEffects []

SeeAlso []

Definition at line 619 of file vecFlt.h.

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

static float Vec_FltFindMax ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis [Find entry.]

Description []

SideEffects []

SeeAlso []

Definition at line 665 of file vecFlt.h.

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

static float Vec_FltFindMin ( Vec_Flt_t *  p )

inlinestatic

Definition at line 677 of file vecFlt.h.

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

static void Vec_FltFree ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 218 of file vecFlt.h.

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

static void Vec_FltFreeP ( Vec_Flt_t **  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 235 of file vecFlt.h.

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

static void Vec_FltGrow ( Vec_Flt_t *  p, int  nCapMin  )

inlinestatic

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

Synopsis [Resizes the vector to the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 431 of file vecFlt.h.

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

static double Vec_FltMemory ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 326 of file vecFlt.h.

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

static float Vec_FltPop ( Vec_Flt_t *  p )

inlinestatic

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 602 of file vecFlt.h.

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

static void Vec_FltPrint ( Vec_Flt_t *  vVec )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 723 of file vecFlt.h.

{
    int i; float Entry;
    printf( "Vector has %d entries: {", Vec_FltSize(vVec) );
    Vec_FltForEachEntry( vVec, Entry, i )
        printf( " %f", Entry );
    printf( " }\n" );
}

static void Vec_FltPush ( Vec_Flt_t *  p, float  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 528 of file vecFlt.h.

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

static void Vec_FltPushOrder ( Vec_Flt_t *  p, float  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 551 of file vecFlt.h.

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

static int Vec_FltPushUnique ( Vec_Flt_t *  p, float  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 581 of file vecFlt.h.

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

static float* Vec_FltReleaseArray ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 254 of file vecFlt.h.

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

static int Vec_FltRemove ( Vec_Flt_t *  p, float  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 639 of file vecFlt.h.

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

static void Vec_FltShrink ( Vec_Flt_t *  p, int  nSizeNew  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 495 of file vecFlt.h.

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

static int Vec_FltSize ( Vec_Flt_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 294 of file vecFlt.h.

{
    return p->nSize;
}

static void Vec_FltSort ( Vec_Flt_t *  p, int  fReverse  )

inlinestatic

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

Synopsis [Sorting the entries by their value.]

Description []

SideEffects []

SeeAlso []

Definition at line 785 of file vecFlt.h.

{
    if ( fReverse ) 
        qsort( (void *)p->pArray, p->nSize, sizeof(float), 
                (int (*)(const void *, const void *)) Vec_FltSortCompare2 );
    else
        qsort( (void *)p->pArray, p->nSize, sizeof(float), 
                (int (*)(const void *, const void *)) Vec_FltSortCompare1 );
}

static int Vec_FltSortCompare1 ( float *  pp1, float *  pp2  )

static

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

Synopsis [Comparison procedure for two floats.]

Description []

SideEffects []

SeeAlso []

Definition at line 743 of file vecFlt.h.

{
    // for some reason commenting out lines (as shown) led to crashing of the release version
    if ( *pp1 < *pp2 )
        return -1;
    if ( *pp1 > *pp2 ) //
        return 1;
    return 0; //
}

static int Vec_FltSortCompare2 ( float *  pp1, float *  pp2  )

static

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

Synopsis [Comparison procedure for two floats.]

Description []

SideEffects []

SeeAlso []

Definition at line 764 of file vecFlt.h.

{
    // for some reason commenting out lines (as shown) led to crashing of the release version
    if ( *pp1 > *pp2 )
        return -1;
    if ( *pp1 < *pp2 ) //
        return 1;
    return 0; //
}

static Vec_Flt_t* Vec_FltStart ( int  nSize )

inlinestatic

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 101 of file vecFlt.h.

{
    Vec_Flt_t * p;
    p = Vec_FltAlloc( nSize );
    p->nSize = nSize;
    memset( p->pArray, 0, sizeof(float) * nSize );
    return p;
}

static Vec_Flt_t* Vec_FltStartFull ( int  nSize )

inlinestatic

Definition at line 109 of file vecFlt.h.

{
    Vec_Flt_t * p;
    p = Vec_FltAlloc( nSize );
    p->nSize = nSize;
    memset( p->pArray, 0xFF, sizeof(float) * nSize );
    return p;
}

static void Vec_FltUpdateEntry ( Vec_Flt_t *  p, int  i, float  Value  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 398 of file vecFlt.h.

{
    if ( Vec_FltEntry( p, i ) < Value )
        Vec_FltWriteEntry( p, i, Value );
}

static void Vec_FltWriteEntry ( Vec_Flt_t *  p, int  i, float  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 364 of file vecFlt.h.

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