Searched refs:nliftgubC1 (Results 1 – 1 of 1) sorted by relevance
3927 int nliftgubC1; in sequentialUpAndDownLiftingGUB() local4196 nliftgubC1 = k; in sequentialUpAndDownLiftingGUB()4276 assert(nliftgubvars > nliftgubC1); in sequentialUpAndDownLiftingGUB()