Searched refs:varsM2 (Results 1 – 1 of 1) sorted by relevance
3431 int* varsM2, /**< variables in M_2 */ in sequentialUpAndDownLifting() argument3459 assert(varsM2 != NULL); in sequentialUpAndDownLifting()3508 fixedonesweight += weights[varsM2[j]]; in sequentialUpAndDownLifting()3627 liftvar = varsM2[j]; in sequentialUpAndDownLifting()