Searched refs:ngubconsGC2 (Results 1 – 1 of 1) sorted by relevance
2896 int* ngubconsGC2, /**< pointer to store number of GUBs in GC2 */ in getLiftingSequenceGUB() argument2942 assert(ngubconsGC2 != NULL); in getLiftingSequenceGUB()3071 *ngubconsGC2 = 0; in getLiftingSequenceGUB()3237 gubconsGC2[*ngubconsGC2] = gubconsidx; in getLiftingSequenceGUB()3238 (*ngubconsGC2)++; in getLiftingSequenceGUB()3884 int ngubconsGC2, /**< number of GUBs in GC2 */ in sequentialUpAndDownLiftingGUB() argument3948 assert(ngubconsGC2 >= 0 && ngubconsGC2 <= ngubconss - ngubconscapexceed); in sequentialUpAndDownLiftingGUB()4127 for( j = 0; j < ngubconsGC2; j++ ) in sequentialUpAndDownLiftingGUB()4376 for( j = 0; j < ngubconsGC2; j++ ) in sequentialUpAndDownLiftingGUB()4835 int ngubconsGC2; in separateSequLiftedMinimalCoverInequality() local[all …]