Searched refs:gubvarssize (Results 1 – 1 of 1) sorted by relevance
1687 (*gubcons)->gubvarssize = GUBCONSGROWVALUE; in GUBconsCreate()1735 if( gubcons->ngubvars == gubcons->gubvarssize ) in GUBconsAddVar()1739 newlen = gubcons->gubvarssize + GUBCONSGROWVALUE; in GUBconsAddVar()1743 gubcons->gubvarssize = newlen; in GUBconsAddVar()1775 newlen = gubcons->gubvarssize - GUBCONSGROWVALUE; in GUBconsDelVar()1780 gubcons->gubvarssize = newlen; in GUBconsDelVar()3156 if( gubset->gubconss[gubconsidx]->gubvarssize > *maxgubvarssize ) in getLiftingSequenceGUB()3157 *maxgubvarssize = gubset->gubconss[gubconsidx]->gubvarssize; in getLiftingSequenceGUB()3242 *maxgubvarssize = gubset->gubconss[gubconsidx]->gubvarssize; in getLiftingSequenceGUB()3295 *maxgubvarssize = gubset->gubconss[gubconsidx]->gubvarssize; in getLiftingSequenceGUB()[all …]