1 files changed, 23 insertions, 0 deletions
diff --git a/src/base/abci/abc_new.h b/src/base/abci/abc_new.h
new file mode 100644
index 00000000..3460bb38
--- /dev/null
+++ b/src/base/abci/abc_new.h
@@ -0,0 +1,23 @@
+struct Abc_Obj_t_ // 6 words
+{
+    Abc_Obj_t *       pCopy;         // the copy of this object
+    Abc_Ntk_t *       pNtk;          // the host network
+    int               Id;            // the object ID
+    int               TravId;        // the traversal ID 
+    int               nRefs;         // the number of fanouts
+    unsigned          Type    :  4;  // the object type
+    unsigned          fMarkA  :  1;  // the multipurpose mark
+    unsigned          fMarkB  :  1;  // the multipurpose mark
+    unsigned          fPhase  :  1;  // the flag to mark the phase of equivalent node
+    unsigned          fPersist:  1;  // marks the persistant AIG node
+    unsigned          nFanins : 24;  // the level of the node
+    Abc_Obj_t *       Fanins[0];     // the array of fanins
+};
+
+struct Abc_Pin_t_ // 4 words
+{
+    Abc_Pin_t *       pNext;
+    Abc_Pin_t *       pPrev;
+    Abc_Obj_t *       pFanin;
+    Abc_Obj_t *       pFanout;
+};