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;
  }
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.