Searched refs:newmincliqueweight (Results 1 – 1 of 1) sorted by relevance
10675 SCIP_Longint newmincliqueweight; in tightenWeights() local10688 newmincliqueweight = newcapacity + 1; in tightenWeights()10706 … assert(newweight <= newmincliqueweight); /* items are sorted by non-increasing weight! */ in tightenWeights()10707 newmincliqueweight = newweight; in tightenWeights()