Searched refs:resweightsum (Results 1 – 1 of 1) sorted by relevance
8606 SCIP_Longint resweightsum = consdata->weightsum; in dualWeightsTightening() local8609 resweightsum -= weights[v]; in dualWeightsTightening()8611 assert(exceedsum == resweightsum); in dualWeightsTightening()