vecWec.h File Reference

#include <stdio.h>

Go to the source code of this file.

Data Structures
struct	Vec_Wec_t_

Macros
#define	Vec_WecForEachLevel(vGlob, vVec, i)   for ( i = 0; (i < Vec_WecSize(vGlob)) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i++ )
	MACRO DEFINITIONS ///. More...
#define	Vec_WecForEachLevelVec(vLevels, vGlob, vVec, i)   for ( i = 0; (i < Vec_IntSize(vLevels)) && (((vVec) = Vec_WecEntry(vGlob, Vec_IntEntry(vLevels, i))), 1); i++ )
#define	Vec_WecForEachLevelStart(vGlob, vVec, i, LevelStart)   for ( i = LevelStart; (i < Vec_WecSize(vGlob)) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i++ )
#define	Vec_WecForEachLevelStop(vGlob, vVec, i, LevelStop)   for ( i = 0; (i < LevelStop) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i++ )
#define	Vec_WecForEachLevelStartStop(vGlob, vVec, i, LevelStart, LevelStop)   for ( i = LevelStart; (i < LevelStop) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i++ )
#define	Vec_WecForEachLevelReverse(vGlob, vVec, i)   for ( i = Vec_WecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i-- )
#define	Vec_WecForEachLevelReverseStartStop(vGlob, vVec, i, LevelStart, LevelStop)   for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i-- )
#define	Vec_WecForEachLevelTwo(vGlob1, vGlob2, vVec1, vVec2, i)   for ( i = 0; (i < Vec_WecSize(vGlob1)) && (((vVec1) = Vec_WecEntry(vGlob1, i)), 1) && (((vVec2) = Vec_WecEntry(vGlob2, i)), 1); i++ )

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Wec_t_	Vec_Wec_t
	INCLUDES ///. More...

Functions
static Vec_Wec_t *	Vec_WecAlloc (int nCap)
	FUNCTION DEFINITIONS ///. More...
static Vec_Wec_t *	Vec_WecStart (int nSize)
static void	Vec_WecGrow (Vec_Wec_t *p, int nCapMin)
static void	Vec_WecInit (Vec_Wec_t *p, int nSize)
static Vec_Int_t *	Vec_WecEntry (Vec_Wec_t *p, int i)
static Vec_Int_t *	Vec_WecEntryLast (Vec_Wec_t *p)
static int	Vec_WecEntryEntry (Vec_Wec_t *p, int i, int k)
static Vec_Int_t *	Vec_WecArray (Vec_Wec_t *p)
static int	Vec_WecLevelId (Vec_Wec_t *p, Vec_Int_t *vLevel)
static int	Vec_WecCap (Vec_Wec_t *p)
static int	Vec_WecSize (Vec_Wec_t *p)
static int	Vec_WecLevelSize (Vec_Wec_t *p, int i)
static int	Vec_WecSizeSize (Vec_Wec_t *p)
static int	Vec_WecSizeUsed (Vec_Wec_t *p)
static int	Vec_WecSizeUsedLimits (Vec_Wec_t *p, int iStart, int iStop)
static void	Vec_WecShrink (Vec_Wec_t *p, int nSizeNew)
static void	Vec_WecClear (Vec_Wec_t *p)
static void	Vec_WecPush (Vec_Wec_t *p, int Level, int Entry)
static Vec_Int_t *	Vec_WecPushLevel (Vec_Wec_t *p)
static double	Vec_WecMemory (Vec_Wec_t *p)
static void	Vec_WecZero (Vec_Wec_t *p)
static void	Vec_WecErase (Vec_Wec_t *p)
static void	Vec_WecFree (Vec_Wec_t *p)
static void	Vec_WecFreeP (Vec_Wec_t **p)
static void	Vec_WecPushUnique (Vec_Wec_t *p, int Level, int Entry)
static Vec_Wec_t *	Vec_WecDup (Vec_Wec_t *p)
static int	Vec_WecSortCompare1 (Vec_Int_t *p1, Vec_Int_t *p2)
static int	Vec_WecSortCompare2 (Vec_Int_t *p1, Vec_Int_t *p2)
static void	Vec_WecSort (Vec_Wec_t *p, int fReverse)
static int	Vec_WecSortCompare3 (Vec_Int_t *p1, Vec_Int_t *p2)
static int	Vec_WecSortCompare4 (Vec_Int_t *p1, Vec_Int_t *p2)
static void	Vec_WecSortByFirstInt (Vec_Wec_t *p, int fReverse)
static int	Vec_WecSortCompare5 (Vec_Int_t *p1, Vec_Int_t *p2)
static int	Vec_WecSortCompare6 (Vec_Int_t *p1, Vec_Int_t *p2)
static void	Vec_WecSortByLastInt (Vec_Wec_t *p, int fReverse)
static void	Vec_WecPrint (Vec_Wec_t *p, int fSkipSingles)
static Vec_Wec_t *	Vec_WecCreateClasses (Vec_Int_t *vMap)
static int	Vec_WecCountNonTrivial (Vec_Wec_t *p, int *pnUsed)
static Vec_Int_t *	Vec_WecCollectFirsts (Vec_Wec_t *p)
static Vec_Ptr_t *	Vec_WecConvertToVecPtr (Vec_Wec_t *p)
static int	Vec_WecIntHasMark (Vec_Int_t *vVec)
static void	Vec_WecIntSetMark (Vec_Int_t *vVec)
static void	Vec_WecIntXorMark (Vec_Int_t *vVec)
static void	Vec_WecMarkLevels (Vec_Wec_t *vCubes, Vec_Int_t *vLevels)
static void	Vec_WecUnmarkLevels (Vec_Wec_t *vCubes, Vec_Int_t *vLevels)
static void	Vec_WecRemoveEmpty (Vec_Wec_t *vCubes)

