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

Go to the source code of this file.

Classes

struct  Vec_Vec_t_
 

Macros

#define Vec_VecForEachLevel(vGlob, vVec, i)
 MACRO DEFINITIONS ///.
 
#define Vec_VecForEachLevelStart(vGlob, vVec, i, LevelStart)
 
#define Vec_VecForEachLevelStop(vGlob, vVec, i, LevelStop)
 
#define Vec_VecForEachLevelStartStop(vGlob, vVec, i, LevelStart, LevelStop)
 
#define Vec_VecForEachLevelReverse(vGlob, vVec, i)
 
#define Vec_VecForEachLevelReverseStartStop(vGlob, vVec, i, LevelStart, LevelStop)
 
#define Vec_VecForEachLevelTwo(vGlob1, vGlob2, vVec1, vVec2, i)
 
#define Vec_VecForEachLevelInt(vGlob, vVec, i)
 
#define Vec_VecForEachLevelIntStart(vGlob, vVec, i, LevelStart)
 
#define Vec_VecForEachLevelIntStop(vGlob, vVec, i, LevelStop)
 
#define Vec_VecForEachLevelIntStartStop(vGlob, vVec, i, LevelStart, LevelStop)
 
#define Vec_VecForEachLevelIntReverse(vGlob, vVec, i)
 
#define Vec_VecForEachLevelIntReverseStartStop(vGlob, vVec, i, LevelStart, LevelStop)
 
#define Vec_VecForEachLevelIntTwo(vGlob1, vGlob2, vVec1, vVec2, i)
 
#define Vec_VecForEachEntry(Type, vGlob, pEntry, i, k)
 
#define Vec_VecForEachEntryLevel(Type, vGlob, pEntry, i, Level)
 
#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)
 
#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 ///.
 

Macro Definition Documentation

◆ Vec_VecForEachEntry

#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 )
Vec_PtrForEachEntry
#define Vec_PtrForEachEntry(Type, vVec, pEntry, i)
MACRO DEFINITIONS ///.
Definition vecPtr.h:55

Definition at line 87 of file vecVec.h.

87#define Vec_VecForEachEntry( Type, vGlob, pEntry, i, k ) \
88 for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \
89 Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

◆ Vec_VecForEachEntryInt

#define Vec_VecForEachEntryInt ( vGlob,
Entry,
i,
k )
Value:
for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \
Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )
Vec_IntForEachEntry
#define Vec_IntForEachEntry(vVec, Entry, i)
MACRO DEFINITIONS ///.
Definition vecInt.h:54

Definition at line 109 of file vecVec.h.

109#define Vec_VecForEachEntryInt( vGlob, Entry, i, k ) \
110 for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \
111 Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

◆ Vec_VecForEachEntryIntLevel

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

Definition at line 112 of file vecVec.h.

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

◆ Vec_VecForEachEntryIntReverse

#define Vec_VecForEachEntryIntReverse ( vGlob,
Entry,
i,
k )
Value:
for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \
Vec_IntForEachEntryReverse( Vec_VecEntryInt(vGlob, i), Entry, k )
Vec_IntForEachEntryReverse
#define Vec_IntForEachEntryReverse(vVec, pEntry, i)
Definition vecInt.h:62

Definition at line 120 of file vecVec.h.

120#define Vec_VecForEachEntryIntReverse( vGlob, Entry, i, k ) \
121 for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \
122 Vec_IntForEachEntryReverse( Vec_VecEntryInt(vGlob, i), Entry, k )

◆ Vec_VecForEachEntryIntReverseReverse

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

123#define Vec_VecForEachEntryIntReverseReverse( vGlob, Entry, i, k ) \
124 for ( i = Vec_VecSize(vGlob) - 1; i >= 0; i-- ) \
125 Vec_IntForEachEntryReverse( Vec_VecEntryInt(vGlob, i), Entry, k )

◆ Vec_VecForEachEntryIntReverseStart

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

