pub unsafe extern "C" fn SCIPintervalAddInf(
infinity: f64,
resultant: *mut SCIP_INTERVAL,
operand1: SCIP_INTERVAL,
operand2: SCIP_INTERVAL,
)Expand description
adds operand1 and operand2 and stores infimum of result in infimum of resultant