Searched refs:cliqueidx (Results 1 – 1 of 1) sorted by relevance
2255 int cliqueidx; in GUBsetGetCliquePartition() local2286 cliqueidx = cliquepartition[i]; in GUBsetGetCliquePartition()2291 if( gubfirstvar[cliqueidx] == -1 ) in GUBsetGetCliquePartition()2300 gubfirstvar[cliqueidx] = i; in GUBsetGetCliquePartition()2305 assert(gubfirstvar[cliqueidx] >= 0 && gubfirstvar[cliqueidx] < i); in GUBsetGetCliquePartition()2310 newgubconsidx = gubset->gubconssidx[gubfirstvar[cliqueidx]]; in GUBsetGetCliquePartition()