From 0ff592524818c895517db80a0795b5faea6cf8b5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 11 Feb 2014 11:58:25 -0800
Subject: Experiments with inductive don't-cares.

---
 src/base/main/mainInt.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/base/main/mainInt.h')

diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index cf1a9376..07dc93e4 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -96,6 +96,9 @@ struct Abc_Frame_t_
     // timing constraints
     char *          pDrivingCell;  // name of the driving cell
     float           MaxLoad;       // maximum output load
+    // inductive don't-cares
+    Vec_Int_t *     vIndFlops;
+    int             nIndFrames;
 
     // new code
     Gia_Man_t *     pGia;          // alternative current network as a light-weight AIG
-- 
cgit v1.2.3