Searched refs:adjustedleft (Results 1 – 1 of 1) sorted by relevance
2148 SCIP_Real adjustedleft; in SCIPnodeAddHoleinfer() local2151 adjustedleft = left; in SCIPnodeAddHoleinfer()2154 SCIPvarAdjustUb(var, set, &adjustedleft); in SCIPnodeAddHoleinfer()2157 assert(SCIPsetIsEQ(set, left, adjustedleft)); in SCIPnodeAddHoleinfer()