From 45bf0369a84f9fdc55dd8cdc6227bdfd7c146dee Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 Feb 2017 19:51:53 -0800
Subject: Adding structural flop priority heuristics in '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 89b6f0d0..dae20f0c 100644
--- a/src/proof/pdr/pdrInt.h
+++ b/src/proof/pdr/pdrInt.h
@@ -82,6 +82,7 @@ struct Pdr_Man_t_
     Vec_Wec_t * vVLits;    // CNF literals
     // data representation
     int         iOutCur;   // current output
+    int         nPrioShift;// priority shift
     Vec_Ptr_t * vCexes;    // counter-examples for each output
     Vec_Ptr_t * vSolvers;  // SAT solvers
     Vec_Vec_t * vClauses;  // clauses by timeframe
@@ -121,6 +122,8 @@ struct Pdr_Man_t_
     int         nQueCur;
     int         nQueMax;
     int         nQueLim;
+    int         nXsimRuns;
+    int         nXsimLits;
     // runtime
     abctime     timeToStop;
     abctime     timeToStopOne;
-- 
cgit v1.2.3