Searched refs:addweightsum (Results 1 – 1 of 1) sorted by relevance
9760 SCIP_Longint addweightsum; in tightenWeightsLift() local10127 addweightsum = 0; in tightenWeightsLift()10128 for( val = 0; val < 2 && addweightsum < consdata->capacity; ++val ) in tightenWeightsLift()10130 for( i = 0; i < nliftcands[val] && addweightsum < consdata->capacity; ++i ) in tightenWeightsLift()10144 … || maxcliqueweightsum - zeroweightsums[val][probindex] + addweightsum >= consdata->capacity ) in tightenWeightsLift()10156 cliqueweightsum = addweightsum; /* the previously added items are single-element cliques */ in tightenWeightsLift()10192 addweightsum += weight; in tightenWeightsLift()