From 6274498e0131d650f039c49ee0ed3d3afa6bf766 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 19 Jan 2018 14:03:24 -0800
Subject: Updates to exact synthesis commands.

---
 src/sat/bmc/bmc.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/sat/bmc/bmc.h')

diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h
index 752bab5b..1d5180f3 100644
--- a/src/sat/bmc/bmc.h
+++ b/src/sat/bmc/bmc.h
@@ -52,6 +52,7 @@ struct Bmc_EsPar_t_
     int        nLutSize;
     int        nMajSupp;
     int        fMajority;
+    int        fUseIncr;
     int        fOnlyAnd;
     int        fGlucose;
     int        fOrderNodes;
@@ -69,6 +70,7 @@ static inline void Bmc_EsParSetDefault( Bmc_EsPar_t * pPars )
     pPars->nLutSize    = 2; 
     pPars->nMajSupp    = 0;
     pPars->fMajority   = 0; 
+    pPars->fUseIncr    = 0;
     pPars->fOnlyAnd    = 0; 
     pPars->fGlucose    = 0; 
     pPars->fOrderNodes = 0; 
-- 
cgit v1.2.3