summaryrefslogtreecommitdiffstats
path: root/src/misc
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc')
-rw-r--r--src/misc/vec/vecWrd.h22
1 files changed, 22 insertions, 0 deletions
diff --git a/src/misc/vec/vecWrd.h b/src/misc/vec/vecWrd.h
index 86985266..60b4e0b2 100644
--- a/src/misc/vec/vecWrd.h
+++ b/src/misc/vec/vecWrd.h
@@ -947,6 +947,28 @@ static inline word Vec_WrdSum( Vec_Wrd_t * p )
/**Function*************************************************************
+ Synopsis [Checks if two vectors are equal.]
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+static inline int Vec_WrdEqual( Vec_Wrd_t * p1, Vec_Wrd_t * p2 )
+{
+ int i;
+ if ( p1->nSize != p2->nSize )
+ return 0;
+ for ( i = 0; i < p1->nSize; i++ )
+ if ( p1->pArray[i] != p2->pArray[i] )
+ return 0;
+ return 1;
+}
+
+/**Function*************************************************************
+
Synopsis [Counts the number of common entries.]
Description [Assumes that the entries are non-negative integers that