126#define Vec_VecForEachEntryIntReverseStart( vGlob, Entry, i, k, LevelStart ) \
127 for ( i = LevelStart-1; i >= 0; i-- ) \
128 Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

◆ Vec_VecForEachEntryIntStart

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

114#define Vec_VecForEachEntryIntStart( vGlob, Entry, i, k, LevelStart ) \
115 for ( i = LevelStart; i < Vec_VecSize(vGlob); i++ ) \
116 Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

◆ Vec_VecForEachEntryIntStartStop

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

117#define Vec_VecForEachEntryIntStartStop( vGlob, Entry, i, k, LevelStart, LevelStop ) \
118 for ( i = LevelStart; i < LevelStop; i++ ) \
119 Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, i), Entry, k )

◆ Vec_VecForEachEntryLevel

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

Definition at line 90 of file vecVec.h.

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

◆ Vec_VecForEachEntryReverse

#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 )
Vec_PtrForEachEntryReverse
#define Vec_PtrForEachEntryReverse(Type, vVec, pEntry, i)
Definition vecPtr.h:63

Definition at line 98 of file vecVec.h.

98#define Vec_VecForEachEntryReverse( Type, vGlob, pEntry, i, k ) \
99 for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \
100 Vec_PtrForEachEntryReverse( Type, Vec_VecEntry(vGlob, i), pEntry, k )

◆ Vec_VecForEachEntryReverseReverse

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

101#define Vec_VecForEachEntryReverseReverse( Type, vGlob, pEntry, i, k ) \
102 for ( i = Vec_VecSize(vGlob) - 1; i >= 0; i-- ) \
103 Vec_PtrForEachEntryReverse( Type, Vec_VecEntry(vGlob, i), pEntry, k )

◆ Vec_VecForEachEntryReverseStart

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

104#define Vec_VecForEachEntryReverseStart( Type, vGlob, pEntry, i, k, LevelStart ) \
105 for ( i = LevelStart-1; i >= 0; i-- ) \
106 Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

◆ Vec_VecForEachEntryStart

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

92#define Vec_VecForEachEntryStart( Type, vGlob, pEntry, i, k, LevelStart ) \
93 for ( i = LevelStart; i < Vec_VecSize(vGlob); i++ ) \
94 Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

◆ Vec_VecForEachEntryStartStop

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

95#define Vec_VecForEachEntryStartStop( Type, vGlob, pEntry, i, k, LevelStart, LevelStop ) \
96 for ( i = LevelStart; i < LevelStop; i++ ) \
97 Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, i), pEntry, k )

◆ Vec_VecForEachLevel

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

MACRO DEFINITIONS ///.

Definition at line 55 of file vecVec.h.

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

◆ Vec_VecForEachLevelInt

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

Definition at line 71 of file vecVec.h.

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

◆ Vec_VecForEachLevelIntReverse

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

Definition at line 79 of file vecVec.h.

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

◆ Vec_VecForEachLevelIntReverseStartStop

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

Definition at line 81 of file vecVec.h.

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

◆ Vec_VecForEachLevelIntStart

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

Definition at line 73 of file vecVec.h.

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

◆ Vec_VecForEachLevelIntStartStop

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

Definition at line 77 of file vecVec.h.

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

◆ Vec_VecForEachLevelIntStop

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

Definition at line 75 of file vecVec.h.

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

◆ Vec_VecForEachLevelIntTwo

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

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

◆ Vec_VecForEachLevelReverse

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

Definition at line 63 of file vecVec.h.

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

◆ Vec_VecForEachLevelReverseStartStop

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

Definition at line 65 of file vecVec.h.

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

◆ Vec_VecForEachLevelStart

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

Definition at line 57 of file vecVec.h.

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

◆ Vec_VecForEachLevelStartStop

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

Definition at line 61 of file vecVec.h.

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

◆ Vec_VecForEachLevelStop

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

Definition at line 59 of file vecVec.h.

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

◆ Vec_VecForEachLevelTwo

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

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

Typedef Documentation

◆ Vec_Vec_t

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.