Searched refs:exceedsumback (Results 1 – 1 of 1) sorted by relevance
8531 SCIP_Longint exceedsumback = 0; in dualWeightsTightening() local8538 exceedsumback += weights[w]; in dualWeightsTightening()8545 if( exceedsumback > capacity ) in dualWeightsTightening()8550 assert(exceedsumback - weights[nvars - 1] <= capacity); in dualWeightsTightening()