Searched refs:checkdomreds (Results 1 – 1 of 1) sorted by relevance
3191 SCIP_Bool checkdomreds /**< should domain reductions be checked? */ in isBranchFurther() argument3197 && !status->maxnconsreached && (!checkdomreds || !status->domred); in isBranchFurther()