Searched refs:gubconsGFC1 (Results 1 – 1 of 1) sorted by relevance
2893 int* gubconsGFC1, /**< pointer to store GUBs in GFC1(GNC1+GF) */ in getLiftingSequenceGUB() argument2939 assert(gubconsGFC1 != NULL); in getLiftingSequenceGUB()3207 gubconsGFC1[*ngubconsGFC1] = gubconsidx; in getLiftingSequenceGUB()3212 gubconsGFC1[*ngubconsGFC1] = gubconsidx; in getLiftingSequenceGUB()3290 gubconsGFC1[*ngubconsGFC1] = gubconsidx; in getLiftingSequenceGUB()3881 int* gubconsGFC1, /**< GUBs in GFC1(GNC1+GF) */ in sequentialUpAndDownLiftingGUB() argument3945 assert(gubconsGFC1 != NULL); in sequentialUpAndDownLiftingGUB()4145 liftgubconsidx = gubconsGFC1[j]; in sequentialUpAndDownLiftingGUB()4832 int* gubconsGFC1; in separateSequLiftedMinimalCoverInequality() local4855 SCIP_CALL( SCIPallocBufferArray(scip, &gubconsGFC1, ngubconss) ); in separateSequLiftedMinimalCoverInequality()[all …]