Searched refs:nvarsM2 (Results 1 – 1 of 1) sorted by relevance
3435 int nvarsM2, /**< number of variables in M_2 */ in sequentialUpAndDownLifting() argument3463 assert(nvarsM2 >= 0 && nvarsM2 <= nvars - ntightened); in sequentialUpAndDownLifting()3466 assert(nvarsM1 + nvarsM2 + nvarsF + nvarsR == nvars - ntightened); in sequentialUpAndDownLifting()3507 for( j = 0; j < nvarsM2; j++ ) in sequentialUpAndDownLifting()3617 for( j = 0; j < nvarsM2; j++ ) in sequentialUpAndDownLifting()