diff options
Diffstat (limited to 'src/aig/saig/saig.h')
| -rw-r--r-- | src/aig/saig/saig.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 62ac35ac..c21ac625 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -62,6 +62,7 @@ struct Saig_ParBmc_t_ int nFramesMax; // maximum number of timeframes int nConfLimit; // maximum number of conflicts at a node int nTimeOut; // approximate timeout in seconds + int nPisAbstract; // the number of PIs to abstract int fSolveAll; // does not stop at the first SAT output int fDropSatOuts; // replace sat outputs by constant 0 int fVerbose; // verbose |