diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-15 18:23:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-15 18:23:49 -0700 |
| commit | ff5d3591d1e7d90199d7395cde9fc6d902ed4b41 (patch) | |
| tree | 26a2307c387d50bcd1a01e007bfe370ca8a5a9e3 /src/misc/vec | |
| parent | d1fed2dd89bc0549655f8375832628b18b35edd9 (diff) | |
| download | abc-ff5d3591d1e7d90199d7395cde9fc6d902ed4b41.tar.gz abc-ff5d3591d1e7d90199d7395cde9fc6d902ed4b41.tar.bz2 abc-ff5d3591d1e7d90199d7395cde9fc6d902ed4b41.zip | |
Infrastructure to support full Liberty format and unitification of library representations.
Diffstat (limited to 'src/misc/vec')
| -rw-r--r-- | src/misc/vec/vecFlt.h | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/misc/vec/vecFlt.h b/src/misc/vec/vecFlt.h index 9eb13962..74c620e4 100644 --- a/src/misc/vec/vecFlt.h +++ b/src/misc/vec/vecFlt.h @@ -664,6 +664,26 @@ static inline float Vec_FltFindMin( Vec_Flt_t * p ) /**Function************************************************************* + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline void Vec_FltPrint( Vec_Flt_t * vVec ) +{ + int i; float Entry; + printf( "Vector has %d entries: {", Vec_FltSize(vVec) ); + Vec_FltForEachEntry( vVec, Entry, i ) + printf( " %f", Entry ); + printf( " }\n" ); +} + +/**Function************************************************************* + Synopsis [Comparison procedure for two floats.] Description [] |