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

Go to the source code of this file.

Classes

struct  Vec_Int_t_
 

Macros

#define Vec_IntForEachEntry(vVec, Entry, i)
 MACRO DEFINITIONS ///.
 
#define Vec_IntForEachEntryStart(vVec, Entry, i, Start)
 
#define Vec_IntForEachEntryStop(vVec, Entry, i, Stop)
 
#define Vec_IntForEachEntryStartStop(vVec, Entry, i, Start, Stop)
 
#define Vec_IntForEachEntryReverse(vVec, pEntry, i)
 
#define Vec_IntForEachEntryReverseStart(vVec, pEntry, i, Start)
 
#define Vec_IntForEachEntryTwo(vVec1, vVec2, Entry1, Entry2, i)
 
#define Vec_IntForEachEntryThree(vVec1, vVec2, vVec3, Entry1, Entry2, Entry3, i)
 
#define Vec_IntForEachEntryTwoStart(vVec1, vVec2, Entry1, Entry2, i, Start)
 
#define Vec_IntForEachEntryDouble(vVec, Entry1, Entry2, i)
 
#define Vec_IntForEachEntryDoubleStart(vVec, Entry1, Entry2, i, Start)
 
#define Vec_IntForEachEntryTriple(vVec, Entry1, Entry2, Entry3, i)
 
#define Vec_IntForEachEntryThisNext(vVec, This, Next, i)
 
#define Vec_IntForEachEntryInVec(vVec2, vVec, Entry, i)
 

Typedefs

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Int_t_ Vec_Int_t
 INCLUDES ///.
 

Macro Definition Documentation

◆ Vec_IntForEachEntry

#define Vec_IntForEachEntry ( vVec,
Entry,
i )
Value:
for ( i = 0; (i < Vec_IntSize(vVec)) && (((Entry) = Vec_IntEntry(vVec, i)), 1); i++ )

MACRO DEFINITIONS ///.

Definition at line 54 of file vecInt.h.

54#define Vec_IntForEachEntry( vVec, Entry, i ) \
55 for ( i = 0; (i < Vec_IntSize(vVec)) && (((Entry) = Vec_IntEntry(vVec, i)), 1); i++ )

◆ Vec_IntForEachEntryDouble

#define Vec_IntForEachEntryDouble ( vVec,
Entry1,
Entry2,
i )
Value:
for ( i = 0; (i+1 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, i)), 1) && (((Entry2) = Vec_IntEntry(vVec, i+1)), 1); i += 2 )

Definition at line 72 of file vecInt.h.

72#define Vec_IntForEachEntryDouble( vVec, Entry1, Entry2, i ) \
73 for ( i = 0; (i+1 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, i)), 1) && (((Entry2) = Vec_IntEntry(vVec, i+1)), 1); i += 2 )

◆ Vec_IntForEachEntryDoubleStart

#define Vec_IntForEachEntryDoubleStart ( vVec,
Entry1,
Entry2,
i,
Start )
Value:
for ( i = Start; (i+1 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, i)), 1) && (((Entry2) = Vec_IntEntry(vVec, i+1)), 1); i += 2 )

Definition at line 74 of file vecInt.h.

74#define Vec_IntForEachEntryDoubleStart( vVec, Entry1, Entry2, i, Start ) \
75 for ( i = Start; (i+1 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, i)), 1) && (((Entry2) = Vec_IntEntry(vVec, i+1)), 1); i += 2 )

◆ Vec_IntForEachEntryInVec

#define Vec_IntForEachEntryInVec ( vVec2,
vVec,
Entry,
i )
Value:
for ( i = 0; (i < Vec_IntSize(vVec)) && (((Entry) = Vec_IntEntry(vVec2, Vec_IntEntry(vVec, i))), 1); i++ )

Definition at line 80 of file vecInt.h.

80#define Vec_IntForEachEntryInVec( vVec2, vVec, Entry, i ) \
81 for ( i = 0; (i < Vec_IntSize(vVec)) && (((Entry) = Vec_IntEntry(vVec2, Vec_IntEntry(vVec, i))), 1); i++ )

◆ Vec_IntForEachEntryReverse

#define Vec_IntForEachEntryReverse ( vVec,
pEntry,
i )
Value:
for ( i = Vec_IntSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_IntEntry(vVec, i)), 1); i-- )

Definition at line 62 of file vecInt.h.

62#define Vec_IntForEachEntryReverse( vVec, pEntry, i ) \
63 for ( i = Vec_IntSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_IntEntry(vVec, i)), 1); i-- )

◆ Vec_IntForEachEntryReverseStart

#define Vec_IntForEachEntryReverseStart ( vVec,
pEntry,
i,
Start )
Value:
for ( i = Start; (i >= 0) && (((pEntry) = Vec_IntEntry(vVec, i)), 1); i-- )

Definition at line 64 of file vecInt.h.

64#define Vec_IntForEachEntryReverseStart( vVec, pEntry, i, Start ) \
65 for ( i = Start; (i >= 0) && (((pEntry) = Vec_IntEntry(vVec, i)), 1); i-- )

◆ Vec_IntForEachEntryStart

#define Vec_IntForEachEntryStart ( vVec,
Entry,
i,
Start )
Value:
for ( i = Start; (i < Vec_IntSize(vVec)) && (((Entry) = Vec_IntEntry(vVec, i)), 1); i++ )

