From 4bd7efa6cda58e3e108b800d72438b707d56dd47 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Jan 2012 19:31:13 -0800
Subject: Added counting hits and misses during structural hashing.

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

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

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index d97276f5..4ca6930b 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -149,6 +149,8 @@ struct Gia_Man_t_
     Vec_Flt_t *    vTiming;       // arrival/required/slack
     void *         pManTime;      // the timing manager
     void *         pLutLib;       // LUT library
+    word           nHashHit;      // hash table hit
+    word           nHashMiss;     // hash table miss
 };
 
 
-- 
cgit v1.2.3