Searched refs:setppcConssSort2 (Results 1 – 1 of 1) sorted by relevance
292 SCIP_DECL_SORTPTRCOMP(setppcConssSort2) in SCIP_DECL_SORTPTRCOMP() argument5606 SCIPsortPtr((void**)usefulconss, setppcConssSort2, nconss); in removeDoubleAndSingletonsAndPerformDualpresolve()