vecHsh.h File Reference

#include <stdio.h>

Go to the source code of this file.

Data Structures
struct	Hsh_IntObj_t_
union	Hsh_IntObjWord_t_
struct	Hsh_IntMan_t_
struct	Hsh_VecObj_t_
struct	Hsh_VecMan_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Hsh_IntObj_t_	Hsh_IntObj_t
	INCLUDES ///. More...
typedef union Hsh_IntObjWord_t_	Hsh_IntObjWord_t
typedef struct Hsh_IntMan_t_	Hsh_IntMan_t
typedef struct Hsh_VecObj_t_	Hsh_VecObj_t
typedef struct Hsh_VecMan_t_	Hsh_VecMan_t

Functions
static unsigned *	Hsh_IntData (Hsh_IntMan_t *p, int iData)
	MACRO DEFINITIONS ///. More...
static Hsh_IntObj_t *	Hsh_IntObj (Hsh_IntMan_t *p, int iObj)
static word	Hsh_IntWord (int iData, int iNext)
static Hsh_VecObj_t *	Hsh_VecObj (Hsh_VecMan_t *p, int i)
static Hsh_IntMan_t *	Hsh_IntManStart (Vec_Int_t *vData, int nSize, int nEntries)
	FUNCTION DEFINITIONS ///. More...
static void	Hsh_IntManStop (Hsh_IntMan_t *p)
static int	Hsh_IntManHash (unsigned *pData, int nSize, int nTableSize)
static int *	Hsh_IntManLookup (Hsh_IntMan_t *p, unsigned *pData)
static int	Hsh_IntManAdd (Hsh_IntMan_t *p, int iData)
static Vec_Int_t *	Hsh_IntManHashArray (Vec_Int_t *vData, int nSize)
static Vec_Int_t *	Hsh_WrdManHashArray (Vec_Wrd_t *vDataW, int nSize)
static Hsh_IntMan_t *	Hsh_WrdManHashArrayStart (Vec_Wrd_t *vDataW, int nSize)
static void	Hsh_IntManHashArrayTest ()
static Hsh_VecMan_t *	Hsh_VecManStart (int nEntries)
static void	Hsh_VecManStop (Hsh_VecMan_t *p)
static Vec_Int_t *	Hsh_VecReadEntry (Hsh_VecMan_t *p, int i)
static int	Hsh_VecSize (Hsh_VecMan_t *p)
static int	Hsh_VecManHash (Vec_Int_t *vVec, int nTableSize)
static int	Hsh_VecManAdd (Hsh_VecMan_t *p, Vec_Int_t *vVec)
static void	Hsh_VecManHashTest ()

Typedef Documentation

typedef struct Hsh_IntMan_t_ Hsh_IntMan_t

Definition at line 56 of file vecHsh.h.

typedef typedefABC_NAMESPACE_HEADER_START struct Hsh_IntObj_t_ Hsh_IntObj_t

INCLUDES ///.

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

