private void initializeGlucoseConfig ( ) { this . lbLBDMinimizingClause = glucoseConfig . lbLBDMinimizingClause ; this . lbLBDFrozenClause = glucoseConfig . lbLBDFrozenClause ; this . lbSizeMinimizingClause = glucoseConfig . lbSizeMinimizingClause ; this . firstReduceDB = glucoseConfig . firstReduceDB ; this . specialIncReduceDB = glucoseConfig . specialIncReduceDB ; this . incReduceDB = glucoseConfig . incReduceDB ; this . factorK = glucoseConfig . factorK ; this . factorR = glucoseConfig . factorR ; this . sizeLBDQueue = glucoseConfig . sizeLBDQueue ; this . sizeTrailQueue = glucoseConfig . sizeTrailQueue ; this . reduceOnSize = glucoseConfig . reduceOnSize ; this . reduceOnSizeSize = glucoseConfig . reduceOnSizeSize ; this . maxVarDecay = glucoseConfig . maxVarDecay ; }
Initializes the glucose configuration .