Macro Definition Documentation

#define Vec_WecForEachLevel	(		vGlob,
			vVec,
			i
	)		for ( i = 0; (i < Vec_WecSize(vGlob)) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i++ )

MACRO DEFINITIONS ///.

Definition at line 55 of file vecWec.h.

#define Vec_WecForEachLevelReverse	(		vGlob,
			vVec,
			i
	)		for ( i = Vec_WecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i-- )

Definition at line 65 of file vecWec.h.

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

Definition at line 67 of file vecWec.h.

#define Vec_WecForEachLevelStart	(		vGlob,
			vVec,
			i,
			LevelStart
	)		for ( i = LevelStart; (i < Vec_WecSize(vGlob)) && (((vVec) = Vec_WecEntry(vGlob, i)), 1); i++ )

Definition at line 59 of file vecWec.h.

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

Definition at line 63 of file vecWec.h.

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

Definition at line 61 of file vecWec.h.

#define Vec_WecForEachLevelTwo	(		vGlob1,
			vGlob2,
			vVec1,
			vVec2,
			i
	)		for ( i = 0; (i < Vec_WecSize(vGlob1)) && (((vVec1) = Vec_WecEntry(vGlob1, i)), 1) && (((vVec2) = Vec_WecEntry(vGlob2, i)), 1); i++ )

Definition at line 69 of file vecWec.h.

#define Vec_WecForEachLevelVec	(		vLevels,
			vGlob,
			vVec,
			i
	)		for ( i = 0; (i < Vec_IntSize(vLevels)) && (((vVec) = Vec_WecEntry(vGlob, Vec_IntEntry(vLevels, i))), 1); i++ )

Definition at line 57 of file vecWec.h.

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Wec_t_ Vec_Wec_t

INCLUDES ///.

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

