Version abc51121

2 files changed, 18 insertions, 2 deletions

diff --git a/src/misc/vec/vecFan.h b/src/misc/vec/vecFan.h
index a42f6aa1..1493014a 100644
--- a/src/misc/vec/vecFan.h
+++ b/src/misc/vec/vecFan.h
@@ -39,8 +39,7 @@
 typedef struct Abc_Fan_t_       Abc_Fan_t;
 struct Abc_Fan_t_ // 1 word
 {
-    unsigned         iFan    : 24;  // the ID of the object
-    unsigned         nLats   :  7;  // the number of latches (up to 127)
+    unsigned         iFan    : 31;  // the ID of the object
     unsigned         fCompl  :  1;  // the complemented attribute
 };
 
diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h
index c46db454..3c767f20 100644
--- a/src/misc/vec/vecInt.h
+++ b/src/misc/vec/vecInt.h
@@ -307,6 +307,23 @@ static inline void Vec_IntWriteEntry( Vec_Int_t * p, int i, int Entry )
   SeeAlso     []
 
 ***********************************************************************/
+static inline void Vec_IntAddToEntry( Vec_Int_t * p, int i, int Addition )
+{
+    assert( i >= 0 && i < p->nSize );
+    p->pArray[i] += Addition;
+}
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
 static inline int Vec_IntEntryLast( Vec_Int_t * p )
 {
     return p->pArray[p->nSize-1];