Searched defs:gubconsGC2 (Results 1 – 1 of 1) sorted by relevance
2892 int* gubconsGC2, /**< pointer to store GUBs in GC2 */ in getLiftingSequenceGUB()3880 int* gubconsGC2, /**< GUBs in GC2 */ in sequentialUpAndDownLiftingGUB()4831 int* gubconsGC2; in separateSequLiftedMinimalCoverInequality() local