Searched refs:minprod (Results 1 – 1 of 1) sorted by relevance
16266 SCIP_INTERVAL minprod; in provedBound() local16313 SCIPintervalSet(&minprod, 0.0); in provedBound()16348 SCIPintervalAdd(SCIPsetInfinity(set), &minprod, minprod, diff); in provedBound()16352 SCIPintervalAdd(SCIPsetInfinity(set), &minprod, minprod, ytb); in provedBound()16357 *bound = SCIPintervalGetInf(minprod); in provedBound()