ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
vecWec.h File Reference
#include <stdio.h>
Include dependency graph for vecWec.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Vec_Wec_t_
 

Macros

#define Vec_WecForEachLevel(vGlob, vVec, i)
 MACRO DEFINITIONS ///.
 
#define Vec_WecForEachLevelVec(vLevels, vGlob, vVec, i)
 
#define Vec_WecForEachLevelStart(vGlob, vVec, i, LevelStart)
 
#define Vec_WecForEachLevelStop(vGlob, vVec, i, LevelStop)
 
#define Vec_WecForEachLevelStartStop(vGlob, vVec, i, LevelStart, LevelStop)
 
#define Vec_WecForEachLevelReverse(vGlob, vVec, i)
 
#define Vec_WecForEachLevelReverseStartStop(vGlob, vVec, i, LevelStart, LevelStop)
 
#define Vec_WecForEachLevelTwo(vGlob1, vGlob2, vVec1, vVec2, i)
 
#define Vec_WecForEachLevelDouble(vGlob, vVec1, vVec2, i)
 

Typedefs

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Wec_t_ Vec_Wec_t
 INCLUDES ///.
 

Macro Definition Documentation

◆ Vec_WecForEachLevel

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

MACRO DEFINITIONS ///.

Definition at line 55 of file vecWec.h.

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

◆ Vec_WecForEachLevelDouble

#define Vec_WecForEachLevelDouble ( vGlob,
vVec1,
vVec2,
i )
Value:
for ( i = 0; (i < Vec_WecSize(vGlob)) && (((vVec1) = Vec_WecEntry(vGlob, i)), 1) && (((vVec2) = Vec_WecEntry(vGlob, i+1)), 1); i += 2 )

Definition at line 71 of file vecWec.h.

71#define Vec_WecForEachLevelDouble( vGlob, vVec1, vVec2, i ) \
72 for ( i = 0; (i < Vec_WecSize(vGlob)) && (((vVec1) = Vec_WecEntry(vGlob, i)), 1) && (((vVec2) = Vec_WecEntry(vGlob, i+1)), 1); i += 2 )

◆ Vec_WecForEachLevelReverse

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

Definition at line 65 of file vecWec.h.

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

◆ Vec_WecForEachLevelReverseStartStop

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

Definition at line 67 of file vecWec.h.

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

◆ Vec_WecForEachLevelStart

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

Definition at line 59 of file vecWec.h.

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

◆ Vec_WecForEachLevelStartStop

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

Definition at line 63 of file vecWec.h.

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

◆ Vec_WecForEachLevelStop

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

Definition at line 61 of file vecWec.h.

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

◆ Vec_WecForEachLevelTwo

#define Vec_WecForEachLevelTwo ( vGlob1,
vGlob2,
vVec1,
vVec2,
i )
Value:
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.

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

◆ Vec_WecForEachLevelVec

#define Vec_WecForEachLevelVec ( vLevels,
vGlob,
vVec,
i )
Value:
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.

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

Typedef Documentation

◆ Vec_Wec_t

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.