Searched refs:isnegpartitionoutdated (Results 1 – 1 of 1) sorted by relevance
470 SCIP_Bool isnegpartitionoutdated; in calcCliquepartition() local486 isnegpartitionoutdated = (conshdlrdata->updatecliquepartitions && consdata->nnegcliques > 1 in calcCliquepartition()489 if( negatedclique && (!consdata->negcliquepartitioned || isnegpartitionoutdated) ) in calcCliquepartition()