From 7efe9c1d65cfd7f4e78defd7db1f3e75c1f97b1c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 5 Mar 2020 14:33:02 -0800
Subject: Updating and extending simulation data structures.

---
 src/misc/util/utilTruth.h | 7 +++++++
 src/misc/vec/vecWrd.h     | 7 +++++++
 2 files changed, 14 insertions(+)

(limited to 'src/misc')

diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h
index 10196959..d913eda7 100644
--- a/src/misc/util/utilTruth.h
+++ b/src/misc/util/utilTruth.h
@@ -1835,6 +1835,13 @@ static inline int Abc_TtCountOnesVecMask( word * x, word * pMask, int nWords, in
             Count += Abc_TtCountOnes( pMask[w] & x[w] );
     return Count;
 }
+static inline int Abc_TtCountOnesVecXor( word * x, word * y, int nWords )
+{
+    int w, Count = 0;
+    for ( w = 0; w < nWords; w++ )
+        Count += Abc_TtCountOnes( x[w] ^ y[w] );
+    return Count;
+}
 
 /**Function*************************************************************
 
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h
index 45df1c97..e123c054 100644
--- a/src/misc/vec/vecWrd.h
+++ b/src/misc/vec/vecWrd.h
@@ -160,6 +160,13 @@ static inline Vec_Wrd_t * Vec_WrdStartNatural( int nSize )
         p->pArray[i] = i;
     return p;
 }
+static inline Vec_Wrd_t * Vec_WrdStartRandom( int nSize )
+{
+    Vec_Wrd_t * vSims = Vec_WrdStart( nSize ); int i;
+    for ( i = 0; i < nSize; i++ )
+        vSims->pArray[i] = Abc_RandomW(0);
+    return vSims;
+}
 
 /**Function*************************************************************
 
-- 
cgit v1.2.3