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