Searched refs:gubconssidx (Results 1 – 1 of 1) sorted by relevance
1830 gubset->gubconssidx[var] = newgubcons; in GUBsetMoveVar()1895 gubcons = gubset->gubconssidx[var1]; in GUBsetSwapVars()1896 assert(gubcons == gubset->gubconssidx[var2]); in GUBsetSwapVars()1954 (*gubset)->gubconssidx[i] = i; in GUBsetCreate()1979 assert((*gubset)->gubconssidx != NULL); in GUBsetFree()2022 gubconsidx = gubset->gubconssidx[i]; in GUBsetCheck()2287 currentgubconsidx = gubset->gubconssidx[i]; in GUBsetGetCliquePartition()3095 gubconsidx = gubset->gubconssidx[var]; in getLiftingSequenceGUB()3224 gubconsidx = gubset->gubconssidx[var]; in getLiftingSequenceGUB()3254 gubconsidx = gubset->gubconssidx[var]; in getLiftingSequenceGUB()[all …]