vecSet.h File Reference

#include <stdio.h>

Go to the source code of this file.

Data Structures
struct	Vec_Set_t_

Macros
#define	Vec_SetForEachEntry(Type, pVec, nSize, pSet, p, s)

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Set_t_	Vec_Set_t
	INCLUDES ///. More...

Functions
static int	Vec_SetHandPage (Vec_Set_t *p, int h)
	MACRO DEFINITIONS ///. More...
static int	Vec_SetHandShift (Vec_Set_t *p, int h)
static int	Vec_SetWordNum (int nSize)
static word *	Vec_SetEntry (Vec_Set_t *p, int h)
static int	Vec_SetEntryNum (Vec_Set_t *p)
static void	Vec_SetWriteEntryNum (Vec_Set_t *p, int i)
static int	Vec_SetLimit (word *p)
static int	Vec_SetLimitS (word *p)
static int	Vec_SetIncLimit (word *p, int nWords)
static int	Vec_SetIncLimitS (word *p, int nWords)
static void	Vec_SetWriteLimit (word *p, int nWords)
static void	Vec_SetWriteLimitS (word *p, int nWords)
static int	Vec_SetHandCurrent (Vec_Set_t *p)
static int	Vec_SetHandCurrentS (Vec_Set_t *p)
static int	Vec_SetHandMemory (Vec_Set_t *p, int h)
static int	Vec_SetMemory (Vec_Set_t *p)
static int	Vec_SetMemoryS (Vec_Set_t *p)
static int	Vec_SetMemoryAll (Vec_Set_t *p)
static void	Vec_SetAlloc_ (Vec_Set_t *p, int nPageSize)
	FUNCTION DEFINITIONS ///. More...
static Vec_Set_t *	Vec_SetAlloc (int nPageSize)
static void	Vec_SetRestart (Vec_Set_t *p)
static void	Vec_SetFree_ (Vec_Set_t *p)
static void	Vec_SetFree (Vec_Set_t *p)
static double	Vec_ReportMemory (Vec_Set_t *p)
static int	Vec_SetAppend (Vec_Set_t *p, int *pArray, int nSize)
static int	Vec_SetAppendS (Vec_Set_t *p, int nSize)
static void	Vec_SetShrink (Vec_Set_t *p, int h)
static void	Vec_SetShrinkS (Vec_Set_t *p, int h)
static void	Vec_SetShrinkLimits (Vec_Set_t *p)

Macro Definition Documentation

#define Vec_SetForEachEntry	(		Type,
			pVec,
			nSize,
			pSet,
			p,
			s
	)

Value:

for ( p = 0; p <= pVec->iPage; p++ )                       \
        for ( s = 2; s < Vec_SetLimit(pVec->pPages[p]) && ((pSet) = (Type)(pVec->pPages[p] + (s))); s += nSize )

Definition at line 96 of file vecSet.h.

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Set_t_ Vec_Set_t

INCLUDES ///.

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

FileName [vecSet.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solvers.]

