Searched refs:minweightssize (Results 1 – 1 of 1) sorted by relevance
3386 assert(minweightssize != NULL); in enlargeMinweights()3387 assert(*minweightssize >= 0); in enlargeMinweights()3389 if( newlen > *minweightssize ) in enlargeMinweights()3396 *minweightssize = newsize; in enlargeMinweights()3398 assert(newlen <= *minweightssize); in enlargeMinweights()3447 int minweightssize; in sequentialUpAndDownLifting() local3473 minweightssize = nvarsM1 + 1; in sequentialUpAndDownLifting()3905 int minweightssize; in sequentialUpAndDownLiftingGUB() local3956 minweightssize = ngubconsGC1+1; in sequentialUpAndDownLiftingGUB()4315 tmpsize = minweightssize; in sequentialUpAndDownLiftingGUB()[all …]