vecVec.h File Reference

#include <stdio.h>

Go to the source code of this file.

Data Structures
struct	Vec_Vec_t_

Macros
#define	Vec_VecForEachLevel(vGlob, vVec, i)   for ( i = 0; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
	MACRO DEFINITIONS ///. More...
#define	Vec_VecForEachLevelStart(vGlob, vVec, i, LevelStart)   for ( i = LevelStart; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
#define	Vec_VecForEachLevelStop(vGlob, vVec, i, LevelStop)   for ( i = 0; (i < LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
#define	Vec_VecForEachLevelStartStop(vGlob, vVec, i, LevelStart, LevelStop)   for ( i = LevelStart; (i < LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
#define	Vec_VecForEachLevelReverse(vGlob, vVec, i)   for ( i = Vec_VecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i-- )
#define	Vec_VecForEachLevelReverseStartStop(vGlob, vVec, i, LevelStart, LevelStop)   for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i-- )
#define	Vec_VecForEachLevelTwo(vGlob1, vGlob2, vVec1, vVec2, i)   for ( i = 0; (i < Vec_VecSize(vGlob1)) && (((vVec1) = Vec_VecEntry(vGlob1, i)), 1) && (((vVec2) = Vec_VecEntry(vGlob2, i)), 1); i++ )
#define	Vec_VecForEachLevelInt(vGlob, vVec, i)   for ( i = 0; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
#define	Vec_VecForEachLevelIntStart(vGlob, vVec, i, LevelStart)   for ( i = LevelStart; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
#define	Vec_VecForEachLevelIntStop(vGlob, vVec, i, LevelStop)   for ( i = 0; (i < LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
#define	Vec_VecForEachLevelIntStartStop(vGlob, vVec, i, LevelStart, LevelStop)   for ( i = LevelStart; (i < LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
#define	Vec_VecForEachLevelIntReverse(vGlob, vVec, i)   for ( i = Vec_VecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i-- )
#define	Vec_VecForEachLevelIntReverseStartStop(vGlob, vVec, i, LevelStart, LevelStop)   for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i-- )
#define	Vec_VecForEachLevelIntTwo(vGlob1, vGlob2, vVec1, vVec2, i)   for ( i = 0; (i < Vec_VecSize(vGlob1)) && (((vVec1) = Vec_VecEntryInt(vGlob1, i)), 1) && (((vVec2) = Vec_VecEntryInt(vGlob2, i)), 1); i++ )
#define	Vec_VecForEachEntry(Type, vGlob, pEntry, i, k)
#define	Vec_VecForEachEntryLevel(Type, vGlob, pEntry, i, Level)   Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, Level), pEntry, i )
#define	Vec_VecForEachEntryStart(Type, vGlob, pEntry, i, k, LevelStart)
#define	Vec_VecForEachEntryStartStop(Type, vGlob, pEntry, i, k, LevelStart, LevelStop)
#define	Vec_VecForEachEntryReverse(Type, vGlob, pEntry, i, k)
#define	Vec_VecForEachEntryReverseReverse(Type, vGlob, pEntry, i, k)
#define	Vec_VecForEachEntryReverseStart(Type, vGlob, pEntry, i, k, LevelStart)
#define	Vec_VecForEachEntryInt(vGlob, Entry, i, k)
#define	Vec_VecForEachEntryIntLevel(vGlob, Entry, i, Level)   Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, Level), Entry, i )
#define	Vec_VecForEachEntryIntStart(vGlob, Entry, i, k, LevelStart)
#define	Vec_VecForEachEntryIntStartStop(vGlob, Entry, i, k, LevelStart, LevelStop)
#define	Vec_VecForEachEntryIntReverse(vGlob, Entry, i, k)
#define	Vec_VecForEachEntryIntReverseReverse(vGlob, Entry, i, k)
#define	Vec_VecForEachEntryIntReverseStart(vGlob, Entry, i, k, LevelStart)

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Vec_t_	Vec_Vec_t
	INCLUDES ///. More...

