private void initializeConfig ( ) { this . varDecay = this . config . varDecay ; this . varInc = this . config . varInc ; this . ccminMode = this . config . clauseMin ; this . restartFirst = this . config . restartFirst ; this . restartInc = this . config . restartInc ; this . clauseDecay = this . config . clauseDecay ; this . removeSatisfied = this . config . removeSatisfied ; this . learntsizeFactor = this . config . learntsizeFactor ; this . learntsizeInc = this . config . learntsizeInc ; this . incremental = this . config . incremental ; }
Initializes the solver configuration .