vecHash.h File Reference

#include <stdio.h>

Go to the source code of this file.

Data Structures
struct	Hash_IntObj_t_
struct	Hash_IntMan_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Hash_IntObj_t_	Hash_IntObj_t
	INCLUDES ///. More...
typedef struct Hash_IntMan_t_	Hash_IntMan_t

Functions
static Hash_IntObj_t *	Hash_IntObj (Hash_IntMan_t *p, int i)
	MACRO DEFINITIONS ///. More...
static int	Hash_IntObjData0 (Hash_IntMan_t *p, int i)
static int	Hash_IntObjData1 (Hash_IntMan_t *p, int i)
static int	Hash_IntObjData2 (Hash_IntMan_t *p, int i)
static int	Hash_Int2ObjInc (Hash_IntMan_t *p, int i)
static int	Hash_Int2ObjDec (Hash_IntMan_t *p, int i)
static void	Hash_Int2ObjSetData2 (Hash_IntMan_t *p, int i, int d)
static Hash_IntMan_t *	Hash_IntManStart (int nSize)
	FUNCTION DEFINITIONS ///. More...
static void	Hash_IntManStop (Hash_IntMan_t *p)
static int	Hash_IntManEntryNum (Hash_IntMan_t *p)
static void	Hash_IntManProfile (Hash_IntMan_t *p)
static int	Hash_Int2ManHash (int iData0, int iData1, int nTableSize)
static int *	Hash_Int2ManLookup (Hash_IntMan_t *p, int iData0, int iData1)
static int	Hash_Int2ManInsert (Hash_IntMan_t *p, int iData0, int iData1, int iData2)
static int	Hsh_Int3ManHash (int iData0, int iData1, int iData2, int nTableSize)
static int *	Hsh_Int3ManLookup (Hash_IntMan_t *p, int iData0, int iData1, int iData2)
static int	Hsh_Int3ManInsert (Hash_IntMan_t *p, int iData0, int iData1, int iData2)
static void	Hash_IntManHashArrayTest ()

Typedef Documentation

typedef struct Hash_IntMan_t_ Hash_IntMan_t

Definition at line 51 of file vecHash.h.

typedef typedefABC_NAMESPACE_HEADER_START struct Hash_IntObj_t_ Hash_IntObj_t

INCLUDES ///.

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

