From ff5d3591d1e7d90199d7395cde9fc6d902ed4b41 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Sep 2013 18:23:49 -0700
Subject: Infrastructure to support full Liberty format and unitification of
 library representations.

---
 src/misc/vec/vecFlt.h | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'src/misc/vec')

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
@@ -662,6 +662,26 @@ static inline float Vec_FltFindMin( Vec_Flt_t * p )
     return Best;
 }
 
+/**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.]
-- 
cgit v1.2.3