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