Searched defs:liftcands (Results 1 – 1 of 1) sorted by relevance
9651 int** liftcands, /**< array of the lifting candidates */ in insertZerolist()9745 int* liftcands[2]; /* binary variables that have at least one entry in zeroitems */ in tightenWeightsLift() local