diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-29 21:22:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-29 21:22:26 -0800 |
| commit | e511b872370f8f9928b08381ff53f2b8a3669ba7 (patch) | |
| tree | 4026a23ebc0ce285c3f2dbb796550fd37c11e31d | |
| parent | 5e91f13247eddd977fdf6339fde5e7cef997aaf5 (diff) | |
| download | abc-e511b872370f8f9928b08381ff53f2b8a3669ba7.tar.gz abc-e511b872370f8f9928b08381ff53f2b8a3669ba7.tar.bz2 abc-e511b872370f8f9928b08381ff53f2b8a3669ba7.zip | |
Moving Vec_IntPrint to where it belongs.
| -rw-r--r-- | src/base/abci/abcMffc.c | 20 | ||||
| -rw-r--r-- | src/misc/vec/vecInt.h | 20 |
2 files changed, 20 insertions, 20 deletions
diff --git a/src/base/abci/abcMffc.c b/src/base/abci/abcMffc.c index b88452e8..f26cd233 100644 --- a/src/base/abci/abcMffc.c +++ b/src/base/abci/abcMffc.c @@ -137,26 +137,6 @@ void Abc_MffcCollectLeaves( Vec_Ptr_t * vNodes, Vec_Ptr_t * vLeaves ) /**Function************************************************************* - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Vec_IntPrint( Vec_Int_t * vVec ) -{ - int i, Entry; - Vec_IntForEachEntry( vVec, Entry, i ) - printf( "%d ", Entry ); - printf( "\n" ); -} - - -/**Function************************************************************* - Synopsis [Collects internal nodes that are roots of MFFCs.] Description [] diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h index 0d18f973..5a25d2c9 100644 --- a/src/misc/vec/vecInt.h +++ b/src/misc/vec/vecInt.h @@ -1237,6 +1237,26 @@ static inline void Vec_IntSelectSort( int * pArray, int nSize ) } } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline void Vec_IntPrint( Vec_Int_t * vVec ) +{ + int i, Entry; + printf( "Vector has %d entries: {", Vec_IntSize(vVec) ); + Vec_IntForEachEntry( vVec, Entry, i ) + printf( " %d", Entry ); + printf( " }\n" ); +} + ABC_NAMESPACE_HEADER_END |