From b581e16f32cd1ad68a65fd94d9f2b997da443721 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 20 Mar 2014 11:21:33 -0700
Subject: Experiments with cut caching.

---
 src/map/if/if.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/map/if/if.h')

diff --git a/src/map/if/if.h b/src/map/if/if.h
index 20d5b643..591361ba 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -237,6 +237,7 @@ struct If_Man_t_
     Vec_Str_t *        vTtPerms;      // mapping of truth table into permutations
     int                nBestCutSmall[2];
     int                nCountNonDec[2];
+    Vec_Int_t *        vCutData;      // cut data storage
 
     // timing manager
     Tim_Man_t *        pManTim;
-- 
cgit v1.2.3