Definition at line 56 of file vecInt.h.

56#define Vec_IntForEachEntryStart( vVec, Entry, i, Start ) \
57 for ( i = Start; (i < Vec_IntSize(vVec)) && (((Entry) = Vec_IntEntry(vVec, i)), 1); i++ )

◆ Vec_IntForEachEntryStartStop

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

Definition at line 60 of file vecInt.h.

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

◆ Vec_IntForEachEntryStop

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

Definition at line 58 of file vecInt.h.

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

◆ Vec_IntForEachEntryThisNext

#define Vec_IntForEachEntryThisNext ( vVec,
This,
Next,
i )
Value:
for ( i = 0, (This) = (Next) = (Vec_IntSize(vVec) ? Vec_IntEntry(vVec, 0) : -1); (i+1 < Vec_IntSize(vVec)) && (((Next) = Vec_IntEntry(vVec, i+1)), 1); i += 2, (This) = (Next) )

Definition at line 78 of file vecInt.h.

78#define Vec_IntForEachEntryThisNext( vVec, This, Next, i ) \
79 for ( i = 0, (This) = (Next) = (Vec_IntSize(vVec) ? Vec_IntEntry(vVec, 0) : -1); (i+1 < Vec_IntSize(vVec)) && (((Next) = Vec_IntEntry(vVec, i+1)), 1); i += 2, (This) = (Next) )

◆ Vec_IntForEachEntryThree

#define Vec_IntForEachEntryThree ( vVec1,
vVec2,
vVec3,
Entry1,
Entry2,
Entry3,
i )
Value:
for ( i = 0; (i < Vec_IntSize(vVec1)) && (((Entry1) = Vec_IntEntry(vVec1, i)), 1) && (((Entry2) = Vec_IntEntry(vVec2, i)), 1) && (((Entry3) = Vec_IntEntry(vVec3, i)), 1); i++ )

Definition at line 68 of file vecInt.h.

68#define Vec_IntForEachEntryThree( vVec1, vVec2, vVec3, Entry1, Entry2, Entry3, i ) \
69 for ( i = 0; (i < Vec_IntSize(vVec1)) && (((Entry1) = Vec_IntEntry(vVec1, i)), 1) && (((Entry2) = Vec_IntEntry(vVec2, i)), 1) && (((Entry3) = Vec_IntEntry(vVec3, i)), 1); i++ )

◆ Vec_IntForEachEntryTriple

#define Vec_IntForEachEntryTriple ( vVec,
Entry1,
Entry2,
Entry3,
i )
Value:
for ( i = 0; (i+2 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, i)), 1) && (((Entry2) = Vec_IntEntry(vVec, i+1)), 1) && (((Entry3) = Vec_IntEntry(vVec, i+2)), 1); i += 3 )

Definition at line 76 of file vecInt.h.

76#define Vec_IntForEachEntryTriple( vVec, Entry1, Entry2, Entry3, i ) \
77 for ( i = 0; (i+2 < Vec_IntSize(vVec)) && (((Entry1) = Vec_IntEntry(vVec, i)), 1) && (((Entry2) = Vec_IntEntry(vVec, i+1)), 1) && (((Entry3) = Vec_IntEntry(vVec, i+2)), 1); i += 3 )

◆ Vec_IntForEachEntryTwo

#define Vec_IntForEachEntryTwo ( vVec1,
vVec2,
Entry1,
Entry2,
i )
Value:
for ( i = 0; (i < Vec_IntSize(vVec1)) && (((Entry1) = Vec_IntEntry(vVec1, i)), 1) && (((Entry2) = Vec_IntEntry(vVec2, i)), 1); i++ )

Definition at line 66 of file vecInt.h.

66#define Vec_IntForEachEntryTwo( vVec1, vVec2, Entry1, Entry2, i ) \
67 for ( i = 0; (i < Vec_IntSize(vVec1)) && (((Entry1) = Vec_IntEntry(vVec1, i)), 1) && (((Entry2) = Vec_IntEntry(vVec2, i)), 1); i++ )

◆ Vec_IntForEachEntryTwoStart

#define Vec_IntForEachEntryTwoStart ( vVec1,
vVec2,
Entry1,
Entry2,
i,
Start )
Value:
for ( i = Start; (i < Vec_IntSize(vVec1)) && (((Entry1) = Vec_IntEntry(vVec1, i)), 1) && (((Entry2) = Vec_IntEntry(vVec2, i)), 1); i++ )

Definition at line 70 of file vecInt.h.

70#define Vec_IntForEachEntryTwoStart( vVec1, vVec2, Entry1, Entry2, i, Start ) \
71 for ( i = Start; (i < Vec_IntSize(vVec1)) && (((Entry1) = Vec_IntEntry(vVec1, i)), 1) && (((Entry2) = Vec_IntEntry(vVec2, i)), 1); i++ )

Typedef Documentation

◆ Vec_Int_t

typedef typedefABC_NAMESPACE_HEADER_START struct Vec_Int_t_ Vec_Int_t

INCLUDES ///.

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

FileName [vecInt.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Resizable arrays.]

Synopsis [Resizable arrays of integers.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

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

] PARAMETERS /// BASIC TYPES ///

Definition at line 42 of file vecInt.h.