Functions
static Vec_Vec_t *	Vec_VecAlloc (int nCap)
	FUNCTION DEFINITIONS ///. More...
static Vec_Vec_t *	Vec_VecStart (int nSize)
static void	Vec_VecExpand (Vec_Vec_t *p, int Level)
static void	Vec_VecExpandInt (Vec_Vec_t *p, int Level)
static int	Vec_VecSize (Vec_Vec_t *p)
static int	Vec_VecCap (Vec_Vec_t *p)
static int	Vec_VecLevelSize (Vec_Vec_t *p, int i)
static Vec_Ptr_t *	Vec_VecEntry (Vec_Vec_t *p, int i)
static Vec_Int_t *	Vec_VecEntryInt (Vec_Vec_t *p, int i)
static double	Vec_VecMemory (Vec_Vec_t *p)
static double	Vec_VecMemoryInt (Vec_Vec_t *p)
static void *	Vec_VecEntryEntry (Vec_Vec_t *p, int i, int k)
static int	Vec_VecEntryEntryInt (Vec_Vec_t *p, int i, int k)
static void	Vec_VecFree (Vec_Vec_t *p)
static void	Vec_VecFreeP (Vec_Vec_t **p)
static Vec_Vec_t *	Vec_VecDup (Vec_Vec_t *p)
static Vec_Vec_t *	Vec_VecDupInt (Vec_Vec_t *p)
static int	Vec_VecSizeSize (Vec_Vec_t *p)
static void	Vec_VecClear (Vec_Vec_t *p)
static void	Vec_VecPush (Vec_Vec_t *p, int Level, void *Entry)
static void	Vec_VecPushInt (Vec_Vec_t *p, int Level, int Entry)
static void	Vec_VecPushUnique (Vec_Vec_t *p, int Level, void *Entry)
static void	Vec_VecPushUniqueInt (Vec_Vec_t *p, int Level, int Entry)
static int	Vec_VecSortCompare1 (Vec_Ptr_t **pp1, Vec_Ptr_t **pp2)
static int	Vec_VecSortCompare2 (Vec_Ptr_t **pp1, Vec_Ptr_t **pp2)
static void	Vec_VecSort (Vec_Vec_t *p, int fReverse)
static int	Vec_VecSortCompare3 (Vec_Int_t **pp1, Vec_Int_t **pp2)
static int	Vec_VecSortCompare4 (Vec_Int_t **pp1, Vec_Int_t **pp2)
static void	Vec_VecSortByFirstInt (Vec_Vec_t *p, int fReverse)
static void	Vec_VecPrintInt (Vec_Vec_t *p, int fSkipSingles)

Macro Definition Documentation

#define Vec_VecForEachEntry	(		Type,
			vGlob,
			pEntry,
			i,
			k
	)

Value:

for ( i = 0; i < Vec_VecSize(vGlob); i++ )                                                \
        Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

Definition at line 87 of file vecVec.h.

#define Vec_VecForEachEntryInt	(		vGlob,
			Entry,
			i,
			k
	)

Value:

for ( i = 0; i < Vec_VecSize(vGlob); i++ )                                                \
        Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

Definition at line 109 of file vecVec.h.

#define Vec_VecForEachEntryIntLevel	(		vGlob,
			Entry,
			i,
			Level
	)		Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, Level), Entry, i )

Definition at line 112 of file vecVec.h.

#define Vec_VecForEachEntryIntReverse	(		vGlob,
			Entry,
			i,
			k
	)

Value:

for ( i = 0; i < Vec_VecSize(vGlob); i++ )                                                \
        Vec_IntForEachEntryReverse( Vec_VecEntryInt(vGlob, i), Entry, k )

Definition at line 120 of file vecVec.h.

#define Vec_VecForEachEntryIntReverseReverse	(		vGlob,
			Entry,
			i,
			k
	)

Value:

for ( i = Vec_VecSize(vGlob) - 1; i >= 0; i-- )                                           \
        Vec_IntForEachEntryReverse( Vec_VecEntryInt(vGlob, i), Entry, k )

