From d9edb7e549c2d4b77026d2fba71b1883d1ba378b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 12 Feb 2012 02:16:36 -0800
Subject: Variable timeframe abstraction.

---
 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 1069f5d2..76f8d3ad 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -205,6 +205,7 @@ struct Gia_ParVta_t_
     int            nFramesStart;  // starting frame 
     int            nFramesPast;   // overlap frames
     int            nConfLimit;    // conflict limit
+    int            nLearntMax;    // max number of learned clauses
     int            nTimeOut;      // timeout in seconds
     int            nRatioMin;     // stop when less than this % of object is abstracted
     int            fUseTermVars;  // use terminal variables
-- 
cgit v1.2.3