Searched refs:nliftgubvars (Results 1 – 1 of 1) sorted by relevance
3918 int nliftgubvars; in sequentialUpAndDownLiftingGUB() local4198 nliftgubvars = k; in sequentialUpAndDownLiftingGUB()4216 liftgubvars[nliftgubvars] = liftvar; in sequentialUpAndDownLiftingGUB()4217 nliftgubvars++; in sequentialUpAndDownLiftingGUB()4276 assert(nliftgubvars > nliftgubC1); in sequentialUpAndDownLiftingGUB()4337 for( k = 0; k < nliftgubvars; k++ ) in sequentialUpAndDownLiftingGUB()4477 nliftgubvars = 0; in sequentialUpAndDownLiftingGUB()4492 liftgubvars[nliftgubvars] = liftvar; in sequentialUpAndDownLiftingGUB()4493 nliftgubvars++; in sequentialUpAndDownLiftingGUB()4540 assert(nliftgubvars >= 1); /* at least one variable is in R */ in sequentialUpAndDownLiftingGUB()[all …]