Searched refs:lastcliqueused (Results 1 – 1 of 1) sorted by relevance
10911 int lastcliqueused; in addNegatedCliques() local11025 lastcliqueused = gaincliquepartition[v]; in addNegatedCliques()11036 lastcliqueused = gaincliquepartition[w]; in addNegatedCliques()11054 cliqueused[lastcliqueused] = FALSE; in addNegatedCliques()