diff options
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 3eda381d..97a7b7b7 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -210,7 +210,10 @@ struct Gia_ParVta_t_ int nFramesStart; // starting frame int nFramesPast; // overlap frames int nConfLimit; // conflict limit - int nLearntMax; // max number of learned clauses + int nLearnedMax; // max number of learned clauses + int nLearnedStart; // max number of learned clauses + int nLearnedDelta; // delta increase of learned clauses + int nLearnedPerce; // percentage of clauses to leave int nTimeOut; // timeout in seconds int nRatioMin; // stop when less than this % of object is abstracted int fUseTermVars; // use terminal variables |