From a8f4d4e6bc19974ae31aa8a2981c53f849981f4e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 19 Jul 2012 08:41:38 -0700
Subject: Making GIA use independent truth table number storage when computing
 truth tables.

---
 src/aig/gia/gia.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/gia.h')

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index c537a31b..7efad774 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -154,6 +154,7 @@ struct Gia_Man_t_
     word           nHashHit;      // hash table hit
     word           nHashMiss;     // hash table miss
     int            fVerbose;      // verbose reports
+    Vec_Int_t *    vObjNums;      // object numbers
     Vec_Wrd_t *    vTtMemory;     // truth table memory
     int            nTtVars;       // truth table variables
     int            nTtWords;      // truth table words
-- 
cgit v1.2.3