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

Go to the source code of this file.

Classes

struct  Vec_Wrd_t_
 

Macros

#define Vec_WrdForEachEntry(vVec, Entry, i)
 MACRO DEFINITIONS ///.
 
#define Vec_WrdForEachEntryStart(vVec, Entry, i, Start)
 
#define Vec_WrdForEachEntryStop(vVec, Entry, i, Stop)
 
#define Vec_WrdForEachEntryStartStop(vVec, Entry, i, Start, Stop)
 
#define Vec_WrdForEachEntryReverse(vVec, pEntry, i)
 
#define Vec_WrdForEachEntryDouble(vVec, Entry1, Entry2, i)
 

Typedefs

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Wrd_t_ Vec_Wrd_t
 INCLUDES ///.
 

Macro Definition Documentation

◆ Vec_WrdForEachEntry

#define Vec_WrdForEachEntry ( vVec,
Entry,
i )
Value:
for ( i = 0; (i < Vec_WrdSize(vVec)) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

MACRO DEFINITIONS ///.

Definition at line 54 of file vecWrd.h.

54#define Vec_WrdForEachEntry( vVec, Entry, i ) \
55 for ( i = 0; (i < Vec_WrdSize(vVec)) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

◆ Vec_WrdForEachEntryDouble

#define Vec_WrdForEachEntryDouble ( vVec,
Entry1,
Entry2,
i )
Value:
for ( i = 0; (i+1 < Vec_WrdSize(vVec)) && (((Entry1) = Vec_WrdEntry(vVec, i)), 1) && (((Entry2) = Vec_WrdEntry(vVec, i+1)), 1); i += 2 )

Definition at line 64 of file vecWrd.h.

64#define Vec_WrdForEachEntryDouble( vVec, Entry1, Entry2, i ) \
65 for ( i = 0; (i+1 < Vec_WrdSize(vVec)) && (((Entry1) = Vec_WrdEntry(vVec, i)), 1) && (((Entry2) = Vec_WrdEntry(vVec, i+1)), 1); i += 2 )

◆ Vec_WrdForEachEntryReverse

#define Vec_WrdForEachEntryReverse ( vVec,
pEntry,
i )
Value:
for ( i = Vec_WrdSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_WrdEntry(vVec, i)), 1); i-- )

Definition at line 62 of file vecWrd.h.

62#define Vec_WrdForEachEntryReverse( vVec, pEntry, i ) \
63 for ( i = Vec_WrdSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_WrdEntry(vVec, i)), 1); i-- )

◆ Vec_WrdForEachEntryStart

#define Vec_WrdForEachEntryStart ( vVec,
Entry,
i,
Start )
Value:
for ( i = Start; (i < Vec_WrdSize(vVec)) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

Definition at line 56 of file vecWrd.h.

56#define Vec_WrdForEachEntryStart( vVec, Entry, i, Start ) \
57 for ( i = Start; (i < Vec_WrdSize(vVec)) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

◆ Vec_WrdForEachEntryStartStop

#define Vec_WrdForEachEntryStartStop ( vVec,
Entry,
i,
Start,
Stop )
Value:
for ( i = Start; (i < Stop) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

Definition at line 60 of file vecWrd.h.

60#define Vec_WrdForEachEntryStartStop( vVec, Entry, i, Start, Stop ) \
61 for ( i = Start; (i < Stop) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

◆ Vec_WrdForEachEntryStop

#define Vec_WrdForEachEntryStop ( vVec,
Entry,
i,
Stop )
Value:
for ( i = 0; (i < Stop) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

Definition at line 58 of file vecWrd.h.

58#define Vec_WrdForEachEntryStop( vVec, Entry, i, Stop ) \
59 for ( i = 0; (i < Stop) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )

Typedef Documentation

◆ Vec_Wrd_t

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Wrd_t_ Vec_Wrd_t

INCLUDES ///.

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

FileName [vecWrd.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Resizable arrays of long unsigned integers.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

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

] PARAMETERS /// BASIC TYPES ///

Definition at line 42 of file vecWrd.h.