Definition at line 123 of file vecVec.h.

#define Vec_VecForEachEntryIntReverseStart	(		vGlob,
			Entry,
			i,
			k,
			LevelStart
	)

Value:

for ( i = LevelStart-1; i >= 0; i-- )                                                     \
        Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

Definition at line 126 of file vecVec.h.

#define Vec_VecForEachEntryIntStart	(		vGlob,
			Entry,
			i,
			k,
			LevelStart
	)

Value:

for ( i = LevelStart; i < Vec_VecSize(vGlob); i++ )                                       \
        Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

Definition at line 114 of file vecVec.h.

#define Vec_VecForEachEntryIntStartStop	(		vGlob,
			Entry,
			i,
			k,
			LevelStart,
			LevelStop
	)

Value:

for ( i = LevelStart; i < LevelStop; i++ )                                                \
        Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

Definition at line 117 of file vecVec.h.

#define Vec_VecForEachEntryLevel	(		Type,
			vGlob,
			pEntry,
			i,
			Level
	)		Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, Level), pEntry, i )

Definition at line 90 of file vecVec.h.

#define Vec_VecForEachEntryReverse	(		Type,
			vGlob,
			pEntry,
			i,
			k
	)

Value:

for ( i = 0; i < Vec_VecSize(vGlob); i++ )                                                \
        Vec_PtrForEachEntryReverse( Type, Vec_VecEntry(vGlob, i), pEntry, k )

Definition at line 98 of file vecVec.h.

#define Vec_VecForEachEntryReverseReverse	(		Type,
			vGlob,
			pEntry,
			i,
			k
	)

Value:

for ( i = Vec_VecSize(vGlob) - 1; i >= 0; i-- )                                           \
        Vec_PtrForEachEntryReverse( Type, Vec_VecEntry(vGlob, i), pEntry, k )

Definition at line 101 of file vecVec.h.

#define Vec_VecForEachEntryReverseStart	(		Type,
			vGlob,
			pEntry,
			i,
			k,
			LevelStart
	)

Value:

for ( i = LevelStart-1; i >= 0; i-- )                                                     \
        Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

Definition at line 104 of file vecVec.h.

#define Vec_VecForEachEntryStart	(		Type,
			vGlob,
			pEntry,
			i,
			k,
			LevelStart
	)

Value:

for ( i = LevelStart; i < Vec_VecSize(vGlob); i++ )                                       \
        Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

Definition at line 92 of file vecVec.h.

#define Vec_VecForEachEntryStartStop	(		Type,
			vGlob,
			pEntry,
			i,
			k,
			LevelStart,
			LevelStop
	)

Value:

for ( i = LevelStart; i < LevelStop; i++ )                                                \
        Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

Definition at line 95 of file vecVec.h.

#define Vec_VecForEachLevel	(		vGlob,
			vVec,
			i
	)		for ( i = 0; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )

MACRO DEFINITIONS ///.

Definition at line 55 of file vecVec.h.

#define Vec_VecForEachLevelInt	(		vGlob,
			vVec,
			i
	)		for ( i = 0; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )

Definition at line 71 of file vecVec.h.

#define Vec_VecForEachLevelIntReverse	(		vGlob,
			vVec,
			i
	)		for ( i = Vec_VecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i-- )

Definition at line 79 of file vecVec.h.

#define Vec_VecForEachLevelIntReverseStartStop	(		vGlob,
			vVec,
			i,
			LevelStart,
			LevelStop
	)		for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i-- )

Definition at line 81 of file vecVec.h.

#define Vec_VecForEachLevelIntStart	(		vGlob,
			vVec,
			i,
			LevelStart
	)		for ( i = LevelStart; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )

Definition at line 73 of file vecVec.h.

