Searched refs:gubconsGC1 (Results 1 – 1 of 1) sorted by relevance
2937 assert(gubconsGC1 != NULL); in getLiftingSequenceGUB()3152 gubconsGC1[*ngubconsGC1] = gubconsidx; in getLiftingSequenceGUB()3943 assert(gubconsGC1 != NULL); in sequentialUpAndDownLiftingGUB()3979 gubconsGOC1[ngubconsGOC1] = gubconsGC1[j]; in sequentialUpAndDownLiftingGUB()3985 gubconsGNC1[ngubconsGNC1] = gubconsGC1[j]; in sequentialUpAndDownLiftingGUB()3988 for( k = 0; k < gubset->gubconss[gubconsGC1[j]]->ngubvars in sequentialUpAndDownLiftingGUB()3991 varidx = gubset->gubconss[gubconsGC1[j]]->gubvars[k]; in sequentialUpAndDownLiftingGUB()4098 liftgubconsidx = gubconsGC1[w-1]; in sequentialUpAndDownLiftingGUB()4830 int* gubconsGC1; in separateSequLiftedMinimalCoverInequality() local4853 SCIP_CALL( SCIPallocBufferArray(scip, &gubconsGC1, ngubconss) ); in separateSequLiftedMinimalCoverInequality()[all …]