FileName [vecHash.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Hashing integer pairs/triples into an integer.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 42 of file vecHash.h.

Function Documentation

static int Hash_Int2ManHash ( int  iData0, int  iData1, int  nTableSize  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 130 of file vecHash.h.

{
    return (4177 * (unsigned)iData0 + 7873 * (unsigned)iData1) % (unsigned)nTableSize;
}

static int Hash_Int2ManInsert ( Hash_IntMan_t *  p, int  iData0, int  iData1, int  iData2  )

inlinestatic

Definition at line 144 of file vecHash.h.

{
    Hash_IntObj_t * pObj;
    int i, nObjs, * pPlace;
    nObjs = Vec_IntSize(p->vObjs)/4;
    if ( nObjs > Vec_IntSize(p->vTable) )
    {
//        printf( "Resizing...\n" );
        Vec_IntFill( p->vTable, Abc_PrimeCudd(2*Vec_IntSize(p->vTable)), 0 );
        for ( i = 1; i < nObjs; i++ )
        {
            pObj = Hash_IntObj( p, i );
            pObj->iNext = 0;
            pPlace = Hash_Int2ManLookup( p, pObj->iData0, pObj->iData1 );
            assert( *pPlace == 0 );
            *pPlace = i;
        }
    }
    pPlace = Hash_Int2ManLookup( p, iData0, iData1 );
    if ( *pPlace )
        return *pPlace;
    *pPlace = nObjs;
    Vec_IntPush( p->vObjs, iData0 );
    Vec_IntPush( p->vObjs, iData1 );
    Vec_IntPush( p->vObjs, iData2 );
    Vec_IntPush( p->vObjs, 0 );
    return nObjs;
}

static int* Hash_Int2ManLookup ( Hash_IntMan_t *  p, int  iData0, int  iData1  )

inlinestatic

Definition at line 134 of file vecHash.h.

{
    Hash_IntObj_t * pObj;
    int * pPlace = Vec_IntEntryP( p->vTable, Hash_Int2ManHash(iData0, iData1, Vec_IntSize(p->vTable)) );
    for ( ; (pObj = Hash_IntObj(p, *pPlace)); pPlace = &pObj->iNext )
        if ( pObj->iData0 == iData0 && pObj->iData1 == iData1 )
            return pPlace;
    assert( *pPlace == 0 );
    return pPlace;
}

static int Hash_Int2ObjDec ( Hash_IntMan_t *  p, int  i  )

inlinestatic

Definition at line 68 of file vecHash.h.

{ return --Hash_IntObj(p, i)->iData2;                         }

static int Hash_Int2ObjInc ( Hash_IntMan_t *  p, int  i  )

inlinestatic

Definition at line 67 of file vecHash.h.

{ return Hash_IntObj(p, i)->iData2++;                         }

static void Hash_Int2ObjSetData2 ( Hash_IntMan_t *  p, int  i, int  d  )

inlinestatic

Definition at line 69 of file vecHash.h.

{ Hash_IntObj(p, i)->iData2 = d;                              }

static int Hash_IntManEntryNum ( Hash_IntMan_t *  p )

inlinestatic

Definition at line 101 of file vecHash.h.

{
    return Vec_IntSize(p->vObjs)/4 - 1;
}

static void Hash_IntManHashArrayTest ( )

inlinestatic

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

Synopsis [Test procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 238 of file vecHash.h.

{
    Hash_IntMan_t * p;
    int RetValue;

    p = Hash_IntManStart( 10 );

    RetValue = Hash_Int2ManInsert( p, 10, 11, 12 );
    assert( RetValue );

    RetValue = Hash_Int2ManInsert( p, 20, 21, 22 );
    assert( RetValue );

    RetValue = Hash_Int2ManInsert( p, 10, 11, 12 );
    assert( !RetValue );
 
    Hash_IntManStop( p );
}

static void Hash_IntManProfile ( Hash_IntMan_t *  p )

inlinestatic

Definition at line 105 of file vecHash.h.

{
    Hash_IntObj_t * pObj;
    int i, Count, Entry;
    Vec_IntForEachEntry( p->vTable, Entry, i )
    {
        Count = 0;
        for ( pObj = Hash_IntObj( p, Entry ); pObj; pObj = Hash_IntObj( p, pObj->iNext ) )
            Count++;
        printf( "%d ", Count );
    }
    printf( "\n" );
}

static Hash_IntMan_t* Hash_IntManStart ( int  nSize )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Hashing data entries composed of nSize integers.]

Description []

SideEffects []

SeeAlso []

Definition at line 86 of file vecHash.h.

{
    Hash_IntMan_t * p;  nSize += 100;
    p = ABC_CALLOC( Hash_IntMan_t, 1 );
    p->vTable = Vec_IntStart( Abc_PrimeCudd(nSize) );
    p->vObjs  = Vec_IntAlloc( 4*nSize );
    Vec_IntFill( p->vObjs, 4, 0 );
    return p;
}

static void Hash_IntManStop ( Hash_IntMan_t *  p )

inlinestatic

Definition at line 95 of file vecHash.h.

{
    Vec_IntFree( p->vObjs );
    Vec_IntFree( p->vTable );
    ABC_FREE( p );
}

static Hash_IntObj_t* Hash_IntObj ( Hash_IntMan_t *  p, int  i  )

inlinestatic

MACRO DEFINITIONS ///.

Definition at line 62 of file vecHash.h.

{ return i ? (Hash_IntObj_t *)Vec_IntEntryP(p->vObjs, 4*i) : NULL;  }

static int Hash_IntObjData0 ( Hash_IntMan_t *  p, int  i  )

inlinestatic

Definition at line 63 of file vecHash.h.

{ return Hash_IntObj(p, i)->iData0;                                 }

static int Hash_IntObjData1 ( Hash_IntMan_t *  p, int  i  )

inlinestatic

Definition at line 64 of file vecHash.h.

{ return Hash_IntObj(p, i)->iData1;                                 }

static int Hash_IntObjData2 ( Hash_IntMan_t *  p, int  i  )

inlinestatic

Definition at line 65 of file vecHash.h.

{ return Hash_IntObj(p, i)->iData2;                                 }

static int Hsh_Int3ManHash ( int  iData0, int  iData1, int  iData2, int  nTableSize  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 184 of file vecHash.h.

{
    return (4177 * (unsigned)iData0 + 7873 * (unsigned)iData1 + 1699 * (unsigned)iData2) % (unsigned)nTableSize;
}

static int Hsh_Int3ManInsert ( Hash_IntMan_t *  p, int  iData0, int  iData1, int  iData2  )

inlinestatic

Definition at line 198 of file vecHash.h.

{
    Hash_IntObj_t * pObj;
    int i, nObjs, * pPlace;
    nObjs = Vec_IntSize(p->vObjs)/4;
    if ( nObjs > Vec_IntSize(p->vTable) )
    {
//        printf( "Resizing...\n" );
        Vec_IntFill( p->vTable, Abc_PrimeCudd(2*Vec_IntSize(p->vTable)), 0 );
        for ( i = 1; i < nObjs; i++ )
        {
            pObj = Hash_IntObj( p, i );
            pObj->iNext = 0;
            pPlace = Hsh_Int3ManLookup( p, pObj->iData0, pObj->iData1, pObj->iData2 );
            assert( *pPlace == 0 );
            *pPlace = i;
        }
    }
    pPlace = Hsh_Int3ManLookup( p, iData0, iData1, iData2 );
    if ( *pPlace )
        return *pPlace;
    *pPlace = nObjs;
    Vec_IntPush( p->vObjs, iData0 );
    Vec_IntPush( p->vObjs, iData1 );
    Vec_IntPush( p->vObjs, iData2 );
    Vec_IntPush( p->vObjs, 0 );
    return nObjs;
}

static int* Hsh_Int3ManLookup ( Hash_IntMan_t *  p, int  iData0, int  iData1, int  iData2  )

inlinestatic

Definition at line 188 of file vecHash.h.

{
    Hash_IntObj_t * pObj;
    int * pPlace = Vec_IntEntryP( p->vTable, Hsh_Int3ManHash(iData0, iData1, iData2, Vec_IntSize(p->vTable)) );
    for ( ; (pObj = Hash_IntObj(p, *pPlace)); pPlace = &pObj->iNext )
        if ( pObj->iData0 == iData0 && pObj->iData1 == iData1 && pObj->iData2 == iData2 )
            return pPlace;
    assert( *pPlace == 0 );
    return pPlace;
}