Searched refs:ngubconsGFC1 (Results 1 – 1 of 1) sorted by relevance
2943 assert(ngubconsGFC1 != NULL); in getLiftingSequenceGUB()3072 *ngubconsGFC1 = 0; in getLiftingSequenceGUB()3208 (*ngubconsGFC1)++; in getLiftingSequenceGUB()3212 gubconsGFC1[*ngubconsGFC1] = gubconsidx; in getLiftingSequenceGUB()3213 (*ngubconsGFC1)++; in getLiftingSequenceGUB()3291 (*ngubconsGFC1)++; in getLiftingSequenceGUB()3354 if( (*ngubconsGFC1) > 0 ) in getLiftingSequenceGUB()3949 assert(ngubconsGFC1 >= 0 && ngubconsGFC1 <= ngubconss - ngubconscapexceed); in sequentialUpAndDownLiftingGUB()4143 for( j = 0; j < ngubconsGFC1; j++ ) in sequentialUpAndDownLiftingGUB()4836 int ngubconsGFC1; in separateSequLiftedMinimalCoverInequality() local[all …]