diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-19 14:03:24 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-19 14:03:24 -0800 |
| commit | 6274498e0131d650f039c49ee0ed3d3afa6bf766 (patch) | |
| tree | e21f4bc2d526bc787064ae6d5b1c670e210b0625 /src/sat/bmc/bmc.h | |
| parent | c2b6e03c6100c351533a5e2b4bd0daab4e8a7b06 (diff) | |
| download | abc-6274498e0131d650f039c49ee0ed3d3afa6bf766.tar.gz abc-6274498e0131d650f039c49ee0ed3d3afa6bf766.tar.bz2 abc-6274498e0131d650f039c49ee0ed3d3afa6bf766.zip | |
Updates to exact synthesis commands.
Diffstat (limited to 'src/sat/bmc/bmc.h')
| -rw-r--r-- | src/sat/bmc/bmc.h | 2 |
1 files changed, 2 insertions, 0 deletions
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; |