Searched refs:nvarsM1 (Results 1 – 1 of 1) sorted by relevance
3434 int nvarsM1, /**< number of variables in M_1 */ in sequentialUpAndDownLifting() argument3462 assert(nvarsM1 >= 0 && nvarsM1 <= nvars - ntightened); in sequentialUpAndDownLifting()3466 assert(nvarsM1 + nvarsM2 + nvarsF + nvarsR == nvars - ntightened); in sequentialUpAndDownLifting()3473 minweightssize = nvarsM1 + 1; in sequentialUpAndDownLifting()3475 SCIP_CALL( SCIPallocBufferArray(scip, &sortkeys, nvarsM1) ); in sequentialUpAndDownLifting()3484 for( j = 0; j < nvarsM1; j++ ) in sequentialUpAndDownLifting()3492 SCIPsortRealInt(sortkeys, varsM1, nvarsM1); in sequentialUpAndDownLifting()3501 for( w = 1; w <= nvarsM1; w++ ) in sequentialUpAndDownLifting()3503 minweightslen = nvarsM1 + 1; in sequentialUpAndDownLifting()