diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-07 13:49:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-07 13:49:03 -0700 |
| commit | a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e (patch) | |
| tree | 5d67bc486c4ad11f2c5127c4a797862f3c57c008 /src/misc/vec/vecVec.h | |
| parent | 1794bd37cddc9ba24b9b1f517ee813e238f62ae4 (diff) | |
| download | abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.tar.gz abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.tar.bz2 abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.zip | |
Unsuccessful attempt to improve PDR and a few minor changes.
Diffstat (limited to 'src/misc/vec/vecVec.h')
| -rw-r--r-- | src/misc/vec/vecVec.h | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/misc/vec/vecVec.h b/src/misc/vec/vecVec.h index e888e4cf..83c334b4 100644 --- a/src/misc/vec/vecVec.h +++ b/src/misc/vec/vecVec.h @@ -102,26 +102,26 @@ struct Vec_Vec_t_ Vec_PtrForEachEntry( Type, (Vec_Ptr_t *)Vec_VecEntry(vGlob, i), pEntry, k ) // iteratores through entries -#define Vec_VecForEachEntryInt( Type, vGlob, Entry, i, k ) \ +#define Vec_VecForEachEntryInt( vGlob, Entry, i, k ) \ for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \ - Vec_IntForEachEntry( Type, (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) -#define Vec_VecForEachEntryIntLevel( Type, vGlob, Entry, i, Level ) \ - Vec_IntForEachEntry( Type, (Vec_Int_t *)Vec_VecEntry(vGlob, Level), Entry, i ) -#define Vec_VecForEachEntryIntStart( Type, vGlob, Entry, i, k, LevelStart ) \ + Vec_IntForEachEntry( (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) +#define Vec_VecForEachEntryIntLevel( vGlob, Entry, i, Level ) \ + Vec_IntForEachEntry( (Vec_Int_t *)Vec_VecEntry(vGlob, Level), Entry, i ) +#define Vec_VecForEachEntryIntStart( vGlob, Entry, i, k, LevelStart ) \ for ( i = LevelStart; i < Vec_VecSize(vGlob); i++ ) \ - Vec_IntForEachEntry( Type, (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) -#define Vec_VecForEachEntryIntStartStop( Type, vGlob, Entry, i, k, LevelStart, LevelStop ) \ + Vec_IntForEachEntry( (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) +#define Vec_VecForEachEntryIntStartStop( vGlob, Entry, i, k, LevelStart, LevelStop ) \ for ( i = LevelStart; i < LevelStop; i++ ) \ - Vec_IntForEachEntry( Type, (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) -#define Vec_VecForEachEntryIntReverse( Type, vGlob, Entry, i, k ) \ + Vec_IntForEachEntry( (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) +#define Vec_VecForEachEntryIntReverse( vGlob, Entry, i, k ) \ for ( i = 0; i < Vec_VecSize(vGlob); i++ ) \ - Vec_IntForEachEntryReverse( Type, (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) -#define Vec_VecForEachEntryIntReverseReverse( Type, vGlob, Entry, i, k ) \ + Vec_IntForEachEntryReverse( (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) +#define Vec_VecForEachEntryIntReverseReverse( vGlob, Entry, i, k ) \ for ( i = Vec_VecSize(vGlob) - 1; i >= 0; i-- ) \ - Vec_IntForEachEntryReverse( Type, (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) -#define Vec_VecForEachEntryIntReverseStart( Type, vGlob, Entry, i, k, LevelStart ) \ + Vec_IntForEachEntryReverse( (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) +#define Vec_VecForEachEntryIntReverseStart( vGlob, Entry, i, k, LevelStart ) \ for ( i = LevelStart-1; i >= 0; i-- ) \ - Vec_IntForEachEntry( Type, (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) + Vec_IntForEachEntry( (Vec_Int_t *)Vec_VecEntry(vGlob, i), Entry, k ) //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |