1 files changed, 7 insertions, 0 deletions
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*************************************************************