From 77b5dc261e15e62c7e345b9216601010d139d711 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 13 Feb 2012 23:31:01 -0800
Subject: Added restarts to PDR.

---
 src/proof/pdr/pdrInt.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/proof/pdr/pdrInt.h')

diff --git a/src/proof/pdr/pdrInt.h b/src/proof/pdr/pdrInt.h
index baf4ca02..0a90f9d1 100644
--- a/src/proof/pdr/pdrInt.h
+++ b/src/proof/pdr/pdrInt.h
@@ -107,6 +107,9 @@ struct Pdr_Man_t_
     int         nCasesSU;
     int         nCasesUS;
     int         nCasesUU;
+    int         nQueCur;
+    int         nQueMax;
+    int         nQueLim;
     // runtime
     int         timeStart;
     int         timeToStop;
-- 
cgit v1.2.3