vecSet.h File Reference

#include <stdio.h>

Include dependency graph for vecSet.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
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 ///.

Macro Definition Documentation

Vec_SetForEachEntry

#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.

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

Typedef Documentation

Vec_Set_t

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.