FileName [vecHsh.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Hashing vector entries.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 42 of file vecHsh.h.

typedef union Hsh_IntObjWord_t_ Hsh_IntObjWord_t

Definition at line 49 of file vecHsh.h.

typedef struct Hsh_VecMan_t_ Hsh_VecMan_t

Definition at line 75 of file vecHsh.h.

typedef struct Hsh_VecObj_t_ Hsh_VecObj_t

Definition at line 67 of file vecHsh.h.

Function Documentation

static unsigned* Hsh_IntData ( Hsh_IntMan_t *  p, int  iData  )

inlinestatic

MACRO DEFINITIONS ///.

Definition at line 88 of file vecHsh.h.

{ return (unsigned *)Vec_IntEntryP( p->vData, p->nSize * iData );             }

static int Hsh_IntManAdd ( Hsh_IntMan_t *  p, int  iData  )

inlinestatic

Definition at line 157 of file vecHsh.h.

{
    int i, * pPlace;
    if ( Vec_WrdSize(p->vObjs) > Vec_IntSize(p->vTable) )
    {
        Vec_IntFill( p->vTable, Abc_PrimeCudd(2*Vec_IntSize(p->vTable)), -1 );
        for ( i = 0; i < Vec_WrdSize(p->vObjs); i++ )
        {
            pPlace = Vec_IntEntryP( p->vTable, Hsh_IntManHash(Hsh_IntData(p, i), p->nSize, Vec_IntSize(p->vTable)) );
            Hsh_IntObj(p, i)->iNext = *pPlace;  *pPlace = i;
        }
    }
    pPlace = Hsh_IntManLookup( p, Hsh_IntData(p, iData) );
    if ( *pPlace == -1 )
    {
        *pPlace = Vec_WrdSize(p->vObjs);
        Vec_WrdPush( p->vObjs, Hsh_IntWord(iData, -1) );
        return Vec_WrdSize(p->vObjs) - 1;
    }
    return (word *)Hsh_IntObj(p, *pPlace) - Vec_WrdArray(p->vObjs);
}

static int Hsh_IntManHash ( unsigned *  pData, int  nSize, int  nTableSize  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 137 of file vecHsh.h.

{
    static int s_Primes[7] = { 4177, 5147, 5647, 6343, 7103, 7873, 8147 };
    unsigned char * pDataC = (unsigned char *)pData;
    int c, nChars = nSize * 4;
    unsigned Key = 0;
    for ( c = 0; c < nChars; c++ )
        Key += pDataC[c] * s_Primes[c % 7];
    return (int)(Key % nTableSize);
}

static Vec_Int_t* Hsh_IntManHashArray ( Vec_Int_t *  vData, int  nSize  )

inlinestatic

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

Synopsis [Hashes data by value.]

Description [Array vData contains data entries, each of 'nSize' integers. The resulting array contains the indexes of unique data entries.]

SideEffects []

SeeAlso []

Definition at line 191 of file vecHsh.h.

{
    Hsh_IntMan_t * p;
    Vec_Int_t * vRes = Vec_IntAlloc( 100 );
    int i, nEntries = Vec_IntSize(vData) / nSize;
    assert( Vec_IntSize(vData) % nSize == 0 );
    p = Hsh_IntManStart( vData, nSize, nEntries );
    for ( i = 0; i < nEntries; i++ )
        Vec_IntPush( vRes, Hsh_IntManAdd(p, i) );
    Hsh_IntManStop( p );
    return vRes;
}

static void Hsh_IntManHashArrayTest ( )

inlinestatic

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

Synopsis [Test procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 251 of file vecHsh.h.

{
    Vec_Int_t * vData = Vec_IntAlloc( 10 );
    Vec_Int_t * vRes;
    Vec_IntPush( vData, 12 );
    Vec_IntPush( vData, 17 );
    Vec_IntPush( vData, 13 );
    Vec_IntPush( vData, 12 );
    Vec_IntPush( vData, 15 );
    Vec_IntPush( vData, 3 );
    Vec_IntPush( vData, 16 );
    Vec_IntPush( vData, 16 );
    Vec_IntPush( vData, 12 );
    Vec_IntPush( vData, 17 );
    Vec_IntPush( vData, 12 );
    Vec_IntPush( vData, 12 );

    vRes = Hsh_IntManHashArray( vData, 2 );

    Vec_IntPrint( vData );
    Vec_IntPrint( vRes );

    Vec_IntFree( vData );
    Vec_IntFree( vRes );
}

static int* Hsh_IntManLookup ( Hsh_IntMan_t *  p, unsigned *  pData  )

inlinestatic

Definition at line 147 of file vecHsh.h.

{
    Hsh_IntObj_t * pObj;
    int * pPlace = Vec_IntEntryP( p->vTable, Hsh_IntManHash(pData, p->nSize, Vec_IntSize(p->vTable)) );
    for ( ; (pObj = Hsh_IntObj(p, *pPlace)); pPlace = &pObj->iNext )
        if ( !memcmp( pData, Hsh_IntData(p, pObj->iData), sizeof(int) * p->nSize ) )
            return pPlace;
    assert( *pPlace == -1 );
    return pPlace;
}

static Hsh_IntMan_t* Hsh_IntManStart ( Vec_Int_t *  vData, int  nSize, int  nEntries  )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Hashing data entries composed of nSize integers.]

Description []

SideEffects []

SeeAlso []

Definition at line 109 of file vecHsh.h.

{
    Hsh_IntMan_t * p;
    p = ABC_CALLOC( Hsh_IntMan_t, 1 );
    p->nSize  = nSize;
    p->vData  = vData;
    p->vTable = Vec_IntStartFull( Abc_PrimeCudd(nEntries) );
    p->vObjs  = Vec_WrdAlloc( nEntries );
    return p;
}

static void Hsh_IntManStop ( Hsh_IntMan_t *  p )

inlinestatic

Definition at line 119 of file vecHsh.h.

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

static Hsh_IntObj_t* Hsh_IntObj ( Hsh_IntMan_t *  p, int  iObj  )

inlinestatic

Definition at line 89 of file vecHsh.h.

{ return iObj == -1 ? NULL : (Hsh_IntObj_t *)Vec_WrdEntryP( p->vObjs, iObj ); }

static word Hsh_IntWord ( int  iData, int  iNext  )

inlinestatic

Definition at line 90 of file vecHsh.h.

{ Hsh_IntObjWord_t Obj = { {iData, iNext} }; return Obj.wWord;                }

static int Hsh_VecManAdd ( Hsh_VecMan_t *  p, Vec_Int_t *  vVec  )

inlinestatic

Definition at line 340 of file vecHsh.h.

{
    Hsh_VecObj_t * pObj;
    int i, Ent, * pPlace;
    if ( Vec_IntSize(p->vMap) > Vec_IntSize(p->vTable) )
    {
        Vec_IntFill( p->vTable, Abc_PrimeCudd(2*Vec_IntSize(p->vTable)), -1 );
        for ( i = 0; i < Vec_IntSize(p->vMap); i++ )
        {
            pPlace = Vec_IntEntryP( p->vTable, Hsh_VecManHash(Hsh_VecReadEntry(p, i), Vec_IntSize(p->vTable)) );
            Hsh_VecObj(p, i)->iNext = *pPlace; *pPlace = i;
        }
    }
    pPlace = Vec_IntEntryP( p->vTable, Hsh_VecManHash(vVec, Vec_IntSize(p->vTable)) );
    for ( ; (pObj = Hsh_VecObj(p, *pPlace)); pPlace = &pObj->iNext )
        if ( pObj->nSize == Vec_IntSize(vVec) && !memcmp( pObj->pArray, Vec_IntArray(vVec), sizeof(int) * pObj->nSize ) )
            return *pPlace;
    *pPlace = Vec_IntSize(p->vMap);
    assert( Vec_IntSize(p->vData) % 2 == 0 );
    Vec_IntPush( p->vMap, Vec_IntSize(p->vData) );
    Vec_IntPush( p->vData, Vec_IntSize(vVec) );
    Vec_IntPush( p->vData, -1 );
    Vec_IntForEachEntry( vVec, Ent, i )
        Vec_IntPush( p->vData, Ent );
    if ( Vec_IntSize(vVec) & 1 )
        Vec_IntPush( p->vData, -1 );
    return Vec_IntSize(p->vMap) - 1;
}

static int Hsh_VecManHash ( Vec_Int_t *  vVec, int  nTableSize  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 331 of file vecHsh.h.

{
    static unsigned s_Primes[7] = {4177, 5147, 5647, 6343, 7103, 7873, 8147};
    unsigned Key = 0;
    int i, Entry;
    Vec_IntForEachEntry( vVec, Entry, i )
        Key += (unsigned)Entry * s_Primes[i % 7];
    return (int)(Key % nTableSize);
}

static void Hsh_VecManHashTest ( )

inlinestatic

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

Synopsis [Test procedure.]

Description []

SideEffects []

SeeAlso []

Definition at line 380 of file vecHsh.h.

{
    Hsh_VecMan_t * p;
    Vec_Int_t * vTemp;
    Vec_Int_t * vRes = Vec_IntAlloc( 1000 );
    int i;
    
    p = Hsh_VecManStart( 5 );
    for ( i = 0; i < 20; i++ )
    {
        vTemp = Vec_IntStartNatural( i );
        Vec_IntPush( vRes, Hsh_VecManAdd( p, vTemp ) );
        Vec_IntFree( vTemp );
    }
    for ( ; i > 0; i-- )
    {
        vTemp = Vec_IntStartNatural( i );
        Vec_IntPush( vRes, Hsh_VecManAdd( p, vTemp ) );
        Vec_IntFree( vTemp );
    }
    Vec_IntPrint( vRes );
    Vec_IntFree( vRes );

    Hsh_VecManStop( p );
}

static Hsh_VecMan_t* Hsh_VecManStart ( int  nEntries )

inlinestatic

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

Synopsis [Hashing integer arrays.]

Description []

SideEffects []

SeeAlso []

Definition at line 292 of file vecHsh.h.

{
    Hsh_VecMan_t * p;
    p = ABC_CALLOC( Hsh_VecMan_t, 1 );
    p->vTable = Vec_IntStartFull( Abc_PrimeCudd(nEntries) );
    p->vData  = Vec_IntAlloc( nEntries * 4 );
    p->vMap   = Vec_IntAlloc( nEntries );
    return p;
}

static void Hsh_VecManStop ( Hsh_VecMan_t *  p )

inlinestatic

Definition at line 301 of file vecHsh.h.

{
    Vec_IntFree( p->vTable );
    Vec_IntFree( p->vData );
    Vec_IntFree( p->vMap );
    ABC_FREE( p );
}

static Hsh_VecObj_t* Hsh_VecObj ( Hsh_VecMan_t *  p, int  i  )

inlinestatic

Definition at line 92 of file vecHsh.h.

{ return i == -1 ? NULL : (Hsh_VecObj_t *)Vec_IntEntryP(p->vData, Vec_IntEntry(p->vMap, i));  }

static Vec_Int_t* Hsh_VecReadEntry ( Hsh_VecMan_t *  p, int  i  )

inlinestatic

Definition at line 308 of file vecHsh.h.

{
    Hsh_VecObj_t * pObj = Hsh_VecObj( p, i );
    p->vTemp.nSize = p->vTemp.nCap = pObj->nSize;
    p->vTemp.pArray = (int*)pObj + 2;
    return &p->vTemp;
}

static int Hsh_VecSize ( Hsh_VecMan_t *  p )

inlinestatic

Definition at line 315 of file vecHsh.h.

{
    return Vec_IntSize(p->vMap);
}

static Vec_Int_t* Hsh_WrdManHashArray ( Vec_Wrd_t *  vDataW, int  nSize  )

inlinestatic

Definition at line 203 of file vecHsh.h.

{
    Hsh_IntMan_t * p;
    Vec_Int_t Data = { 2*Vec_WrdCap(vDataW), 2*Vec_WrdSize(vDataW), (int *)Vec_WrdArray(vDataW) };
    Vec_Int_t * vData = &Data;
    Vec_Int_t * vRes = Vec_IntAlloc( 100 );
    int i, nEntries = Vec_IntSize(vData) / (2*nSize);
    assert( Vec_IntSize(vData) % (2*nSize) == 0 );
    p = Hsh_IntManStart( vData, (2*nSize), nEntries );
    for ( i = 0; i < nEntries; i++ )
        Vec_IntPush( vRes, Hsh_IntManAdd(p, i) );
    Hsh_IntManStop( p );
    return vRes;
}

static Hsh_IntMan_t* Hsh_WrdManHashArrayStart ( Vec_Wrd_t *  vDataW, int  nSize  )

inlinestatic

Definition at line 217 of file vecHsh.h.

{
    Hsh_IntMan_t * p;
    int i, nEntries = Vec_WrdSize(vDataW) / nSize;
    Vec_Int_t * vData = Vec_IntAlloc( 2*Vec_WrdSize(vDataW) );
    memcpy( Vec_IntArray(vData), Vec_WrdArray(vDataW), sizeof(word)*Vec_WrdSize(vDataW) );
    vData->nSize = 2*Vec_WrdSize(vDataW);
/*
    for ( i = 0; i < 30; i++ )
    {
        extern void Extra_PrintHex( FILE * pFile, unsigned * pTruth, int nVars );
        Extra_PrintHex( stdout, (unsigned *) Vec_WrdEntryP(vDataW, i), 6 );  printf( "  " );
        Kit_DsdPrintFromTruth( (unsigned *) Vec_WrdEntryP(vDataW, i), 6 );   printf( "\n" );
    }
*/
    assert( Vec_IntSize(vData) % (2*nSize) == 0 );
    p = Hsh_IntManStart( vData, (2*nSize), nEntries );
    for ( i = 0; i < nEntries; i++ )
        Hsh_IntManAdd( p, i );
    assert( Vec_WrdSize(p->vObjs) == nEntries );
    return p;
}