Searched refs:bestdomain (Results 1 – 1 of 1) sorted by relevance
2677 SCIP_Real bestdomain; in SCIPbranchExecExtern() local2690 bestdomain = 0.0; in SCIPbranchExecExtern()2709 …ctor) || (priority == bestpriority && factor == bestfactor && domain > bestdomain) ) /*lint !e777*/ in SCIPbranchExecExtern()2714 bestdomain = domain; in SCIPbranchExecExtern()