Searched refs:nnonviolated (Results 1 – 1 of 1) sorted by relevance
2799 int nnonviolated = 0; in extendToCover() local3105 nnonviolated = 0; in extendToCover()3108 ++nnonviolated; in extendToCover()3111 if ( nnonviolated > conshdlrdata->maxsepanonviolated ) in extendToCover()3113 SCIPdebugMsg(scip, "Stop separation after %d non violated IISs.\n", nnonviolated); in extendToCover()