Synopsis [Multi-page dynamic array.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 49 of file vecSet.h.

Function Documentation

static double Vec_ReportMemory ( Vec_Set_t *  p )

inlinestatic

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

Synopsis [Returns memory in bytes occupied by the vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 194 of file vecSet.h.

{
    double Mem = sizeof(Vec_Set_t);
    Mem += p->nPagesAlloc * sizeof(void *);
    Mem += sizeof(word) * (1 << p->nPageSize) * (1 + p->iPage);
    return Mem;
}

static Vec_Set_t* Vec_SetAlloc ( int  nPageSize )

inlinestatic

Definition at line 128 of file vecSet.h.

{
    Vec_Set_t * p;
    p = ABC_CALLOC( Vec_Set_t, 1 );
    Vec_SetAlloc_( p, nPageSize );
    return p;
}

static void Vec_SetAlloc_ ( Vec_Set_t *  p, int  nPageSize  )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Allocating vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 115 of file vecSet.h.

{
    assert( nPageSize > 8 );
    memset( p, 0, sizeof(Vec_Set_t) );
    p->nPageSize    = nPageSize;
    p->uPageMask    = (unsigned)((1 << nPageSize) - 1);
    p->nPagesAlloc  = 256;
    p->pPages       = ABC_CALLOC( word *, p->nPagesAlloc );
    p->pPages[0]    = ABC_ALLOC( word, (1 << p->nPageSize) );
    p->pPages[0][0] = ~0;
    p->pPages[0][1] = ~0;
    Vec_SetWriteLimit( p->pPages[0], 2 );
}

static int Vec_SetAppend ( Vec_Set_t *  p, int *  pArray, int  nSize  )

inlinestatic

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

Synopsis [Appending entries to vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 213 of file vecSet.h.

{
    int nWords = Vec_SetWordNum( nSize );
    assert( nWords < (1 << p->nPageSize) );
    p->nEntries++;
    if ( Vec_SetLimit( p->pPages[p->iPage] ) + nWords >= (1 << p->nPageSize) )
    {
        if ( ++p->iPage == p->nPagesAlloc )
        {
            p->pPages = ABC_REALLOC( word *, p->pPages, p->nPagesAlloc * 2 );
            memset( p->pPages + p->nPagesAlloc, 0, sizeof(word *) * p->nPagesAlloc );
            p->nPagesAlloc *= 2;
        }
        if ( p->pPages[p->iPage] == NULL )
            p->pPages[p->iPage] = ABC_ALLOC( word, (1 << p->nPageSize) );
        Vec_SetWriteLimit( p->pPages[p->iPage], 2 );
        p->pPages[p->iPage][1] = ~0;
    }
    if ( pArray )
        memcpy( p->pPages[p->iPage] + Vec_SetLimit(p->pPages[p->iPage]), pArray, sizeof(int) * nSize );
    Vec_SetIncLimit( p->pPages[p->iPage], nWords );
    return Vec_SetHandCurrent(p) - nWords;
}

static int Vec_SetAppendS ( Vec_Set_t *  p, int  nSize  )

inlinestatic

Definition at line 236 of file vecSet.h.

{
    int nWords = Vec_SetWordNum( nSize );
    assert( nWords < (1 << p->nPageSize) );
    if ( Vec_SetLimitS( p->pPages[p->iPageS] ) + nWords >= (1 << p->nPageSize) )
        Vec_SetWriteLimitS( p->pPages[++p->iPageS], 2 );
    Vec_SetIncLimitS( p->pPages[p->iPageS], nWords );
    return Vec_SetHandCurrentS(p) - nWords;
}

static word* Vec_SetEntry ( Vec_Set_t *  p, int  h  )

inlinestatic

Definition at line 70 of file vecSet.h.

{ return p->pPages[Vec_SetHandPage(p, h)] + Vec_SetHandShift(p, h);                     }

static int Vec_SetEntryNum ( Vec_Set_t *  p )

inlinestatic

Definition at line 71 of file vecSet.h.

{ return p->nEntries;            }

static void Vec_SetFree ( Vec_Set_t *  p )

inlinestatic

Definition at line 176 of file vecSet.h.

{
    if ( p == NULL ) return;
    Vec_SetFree_( p );
    ABC_FREE( p );
}

static void Vec_SetFree_ ( Vec_Set_t *  p )

inlinestatic

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

Synopsis [Freeing vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 168 of file vecSet.h.

{
    int i;
    if ( p == NULL ) return;
    for ( i = 0; i < p->nPagesAlloc; i++ )
        ABC_FREE( p->pPages[i] );
    ABC_FREE( p->pPages );
}

static int Vec_SetHandCurrent ( Vec_Set_t *  p )

inlinestatic

Definition at line 83 of file vecSet.h.

{ return (p->iPage << p->nPageSize)  + Vec_SetLimit(p->pPages[p->iPage]);               }

static int Vec_SetHandCurrentS ( Vec_Set_t *  p )

inlinestatic

Definition at line 84 of file vecSet.h.

{ return (p->iPageS << p->nPageSize) + Vec_SetLimitS(p->pPages[p->iPageS]);             }

static int Vec_SetHandMemory ( Vec_Set_t *  p, int  h  )

inlinestatic

Definition at line 86 of file vecSet.h.

{ return Vec_SetHandPage(p, h) * (1 << (p->nPageSize+3)) + Vec_SetHandShift(p, h) * 8;  }

static int Vec_SetHandPage ( Vec_Set_t *  p, int  h  )

inlinestatic

MACRO DEFINITIONS ///.

Definition at line 65 of file vecSet.h.

{ return h >> p->nPageSize;      }

static int Vec_SetHandShift ( Vec_Set_t *  p, int  h  )

inlinestatic

Definition at line 66 of file vecSet.h.

{ return h & p->uPageMask;       }

static int Vec_SetIncLimit ( word *  p, int  nWords  )

inlinestatic

Definition at line 77 of file vecSet.h.

{ return p[0] += nWords;         }

static int Vec_SetIncLimitS ( word *  p, int  nWords  )

inlinestatic

Definition at line 78 of file vecSet.h.

{ return p[1] += nWords;         }

static int Vec_SetLimit ( word *  p )

inlinestatic

Definition at line 74 of file vecSet.h.

{ return p[0];                   }

static int Vec_SetLimitS ( word *  p )

inlinestatic

Definition at line 75 of file vecSet.h.

{ return p[1];                   }

static int Vec_SetMemory ( Vec_Set_t *  p )

inlinestatic

Definition at line 87 of file vecSet.h.

{ return Vec_SetHandMemory(p, Vec_SetHandCurrent(p));                                   }

static int Vec_SetMemoryAll ( Vec_Set_t *  p )

inlinestatic

Definition at line 89 of file vecSet.h.

{ return (p->iPage+1) * (1 << (p->nPageSize+3));                                        }

static int Vec_SetMemoryS ( Vec_Set_t *  p )

inlinestatic

Definition at line 88 of file vecSet.h.

{ return Vec_SetHandMemory(p, Vec_SetHandCurrentS(p));                                  }

static void Vec_SetRestart ( Vec_Set_t *  p )

inlinestatic

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

Synopsis [Resetting vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 147 of file vecSet.h.

{
    p->nEntries     = 0;
    p->iPage        = 0;
    p->iPageS       = 0;
    p->pPages[0][0] = ~0;
    p->pPages[0][1] = ~0;
    Vec_SetWriteLimit( p->pPages[0], 2 );
}

static void Vec_SetShrink ( Vec_Set_t *  p, int  h  )

inlinestatic

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

Synopsis [Shrinking vector size.]

Description []

SideEffects [This procedure does not update the number of entries.]

SeeAlso []

Definition at line 257 of file vecSet.h.

{
    assert( h <= Vec_SetHandCurrent(p) );
    p->iPage = Vec_SetHandPage(p, h);
    Vec_SetWriteLimit( p->pPages[p->iPage], Vec_SetHandShift(p, h) );
}

static void Vec_SetShrinkLimits ( Vec_Set_t *  p )

inlinestatic

Definition at line 270 of file vecSet.h.

{
    int i;
    for ( i = 0; i <= p->iPage; i++ )
        Vec_SetWriteLimit( p->pPages[i], Vec_SetLimitS(p->pPages[i]) );
}

static void Vec_SetShrinkS ( Vec_Set_t *  p, int  h  )

inlinestatic

Definition at line 263 of file vecSet.h.

{
    assert( h <= Vec_SetHandCurrent(p) );
    p->iPageS = Vec_SetHandPage(p, h);
    Vec_SetWriteLimitS( p->pPages[p->iPageS], Vec_SetHandShift(p, h) );
}

static int Vec_SetWordNum ( int  nSize )

inlinestatic

Definition at line 67 of file vecSet.h.

{ return (nSize + 1) >> 1;       }

static void Vec_SetWriteEntryNum ( Vec_Set_t *  p, int  i  )

inlinestatic

Definition at line 72 of file vecSet.h.

{ p->nEntries = i;               }

static void Vec_SetWriteLimit ( word *  p, int  nWords  )

inlinestatic

Definition at line 80 of file vecSet.h.

{ p[0] = nWords;                 }

static void Vec_SetWriteLimitS ( word *  p, int  nWords  )

inlinestatic

Definition at line 81 of file vecSet.h.

{ p[1] = nWords;                 }