Searched refs:nvarsC1capexceed (Results 1 – 1 of 1) sorted by relevance
3090 int nvarsC1capexceed; in getLiftingSequenceGUB() local3092 nvarsC1capexceed = 0; in getLiftingSequenceGUB()3129 nvarsC1capexceed++; in getLiftingSequenceGUB()3145 nvarsC1capexceed++; in getLiftingSequenceGUB()3160 if( nvarsC1capexceed == gubset->gubconss[gubconsidx]->ngubvars ) in getLiftingSequenceGUB()