#define Vec_VecForEachLevelIntStartStop	(		vGlob,
			vVec,
			i,
			LevelStart,
			LevelStop
	)		for ( i = LevelStart; (i < LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )

Definition at line 77 of file vecVec.h.

#define Vec_VecForEachLevelIntStop	(		vGlob,
			vVec,
			i,
			LevelStop
	)		for ( i = 0; (i < LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )

Definition at line 75 of file vecVec.h.

#define Vec_VecForEachLevelIntTwo	(		vGlob1,
			vGlob2,
			vVec1,
			vVec2,
			i
	)		for ( i = 0; (i < Vec_VecSize(vGlob1)) && (((vVec1) = Vec_VecEntryInt(vGlob1, i)), 1) && (((vVec2) = Vec_VecEntryInt(vGlob2, i)), 1); i++ )

Definition at line 83 of file vecVec.h.

#define Vec_VecForEachLevelReverse	(		vGlob,
			vVec,
			i
	)		for ( i = Vec_VecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i-- )

Definition at line 63 of file vecVec.h.

#define Vec_VecForEachLevelReverseStartStop	(		vGlob,
			vVec,
			i,
			LevelStart,
			LevelStop
	)		for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i-- )

Definition at line 65 of file vecVec.h.

#define Vec_VecForEachLevelStart	(		vGlob,
			vVec,
			i,
			LevelStart
	)		for ( i = LevelStart; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )

Definition at line 57 of file vecVec.h.

#define Vec_VecForEachLevelStartStop	(		vGlob,
			vVec,
			i,
			LevelStart,
			LevelStop
	)		for ( i = LevelStart; (i < LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )

Definition at line 61 of file vecVec.h.

#define Vec_VecForEachLevelStop	(		vGlob,
			vVec,
			i,
			LevelStop
	)		for ( i = 0; (i < LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )

Definition at line 59 of file vecVec.h.

#define Vec_VecForEachLevelTwo	(		vGlob1,
			vGlob2,
			vVec1,
			vVec2,
			i
	)		for ( i = 0; (i < Vec_VecSize(vGlob1)) && (((vVec1) = Vec_VecEntry(vGlob1, i)), 1) && (((vVec2) = Vec_VecEntry(vGlob2, i)), 1); i++ )

Definition at line 67 of file vecVec.h.

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Vec_t_ Vec_Vec_t

INCLUDES ///.

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

