Searched refs:candval (Results 1 – 1 of 1) sorted by relevance
2826 SCIP_Real candval = 2.0; in extendToCover() local2904 if ( val < candval ) in extendToCover()2908 candval = val; in extendToCover()