Searched refs:maxactduetoclqfront (Results 1 – 1 of 1) sorted by relevance
8186 SCIP_Longint maxactduetoclqfront; in detectRedundantVars() local8191 maxactduetoclqfront = 0; in detectRedundantVars()8202 if( maxactduetoclqfront + weights[w] <= capacity ) in detectRedundantVars()8204 maxactduetoclqfront += weights[w]; in detectRedundantVars()8224 assert(maxactduetoclqfront <= capacity); in detectRedundantVars()