Searched refs:ublinkvar (Results 1 – 1 of 1) sorted by relevance
657 SCIP_Bool ublinkvar /**< upper bound of linking variable is the reason */ in analyzeConflict() argument675 if( ublinkvar ) in analyzeConflict()