Searched refs:gubconsGC2 (Results 1 – 1 of 1) sorted by relevance
2892 int* gubconsGC2, /**< pointer to store GUBs in GC2 */ in getLiftingSequenceGUB() argument2938 assert(gubconsGC2 != NULL); in getLiftingSequenceGUB()3237 gubconsGC2[*ngubconsGC2] = gubconsidx; in getLiftingSequenceGUB()3880 int* gubconsGC2, /**< GUBs in GC2 */ in sequentialUpAndDownLiftingGUB() argument3944 assert(gubconsGC2 != NULL); in sequentialUpAndDownLiftingGUB()4129 varidx = gubset->gubconss[gubconsGC2[j]]->gubvars[0]; in sequentialUpAndDownLiftingGUB()4131 assert(gubset->gubconss[gubconsGC2[j]]->ngubvars == 1); in sequentialUpAndDownLiftingGUB()4378 liftgubconsidx = gubconsGC2[j]; in sequentialUpAndDownLiftingGUB()4831 int* gubconsGC2; in separateSequLiftedMinimalCoverInequality() local4854 SCIP_CALL( SCIPallocBufferArray(scip, &gubconsGC2, ngubconss) ); in separateSequLiftedMinimalCoverInequality()[all …]