ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
vecVec.h
Go to the documentation of this file.
1
20
21#ifndef ABC__misc__vec__vecVec_h
22#define ABC__misc__vec__vecVec_h
23
24
28
29#include <stdio.h>
30
32
33
37
41
42typedef struct Vec_Vec_t_ Vec_Vec_t;
44{
45 int nCap;
46 int nSize;
47 void ** pArray;
48};
49
53
54// iterators through levels
55#define Vec_VecForEachLevel( vGlob, vVec, i ) \
56 for ( i = 0; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
57#define Vec_VecForEachLevelStart( vGlob, vVec, i, LevelStart ) \
58 for ( i = LevelStart; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
59#define Vec_VecForEachLevelStop( vGlob, vVec, i, LevelStop ) \
60 for ( i = 0; (i < LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
61#define Vec_VecForEachLevelStartStop( vGlob, vVec, i, LevelStart, LevelStop ) \
62 for ( i = LevelStart; (i < LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i++ )
63#define Vec_VecForEachLevelReverse( vGlob, vVec, i ) \
64 for ( i = Vec_VecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i-- )
65#define Vec_VecForEachLevelReverseStartStop( vGlob, vVec, i, LevelStart, LevelStop ) \
66 for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_VecEntry(vGlob, i)), 1); i-- )
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++ )
69
70// iterators through levels
71#define Vec_VecForEachLevelInt( vGlob, vVec, i ) \
72 for ( i = 0; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
73#define Vec_VecForEachLevelIntStart( vGlob, vVec, i, LevelStart ) \
74 for ( i = LevelStart; (i < Vec_VecSize(vGlob)) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
75#define Vec_VecForEachLevelIntStop( vGlob, vVec, i, LevelStop ) \
76 for ( i = 0; (i < LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
77#define Vec_VecForEachLevelIntStartStop( vGlob, vVec, i, LevelStart, LevelStop ) \
78 for ( i = LevelStart; (i < LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i++ )
79#define Vec_VecForEachLevelIntReverse( vGlob, vVec, i ) \
80 for ( i = Vec_VecSize(vGlob)-1; (i >= 0) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i-- )
81#define Vec_VecForEachLevelIntReverseStartStop( vGlob, vVec, i, LevelStart, LevelStop ) \
82 for ( i = LevelStart-1; (i >= LevelStop) && (((vVec) = Vec_VecEntryInt(vGlob, i)), 1); i-- )
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++ )
85
86// iteratores through entries
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 )
90#define Vec_VecForEachEntryLevel( Type, vGlob, pEntry, i, Level ) \
91 Vec_PtrForEachEntry( Type, Vec_VecEntry(vGlob, Level), pEntry, i )
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 )
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 )
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 )
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 )
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 )
107
108// iteratores through entries
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 )
112#define Vec_VecForEachEntryIntLevel( vGlob, Entry, i, Level ) \
113 Vec_IntForEachEntry( Vec_VecEntryInt(vGlob, Level), Entry, i )
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 )
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 )
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 )
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 )
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 )
129
133
145static inline Vec_Vec_t * Vec_VecAlloc( int nCap )
146{
147 Vec_Vec_t * p;
148 p = ABC_ALLOC( Vec_Vec_t, 1 );
149 if ( nCap > 0 && nCap < 8 )
150 nCap = 8;
151 p->nSize = 0;
152 p->nCap = nCap;
153 p->pArray = p->nCap? ABC_ALLOC( void *, p->nCap ) : NULL;
154 return p;
155}
156
168static inline Vec_Vec_t * Vec_VecStart( int nSize )
169{
170 Vec_Vec_t * p;
171 int i;
172 p = Vec_VecAlloc( nSize );
173 for ( i = 0; i < nSize; i++ )
174 p->pArray[i] = Vec_PtrAlloc( 0 );
175 p->nSize = nSize;
176 return p;
177}
178
190static inline void Vec_VecExpand( Vec_Vec_t * p, int Level )
191{
192 int i;
193 if ( p->nSize >= Level + 1 )
194 return;
195 Vec_PtrGrow( (Vec_Ptr_t *)p, Level + 1 );
196 for ( i = p->nSize; i <= Level; i++ )
197 p->pArray[i] = Vec_PtrAlloc( 0 );
198 p->nSize = Level + 1;
199}
200static inline void Vec_VecExpandInt( Vec_Vec_t * p, int Level )
201{
202 int i;
203 if ( p->nSize >= Level + 1 )
204 return;
205 Vec_IntGrow( (Vec_Int_t *)p, Level + 1 );
206 for ( i = p->nSize; i <= Level; i++ )
207 p->pArray[i] = Vec_PtrAlloc( 0 );
208 p->nSize = Level + 1;
209}
210
222static inline int Vec_VecSize( Vec_Vec_t * p )
223{
224 return p->nSize;
225}
226
238static inline int Vec_VecCap( Vec_Vec_t * p )
239{
240 return p->nCap;
241}
242
254static inline int Vec_VecLevelSize( Vec_Vec_t * p, int i )
255{
256 assert( i >= 0 && i < p->nSize );
257 return Vec_PtrSize( (Vec_Ptr_t *)p->pArray[i] );
258}
259
271static inline Vec_Ptr_t * Vec_VecEntry( Vec_Vec_t * p, int i )
272{
273 assert( i >= 0 && i < p->nSize );
274 return (Vec_Ptr_t *)p->pArray[i];
275}
276static inline Vec_Int_t * Vec_VecEntryInt( Vec_Vec_t * p, int i )
277{
278 assert( i >= 0 && i < p->nSize );
279 return (Vec_Int_t *)p->pArray[i];
280}
281
293static inline double Vec_VecMemory( Vec_Vec_t * p )
294{
295 int i;
296 double Mem;
297 if ( p == NULL ) return 0.0;
298 Mem = Vec_PtrMemory( (Vec_Ptr_t *)p );
299 for ( i = 0; i < p->nSize; i++ )
300 if ( Vec_VecEntry(p, i) )
301 Mem += Vec_PtrMemory( Vec_VecEntry(p, i) );
302 return Mem;
303}
304static inline double Vec_VecMemoryInt( Vec_Vec_t * p )
305{
306 int i;
307 double Mem;
308 if ( p == NULL ) return 0.0;
309 Mem = Vec_PtrMemory( (Vec_Ptr_t *)p );
310 for ( i = 0; i < p->nSize; i++ )
311 if ( Vec_VecEntry(p, i) )
312 Mem += Vec_IntMemory( Vec_VecEntryInt(p, i) );
313 return Mem;
314}
315
327static inline void * Vec_VecEntryEntry( Vec_Vec_t * p, int i, int k )
328{
329 return Vec_PtrEntry( Vec_VecEntry(p, i), k );
330}
331static inline int Vec_VecEntryEntryInt( Vec_Vec_t * p, int i, int k )
332{
333 return Vec_IntEntry( Vec_VecEntryInt(p, i), k );
334}
335
347static inline void Vec_VecFree( Vec_Vec_t * p )
348{
349 Vec_Ptr_t * vVec;
350 int i;
351 Vec_VecForEachLevel( p, vVec, i )
352 if ( vVec ) Vec_PtrFree( vVec );
353 Vec_PtrFree( (Vec_Ptr_t *)p );
354}
355static inline void Vec_VecErase( Vec_Vec_t * p )
356{
357 Vec_Ptr_t * vVec;
358 int i;
359 Vec_VecForEachLevel( p, vVec, i )
360 if ( vVec ) Vec_PtrFree( vVec );
361 Vec_PtrErase( (Vec_Ptr_t *)p );
362}
363
375static inline void Vec_VecFreeP( Vec_Vec_t ** p )
376{
377 if ( *p == NULL )
378 return;
379 Vec_VecFree( *p );
380 *p = NULL;
381}
382
394static inline Vec_Vec_t * Vec_VecDup( Vec_Vec_t * p )
395{
396 Vec_Ptr_t * vNew, * vVec;
397 int i;
398 vNew = Vec_PtrAlloc( Vec_VecSize(p) );
399 Vec_VecForEachLevel( p, vVec, i )
400 Vec_PtrPush( vNew, Vec_PtrDup(vVec) );
401 return (Vec_Vec_t *)vNew;
402}
403static inline Vec_Vec_t * Vec_VecDupInt( Vec_Vec_t * p )
404{
405 Vec_Ptr_t * vNew;
406 Vec_Int_t * vVec;
407 int i;
408 vNew = Vec_PtrAlloc( Vec_VecSize(p) );
409 Vec_VecForEachLevelInt( p, vVec, i )
410 Vec_PtrPush( vNew, Vec_IntDup(vVec) );
411 return (Vec_Vec_t *)vNew;
412}
413
425static inline int Vec_VecSizeSize( Vec_Vec_t * p )
426{
427 Vec_Ptr_t * vVec;
428 int i, Counter = 0;
429 Vec_VecForEachLevel( p, vVec, i )
430 Counter += vVec->nSize;
431 return Counter;
432}
433
445static inline void Vec_VecClear( Vec_Vec_t * p )
446{
447 Vec_Ptr_t * vVec;
448 int i;
449 Vec_VecForEachLevel( p, vVec, i )
450 Vec_PtrClear( vVec );
451}
452
464static inline void Vec_VecPush( Vec_Vec_t * p, int Level, void * Entry )
465{
466 if ( p->nSize < Level + 1 )
467 {
468 int i;
469 Vec_PtrGrow( (Vec_Ptr_t *)p, Level + 1 );
470 for ( i = p->nSize; i < Level + 1; i++ )
471 p->pArray[i] = Vec_PtrAlloc( 0 );
472 p->nSize = Level + 1;
473 }
474 Vec_PtrPush( Vec_VecEntry(p, Level), Entry );
475}
476static inline void Vec_VecPushInt( Vec_Vec_t * p, int Level, int Entry )
477{
478 if ( p->nSize < Level + 1 )
479 {
480 int i;
481 Vec_PtrGrow( (Vec_Ptr_t *)p, Level + 1 );
482 for ( i = p->nSize; i < Level + 1; i++ )
483 p->pArray[i] = Vec_IntAlloc( 0 );
484 p->nSize = Level + 1;
485 }
486 Vec_IntPush( Vec_VecEntryInt(p, Level), Entry );
487}
488
500static inline void Vec_VecPushUnique( Vec_Vec_t * p, int Level, void * Entry )
501{
502 if ( p->nSize < Level + 1 )
503 Vec_VecPush( p, Level, Entry );
504 else
505 Vec_PtrPushUnique( Vec_VecEntry(p, Level), Entry );
506}
507static inline void Vec_VecPushUniqueInt( Vec_Vec_t * p, int Level, int Entry )
508{
509 if ( p->nSize < Level + 1 )
510 Vec_VecPushInt( p, Level, Entry );
511 else
512 Vec_IntPushUnique( Vec_VecEntryInt(p, Level), Entry );
513}
514
526static int Vec_VecSortCompare1( Vec_Ptr_t ** pp1, Vec_Ptr_t ** pp2 )
527{
528 if ( Vec_PtrSize(*pp1) < Vec_PtrSize(*pp2) )
529 return -1;
530 if ( Vec_PtrSize(*pp1) > Vec_PtrSize(*pp2) )
531 return 1;
532 return 0;
533}
534static int Vec_VecSortCompare2( Vec_Ptr_t ** pp1, Vec_Ptr_t ** pp2 )
535{
536 if ( Vec_PtrSize(*pp1) > Vec_PtrSize(*pp2) )
537 return -1;
538 if ( Vec_PtrSize(*pp1) < Vec_PtrSize(*pp2) )
539 return 1;
540 return 0;
541}
542
554static inline void Vec_VecSort( Vec_Vec_t * p, int fReverse )
555{
556 if ( fReverse )
557 qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(void *),
558 (int (*)(const void *, const void *)) Vec_VecSortCompare2 );
559 else
560 qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(void *),
561 (int (*)(const void *, const void *)) Vec_VecSortCompare1 );
562}
563
575static int Vec_VecSortCompare3( Vec_Int_t ** pp1, Vec_Int_t ** pp2 )
576{
577 if ( Vec_IntEntry(*pp1,0) < Vec_IntEntry(*pp2,0) )
578 return -1;
579 if ( Vec_IntEntry(*pp1,0) > Vec_IntEntry(*pp2,0) )
580 return 1;
581 return 0;
582}
583static int Vec_VecSortCompare4( Vec_Int_t ** pp1, Vec_Int_t ** pp2 )
584{
585 if ( Vec_IntEntry(*pp1,0) > Vec_IntEntry(*pp2,0) )
586 return -1;
587 if ( Vec_IntEntry(*pp1,0) < Vec_IntEntry(*pp2,0) )
588 return 1;
589 return 0;
590}
591
603static inline void Vec_VecSortByFirstInt( Vec_Vec_t * p, int fReverse )
604{
605 if ( fReverse )
606 qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(void *),
607 (int (*)(const void *, const void *)) Vec_VecSortCompare4 );
608 else
609 qsort( (void *)p->pArray, (size_t)p->nSize, sizeof(void *),
610 (int (*)(const void *, const void *)) Vec_VecSortCompare3 );
611}
612
624static inline void Vec_VecPrintInt( Vec_Vec_t * p, int fSkipSingles )
625{
626 int i, k, Entry;
627 Vec_VecForEachEntryInt( p, Entry, i, k )
628 {
629 if ( fSkipSingles && Vec_VecLevelSize(p, i) == 1 )
630 break;
631 if ( k == 0 )
632 printf( " %4d : {", i );
633 printf( " %d", Entry );
634 if ( k == Vec_VecLevelSize(p, i) - 1 )
635 printf( " }\n" );
636 }
637}
638
640
641#endif
642
646
#define ABC_ALLOC(type, num)
Definition abc_global.h:264
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
typedefABC_NAMESPACE_IMPL_START struct Vec_Int_t_ Vec_Int_t
DECLARATIONS ///.
Definition bblif.c:37
Cube * p
Definition exorList.c:222
int nCap
Definition vecVec.h:45
int nSize
Definition vecVec.h:46
void ** pArray
Definition vecVec.h:47
#define assert(ex)
Definition util_old.h:213
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
Definition vecPtr.h:42
#define Vec_VecForEachEntryInt(vGlob, Entry, i, k)
Definition vecVec.h:109
#define Vec_VecForEachLevelInt(vGlob, vVec, i)
Definition vecVec.h:71
#define Vec_VecForEachLevel(vGlob, vVec, i)
MACRO DEFINITIONS ///.
Definition vecVec.h:55
typedefABC_NAMESPACE_HEADER_START struct Vec_Vec_t_ Vec_Vec_t
INCLUDES ///.
Definition vecVec.h:42