Searched refs:intervalends (Results 1 – 1 of 1) sorted by relevance
4624 SCIP_Longint* intervalends; in superadditiveUpLifting() local4648 SCIP_CALL( SCIPallocBufferArray(scip, &intervalends, ncovervars) ); in superadditiveUpLifting()4676 intervalends[h-1] = maxweightsums[h] - lambda; in superadditiveUpLifting()4696 while( intervalends[h] < weight ) in superadditiveUpLifting()4703 if( weight <= intervalends[h-1] + rhos[h] ) in superadditiveUpLifting()4707 tmp1 = (SCIP_Real) (intervalends[h-1] + rhos[h] - weight); in superadditiveUpLifting()4725 SCIPfreeBufferArray(scip, &intervalends); in superadditiveUpLifting()