Searched refs:negcliquepartitioned (Results 1 – 2 of 2) sorted by relevance
234 unsigned int negcliquepartitioned:1;/**< is the negated clique partition valid? */ member429 if( consdata->negcliquepartitioned ) in sortItems()439 consdata->negcliquepartitioned = FALSE; in sortItems()489 if( negatedclique && (!consdata->negcliquepartitioned || isnegpartitionoutdated) ) in calcCliquepartition()492 consdata->negcliquepartitioned = TRUE; in calcCliquepartition()496 assert(!consdata->negcliquepartitioned || consdata->nnegcliques <= consdata->nvars); in calcCliquepartition()727 (*consdata)->negcliquepartitioned = FALSE; in consdataCreate()6269 consdata->negcliquepartitioned = FALSE; in addCoef()6397 if( consdata->negcliquepartitioned ) in delCoefPos()7016 assert(consdata->negcliquepartitioned); in stableSort()[all …]
4971 …liquePartition() resulting in new consdata members `negcliquepartition`, `negcliquepartitioned` and