Searched refs:maxgubvarssize (Results 1 – 1 of 1) sorted by relevance
2945 assert(maxgubvarssize != NULL); in getLiftingSequenceGUB()3075 *maxgubvarssize = 0; in getLiftingSequenceGUB()3156 if( gubset->gubconss[gubconsidx]->gubvarssize > *maxgubvarssize ) in getLiftingSequenceGUB()3157 *maxgubvarssize = gubset->gubconss[gubconsidx]->gubvarssize; in getLiftingSequenceGUB()3241 if( gubset->gubconss[gubconsidx]->gubvarssize > *maxgubvarssize ) in getLiftingSequenceGUB()3242 *maxgubvarssize = gubset->gubconss[gubconsidx]->gubvarssize; in getLiftingSequenceGUB()3294 if( gubset->gubconss[gubconsidx]->gubvarssize > *maxgubvarssize ) in getLiftingSequenceGUB()3295 *maxgubvarssize = gubset->gubconss[gubconsidx]->gubvarssize; in getLiftingSequenceGUB()3330 *maxgubvarssize = gubset->gubconss[gubconsidx]->gubvarssize; in getLiftingSequenceGUB()4840 int maxgubvarssize; in separateSequLiftedMinimalCoverInequality() local[all …]