FileName [vecVec.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Resizable vector of resizable vectors.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 42 of file vecVec.h.

Function Documentation

static Vec_Vec_t* Vec_VecAlloc ( int  nCap )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Allocates a vector with the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 145 of file vecVec.h.

{
    Vec_Vec_t * p;
    p = ABC_ALLOC( Vec_Vec_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 int Vec_VecCap ( Vec_Vec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 238 of file vecVec.h.

{
    return p->nCap;
}

static void Vec_VecClear ( Vec_Vec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 437 of file vecVec.h.

{
    Vec_Ptr_t * vVec;
    int i;
    Vec_VecForEachLevel( p, vVec, i )
        Vec_PtrClear( vVec );
}

static Vec_Vec_t* Vec_VecDup ( Vec_Vec_t *  p )

inlinestatic

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

Synopsis [Frees the vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 386 of file vecVec.h.

{
    Vec_Ptr_t * vNew, * vVec;
    int i;
    vNew = Vec_PtrAlloc( Vec_VecSize(p) );
    Vec_VecForEachLevel( p, vVec, i )
        Vec_PtrPush( vNew, Vec_PtrDup(vVec) );
    return (Vec_Vec_t *)vNew;
}

static Vec_Vec_t* Vec_VecDupInt ( Vec_Vec_t *  p )

inlinestatic

Definition at line 395 of file vecVec.h.

{
    Vec_Ptr_t * vNew;
    Vec_Int_t * vVec;
    int i;
    vNew = Vec_PtrAlloc( Vec_VecSize(p) );
    Vec_VecForEachLevelInt( p, vVec, i )
        Vec_PtrPush( vNew, Vec_IntDup(vVec) );
    return (Vec_Vec_t *)vNew;
}

static Vec_Ptr_t* Vec_VecEntry ( Vec_Vec_t *  p, int  i  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 271 of file vecVec.h.

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

static void* Vec_VecEntryEntry ( Vec_Vec_t *  p, int  i, int  k  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 327 of file vecVec.h.

{
    return Vec_PtrEntry( Vec_VecEntry(p, i), k );
}

static int Vec_VecEntryEntryInt ( Vec_Vec_t *  p, int  i, int  k  )

inlinestatic

Definition at line 331 of file vecVec.h.

{
    return Vec_IntEntry( Vec_VecEntryInt(p, i), k );
}

static Vec_Int_t* Vec_VecEntryInt ( Vec_Vec_t *  p, int  i  )

inlinestatic

Definition at line 276 of file vecVec.h.

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

static void Vec_VecExpand ( Vec_Vec_t *  p, int  Level  )

inlinestatic

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

Synopsis [Allocates a vector with the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 190 of file vecVec.h.

{
    int i;
    if ( p->nSize >= Level + 1 )
        return;
    Vec_PtrGrow( (Vec_Ptr_t *)p, Level + 1 );
    for ( i = p->nSize; i <= Level; i++ )
        p->pArray[i] = Vec_PtrAlloc( 0 );
    p->nSize = Level + 1;
}

static void Vec_VecExpandInt ( Vec_Vec_t *  p, int  Level  )

inlinestatic

Definition at line 200 of file vecVec.h.

{
    int i;
    if ( p->nSize >= Level + 1 )
        return;
    Vec_IntGrow( (Vec_Int_t *)p, Level + 1 );
    for ( i = p->nSize; i <= Level; i++ )
        p->pArray[i] = Vec_PtrAlloc( 0 );
    p->nSize = Level + 1;
}

static void Vec_VecFree ( Vec_Vec_t *  p )

inlinestatic

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

Synopsis [Frees the vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 347 of file vecVec.h.

{
    Vec_Ptr_t * vVec;
    int i;
    Vec_VecForEachLevel( p, vVec, i )
        if ( vVec ) Vec_PtrFree( vVec );
    Vec_PtrFree( (Vec_Ptr_t *)p );
}

static void Vec_VecFreeP ( Vec_Vec_t **  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 367 of file vecVec.h.

{
    if ( *p == NULL )
        return;
    Vec_VecFree( *p );
    *p = NULL;
}

static int Vec_VecLevelSize ( Vec_Vec_t *  p, int  i  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 254 of file vecVec.h.

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

static double Vec_VecMemory ( Vec_Vec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 293 of file vecVec.h.

{
    int i;
    double Mem;
    if ( p == NULL )  return 0.0;
    Mem = Vec_PtrMemory( (Vec_Ptr_t *)p );
    for ( i = 0; i < p->nSize; i++ )
        if ( Vec_VecEntry(p, i) )
            Mem += Vec_PtrMemory( Vec_VecEntry(p, i) );
    return Mem;
}

static double Vec_VecMemoryInt ( Vec_Vec_t *  p )

inlinestatic

Definition at line 304 of file vecVec.h.

{
    int i;
    double Mem;
    if ( p == NULL )  return 0.0;
    Mem = Vec_PtrMemory( (Vec_Ptr_t *)p );
    for ( i = 0; i < p->nSize; i++ )
        if ( Vec_VecEntry(p, i) )
            Mem += Vec_IntMemory( Vec_VecEntryInt(p, i) );
    return Mem;
}

static void Vec_VecPrintInt ( Vec_Vec_t *  p, int  fSkipSingles  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 616 of file vecVec.h.

{
    int i, k, Entry;
    Vec_VecForEachEntryInt( p, Entry, i, k )
    {
        if ( fSkipSingles && Vec_VecLevelSize(p, i) == 1 )
            break;
        if ( k == 0 )
            printf( " %4d : {", i );
        printf( " %d", Entry );
        if ( k == Vec_VecLevelSize(p, i) - 1 )
            printf( " }\n" );
    }
}

static void Vec_VecPush ( Vec_Vec_t *  p, int  Level, void *  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 456 of file vecVec.h.

{
    if ( p->nSize < Level + 1 )
    {
        int i;
        Vec_PtrGrow( (Vec_Ptr_t *)p, Level + 1 );
        for ( i = p->nSize; i < Level + 1; i++ )
            p->pArray[i] = Vec_PtrAlloc( 0 );
        p->nSize = Level + 1;
    }
    Vec_PtrPush( Vec_VecEntry(p, Level), Entry );
}

static void Vec_VecPushInt ( Vec_Vec_t *  p, int  Level, int  Entry  )

inlinestatic

Definition at line 468 of file vecVec.h.

{
    if ( p->nSize < Level + 1 )
    {
        int i;
        Vec_PtrGrow( (Vec_Ptr_t *)p, Level + 1 );
        for ( i = p->nSize; i < Level + 1; i++ )
            p->pArray[i] = Vec_IntAlloc( 0 );
        p->nSize = Level + 1;
    }
    Vec_IntPush( Vec_VecEntryInt(p, Level), Entry );
}

static void Vec_VecPushUnique ( Vec_Vec_t *  p, int  Level, void *  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 492 of file vecVec.h.

{
    if ( p->nSize < Level + 1 )
        Vec_VecPush( p, Level, Entry );
    else
        Vec_PtrPushUnique( Vec_VecEntry(p, Level), Entry );
}

static void Vec_VecPushUniqueInt ( Vec_Vec_t *  p, int  Level, int  Entry  )

inlinestatic

Definition at line 499 of file vecVec.h.

{
    if ( p->nSize < Level + 1 )
        Vec_VecPushInt( p, Level, Entry );
    else
        Vec_IntPushUnique( Vec_VecEntryInt(p, Level), Entry );
}

static int Vec_VecSize ( Vec_Vec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 222 of file vecVec.h.

{
    return p->nSize;
}

static int Vec_VecSizeSize ( Vec_Vec_t *  p )

inlinestatic

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

Synopsis [Frees the vector of vectors.]

Description []

SideEffects []

SeeAlso []

Definition at line 417 of file vecVec.h.

{
    Vec_Ptr_t * vVec;
    int i, Counter = 0;
    Vec_VecForEachLevel( p, vVec, i )
        Counter += vVec->nSize;
    return Counter;
}

static void Vec_VecSort ( Vec_Vec_t *  p, int  fReverse  )

inlinestatic

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

Synopsis [Sorting the entries by their integer value.]

Description []

SideEffects []

SeeAlso []

Definition at line 546 of file vecVec.h.

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

static void Vec_VecSortByFirstInt ( Vec_Vec_t *  p, int  fReverse  )

inlinestatic

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

Synopsis [Sorting the entries by their integer value.]

Description []

SideEffects []

SeeAlso []

Definition at line 595 of file vecVec.h.

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

static int Vec_VecSortCompare1 ( Vec_Ptr_t **  pp1, Vec_Ptr_t **  pp2  )

static

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

Synopsis [Comparison procedure for two arrays.]

Description []

SideEffects []

SeeAlso []

Definition at line 518 of file vecVec.h.

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

static int Vec_VecSortCompare2 ( Vec_Ptr_t **  pp1, Vec_Ptr_t **  pp2  )

static

Definition at line 526 of file vecVec.h.

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

static int Vec_VecSortCompare3 ( Vec_Int_t **  pp1, Vec_Int_t **  pp2  )

static

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

Synopsis [Comparison procedure for two integers.]

Description []

SideEffects []

SeeAlso []

Definition at line 567 of file vecVec.h.

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

static int Vec_VecSortCompare4 ( Vec_Int_t **  pp1, Vec_Int_t **  pp2  )

static

Definition at line 575 of file vecVec.h.

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

static Vec_Vec_t* Vec_VecStart ( int  nSize )

inlinestatic

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

Synopsis [Allocates a vector with the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 168 of file vecVec.h.

{
    Vec_Vec_t * p;
    int i;
    p = Vec_VecAlloc( nSize );
    for ( i = 0; i < nSize; i++ )
        p->pArray[i] = Vec_PtrAlloc( 0 );
    p->nSize = nSize;
    return p;
}