FileName [vecWec.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:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 42 of file vecWec.h.

Function Documentation

static Vec_Wec_t* Vec_WecAlloc ( int  nCap )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Allocates a vector with the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 87 of file vecWec.h.

{
    Vec_Wec_t * p;
    p = ABC_ALLOC( Vec_Wec_t, 1 );
    if ( nCap > 0 && nCap < 8 )
        nCap = 8;
    p->nSize  = 0;
    p->nCap   = nCap;
    p->pArray = p->nCap? ABC_CALLOC( Vec_Int_t, p->nCap ) : NULL;
    return p;
}

static Vec_Int_t* Vec_WecArray ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 168 of file vecWec.h.

{
    return p->pArray;
}

static int Vec_WecCap ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 189 of file vecWec.h.

{
    return p->nCap;
}

static void Vec_WecClear ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 255 of file vecWec.h.

{
    Vec_Int_t * vVec;
    int i;
    Vec_WecForEachLevel( p, vVec, i )
        Vec_IntClear( vVec );
    p->nSize = 0;
}

static Vec_Int_t* Vec_WecCollectFirsts ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 596 of file vecWec.h.

{
    Vec_Int_t * vFirsts, * vLevel;
    int i;
    vFirsts = Vec_IntAlloc( Vec_WecSize(p) );
    Vec_WecForEachLevel( p, vLevel, i )
        if ( Vec_IntSize(vLevel) > 0 )
            Vec_IntPush( vFirsts, Vec_IntEntry(vLevel, 0) );
    return vFirsts;
}

static Vec_Ptr_t* Vec_WecConvertToVecPtr ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 618 of file vecWec.h.

{
    Vec_Ptr_t * vCopy;
    Vec_Int_t * vLevel;
    int i;
    vCopy = Vec_PtrAlloc( Vec_WecSize(p) );
    Vec_WecForEachLevel( p, vLevel, i )
        Vec_PtrPush( vCopy, Vec_IntDup(vLevel) );
    return vCopy;
}

static int Vec_WecCountNonTrivial ( Vec_Wec_t *  p, int *  pnUsed  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 570 of file vecWec.h.

{
    Vec_Int_t * vClass;
    int i, nClasses = 0;
    *pnUsed = 0;
    Vec_WecForEachLevel( p, vClass, i )
    {
        if ( Vec_IntSize(vClass) < 2 )
            continue;
        nClasses++;
        (*pnUsed) += Vec_IntSize(vClass);
    }
    return nClasses;
}

static Vec_Wec_t* Vec_WecCreateClasses ( Vec_Int_t *  vMap )

inlinestatic

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

Synopsis [Derives the set of equivalence classes.]

Description []

SideEffects []

SeeAlso []

Definition at line 549 of file vecWec.h.

{
    Vec_Wec_t * vClasses;
    int i, Entry;
    vClasses = Vec_WecStart( Vec_IntFindMax(vMap) + 1 );
    Vec_IntForEachEntry( vMap, Entry, i )
        Vec_WecPush( vClasses, Entry, i );
    return vClasses;
}

static Vec_Wec_t* Vec_WecDup ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis [Frees the vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 388 of file vecWec.h.

{
    Vec_Wec_t * vNew;
    Vec_Int_t * vVec;
    int i, k, Entry;
    vNew = Vec_WecAlloc( Vec_WecSize(p) );
    Vec_WecForEachLevel( p, vVec, i )
        Vec_IntForEachEntry( vVec, Entry, k )
            Vec_WecPush( vNew, i, Entry );
    return vNew;
}

static Vec_Int_t* Vec_WecEntry ( Vec_Wec_t *  p, int  i  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 142 of file vecWec.h.

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

static int Vec_WecEntryEntry ( Vec_Wec_t *  p, int  i, int  k  )

inlinestatic

Definition at line 152 of file vecWec.h.

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

static Vec_Int_t* Vec_WecEntryLast ( Vec_Wec_t *  p )

inlinestatic

Definition at line 147 of file vecWec.h.

{
    assert( p->nSize > 0 );
    return p->pArray + p->nSize - 1;
}

static void Vec_WecErase ( Vec_Wec_t *  p )

inlinestatic

Definition at line 336 of file vecWec.h.

{
    int i;
    for ( i = 0; i < p->nCap; i++ )
        ABC_FREE( p->pArray[i].pArray );
    ABC_FREE( p->pArray );
    p->nSize = 0;
    p->nCap = 0;
}

static void Vec_WecFree ( Vec_Wec_t *  p )

inlinestatic

Definition at line 345 of file vecWec.h.

{
    Vec_WecErase( p );
    ABC_FREE( p );
}

static void Vec_WecFreeP ( Vec_Wec_t **  p )

inlinestatic

Definition at line 350 of file vecWec.h.

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

static void Vec_WecGrow ( Vec_Wec_t *  p, int  nCapMin  )

inlinestatic

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

Synopsis [Resizes the vector to the given capacity.]

Description []

SideEffects []

SeeAlso []

Definition at line 117 of file vecWec.h.

{
    if ( p->nCap >= nCapMin )
        return;
    p->pArray = ABC_REALLOC( Vec_Int_t, p->pArray, nCapMin ); 
    memset( p->pArray + p->nCap, 0, sizeof(Vec_Int_t) * (nCapMin - p->nCap) );
    p->nCap   = nCapMin;
}

static void Vec_WecInit ( Vec_Wec_t *  p, int  nSize  )

inlinestatic

Definition at line 125 of file vecWec.h.

{
    Vec_WecGrow( p, nSize );
    p->nSize = nSize;
}

static int Vec_WecIntHasMark ( Vec_Int_t *  vVec )

inlinestatic

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

Synopsis [Temporary vector marking.]

Description [The vector should be static when the marking is used.]

SideEffects []

SeeAlso []

Definition at line 641 of file vecWec.h.

{ return (vVec->nCap >> 30) & 1; }

static void Vec_WecIntSetMark ( Vec_Int_t *  vVec )

inlinestatic

Definition at line 642 of file vecWec.h.

{ vVec->nCap |= (1<<30);         }

static void Vec_WecIntXorMark ( Vec_Int_t *  vVec )

inlinestatic

Definition at line 643 of file vecWec.h.

{ vVec->nCap ^= (1<<30);         }

static int Vec_WecLevelId ( Vec_Wec_t *  p, Vec_Int_t *  vLevel  )

inlinestatic

Definition at line 172 of file vecWec.h.

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

static int Vec_WecLevelSize ( Vec_Wec_t *  p, int  i  )

inlinestatic

Definition at line 197 of file vecWec.h.

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

static void Vec_WecMarkLevels ( Vec_Wec_t *  vCubes, Vec_Int_t *  vLevels  )

inlinestatic

Definition at line 644 of file vecWec.h.

{
    Vec_Int_t * vCube;
    int i;
    Vec_WecForEachLevelVec( vLevels, vCubes, vCube, i )
    {
        assert( !Vec_WecIntHasMark( vCube ) );
        Vec_WecIntXorMark( vCube );
    }
}

static double Vec_WecMemory ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 308 of file vecWec.h.

{
    int i;
    double Mem;
    if ( p == NULL )  return 0.0;
    Mem = sizeof(Vec_Int_t) * Vec_WecCap(p);
    for ( i = 0; i < p->nSize; i++ )
        Mem += sizeof(int) * Vec_IntCap( Vec_WecEntry(p, i) );
    return Mem;
}

static void Vec_WecPrint ( Vec_Wec_t *  p, int  fSkipSingles  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 523 of file vecWec.h.

{
    Vec_Int_t * vVec;
    int i, k, Entry;
    Vec_WecForEachLevel( p, vVec, i )
    {
        if ( fSkipSingles && Vec_IntSize(vVec) == 1 )
            continue;
        printf( " %4d : {", i );
        Vec_IntForEachEntry( vVec, Entry, k )
            printf( " %d", Entry );
        printf( " }\n" );
    }
}

static void Vec_WecPush ( Vec_Wec_t *  p, int  Level, int  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 275 of file vecWec.h.

{
    if ( p->nSize < Level + 1 )
    {
        Vec_WecGrow( p, Abc_MaxInt(2*p->nCap, Level + 1) );
        p->nSize = Level + 1;
    }
    Vec_IntPush( Vec_WecEntry(p, Level), Entry );
}

static Vec_Int_t* Vec_WecPushLevel ( Vec_Wec_t *  p )

inlinestatic

Definition at line 284 of file vecWec.h.

{
    if ( p->nSize == p->nCap )
    {
        if ( p->nCap < 16 )
            Vec_WecGrow( p, 16 );
        else
            Vec_WecGrow( p, 2 * p->nCap );
    }
    ++p->nSize;
    return Vec_WecEntryLast( p );
}

static void Vec_WecPushUnique ( Vec_Wec_t *  p, int  Level, int  Entry  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 369 of file vecWec.h.

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

static void Vec_WecRemoveEmpty ( Vec_Wec_t *  vCubes )

inlinestatic

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

Synopsis [Removes 0-size vectors.]

Description []

SideEffects []

SeeAlso []

Definition at line 676 of file vecWec.h.

{
    Vec_Int_t * vCube;
    int i, k = 0;
    Vec_WecForEachLevel( vCubes, vCube, i )
        if ( Vec_IntSize(vCube) > 0 )
            vCubes->pArray[k++] = *vCube;
        else
            ABC_FREE( vCube->pArray );
    for ( i = k; i < Vec_WecSize(vCubes); i++ )
        Vec_IntZero( Vec_WecEntry(vCubes, i) );
    Vec_WecShrink( vCubes, k );
//    Vec_WecSortByFirstInt( vCubes, 0 );
}

static void Vec_WecShrink ( Vec_Wec_t *  p, int  nSizeNew  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 238 of file vecWec.h.

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

static int Vec_WecSize ( Vec_Wec_t *  p )

inlinestatic

Definition at line 193 of file vecWec.h.

{
    return p->nSize;
}

static int Vec_WecSizeSize ( Vec_Wec_t *  p )

inlinestatic

Definition at line 202 of file vecWec.h.

{
    Vec_Int_t * vVec;
    int i, Counter = 0;
    Vec_WecForEachLevel( p, vVec, i )
        Counter += Vec_IntSize(vVec);
    return Counter;
}

static int Vec_WecSizeUsed ( Vec_Wec_t *  p )

inlinestatic

Definition at line 210 of file vecWec.h.

{
    Vec_Int_t * vVec;
    int i, Counter = 0;
    Vec_WecForEachLevel( p, vVec, i )
        Counter += (int)(Vec_IntSize(vVec) > 0);
    return Counter;
}

static int Vec_WecSizeUsedLimits ( Vec_Wec_t *  p, int  iStart, int  iStop  )

inlinestatic

Definition at line 218 of file vecWec.h.

{
    Vec_Int_t * vVec;
    int i, Counter = 0;
    Vec_WecForEachLevelStartStop( p, vVec, i, iStart, iStop )
        Counter += (int)(Vec_IntSize(vVec) > 0);
    return Counter;
}

static void Vec_WecSort ( Vec_Wec_t *  p, int  fReverse  )

inlinestatic

Definition at line 427 of file vecWec.h.

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

static void Vec_WecSortByFirstInt ( Vec_Wec_t *  p, int  fReverse  )

inlinestatic

Definition at line 465 of file vecWec.h.

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

static void Vec_WecSortByLastInt ( Vec_Wec_t *  p, int  fReverse  )

inlinestatic

Definition at line 502 of file vecWec.h.

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

static int Vec_WecSortCompare1 ( Vec_Int_t *  p1, Vec_Int_t *  p2  )

static

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

Synopsis [Sorting by array size.]

Description []

SideEffects []

SeeAlso []

Definition at line 411 of file vecWec.h.

{
    if ( Vec_IntSize(p1) < Vec_IntSize(p2) )
        return -1;
    if ( Vec_IntSize(p1) > Vec_IntSize(p2) ) 
        return 1;
    return 0; 
}

static int Vec_WecSortCompare2 ( Vec_Int_t *  p1, Vec_Int_t *  p2  )

static

Definition at line 419 of file vecWec.h.

{
    if ( Vec_IntSize(p1) > Vec_IntSize(p2) )
        return -1;
    if ( Vec_IntSize(p1) < Vec_IntSize(p2) ) 
        return 1;
    return 0; 
}

static int Vec_WecSortCompare3 ( Vec_Int_t *  p1, Vec_Int_t *  p2  )

static

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

Synopsis [Sorting by the first entry.]

Description []

SideEffects []

SeeAlso []

Definition at line 449 of file vecWec.h.

{
    if ( Vec_IntEntry(p1,0) < Vec_IntEntry(p2,0) )
        return -1;
    if ( Vec_IntEntry(p1,0) > Vec_IntEntry(p2,0) ) 
        return 1;
    return 0; 
}

static int Vec_WecSortCompare4 ( Vec_Int_t *  p1, Vec_Int_t *  p2  )

static

Definition at line 457 of file vecWec.h.

{
    if ( Vec_IntEntry(p1,0) > Vec_IntEntry(p2,0) )
        return -1;
    if ( Vec_IntEntry(p1,0) < Vec_IntEntry(p2,0) ) 
        return 1;
    return 0; 
}

static int Vec_WecSortCompare5 ( Vec_Int_t *  p1, Vec_Int_t *  p2  )

static

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

Synopsis [Sorting by the last entry.]

Description []

SideEffects []

SeeAlso []

Definition at line 486 of file vecWec.h.

{
    if ( Vec_IntEntryLast(p1) < Vec_IntEntryLast(p2) )
        return -1;
    if ( Vec_IntEntryLast(p1) > Vec_IntEntryLast(p2) ) 
        return 1;
    return 0; 
}

static int Vec_WecSortCompare6 ( Vec_Int_t *  p1, Vec_Int_t *  p2  )

static

Definition at line 494 of file vecWec.h.

{
    if ( Vec_IntEntryLast(p1) > Vec_IntEntryLast(p2) )
        return -1;
    if ( Vec_IntEntryLast(p1) < Vec_IntEntryLast(p2) ) 
        return 1;
    return 0; 
}

static Vec_Wec_t* Vec_WecStart ( int  nSize )

inlinestatic

Definition at line 98 of file vecWec.h.

{
    Vec_Wec_t * p;
    p = Vec_WecAlloc( nSize );
    p->nSize = nSize;
    return p;
}

static void Vec_WecUnmarkLevels ( Vec_Wec_t *  vCubes, Vec_Int_t *  vLevels  )

inlinestatic

Definition at line 654 of file vecWec.h.

{
    Vec_Int_t * vCube;
    int i;
    Vec_WecForEachLevelVec( vLevels, vCubes, vCube, i )
    {
        assert( Vec_WecIntHasMark( vCube ) );
        Vec_WecIntXorMark( vCube );
    }
}

static void Vec_WecZero ( Vec_Wec_t *  p )

inlinestatic

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

Synopsis [Frees the vector.]

Description []

SideEffects []

SeeAlso []

Definition at line 330 of file vecWec.h.

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