Searched refs:oldnsuccess (Results 1 – 1 of 1) sorted by relevance
8596 SCIP_Longint oldnsuccess; in conflictAnalyzeBoundexceedingLP() local8630 oldnsuccess = conflict->ndualproofsbndsuccess + conflict->ndualproofsinfsuccess; in conflictAnalyzeBoundexceedingLP()8635 …s > 0 || conflict->ndualproofsbndsuccess + conflict->ndualproofsinfsuccess > oldnsuccess) ? 1 : 0); in conflictAnalyzeBoundexceedingLP()8642 … = (nconss > 0 || conflict->ndualproofsbndsuccess + conflict->ndualproofsinfsuccess > oldnsuccess); in conflictAnalyzeBoundexceedingLP()