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