pub unsafe extern "C" fn SCIPcallExprReverseprop(
scip: *mut SCIP,
expr: *mut SCIP_EXPR,
bounds: SCIP_INTERVAL,
childrenbounds: *mut SCIP_INTERVAL,
infeasible: *mut c_uint,
) -> SCIP_RETCODEExpand description
calls the reverse propagation callback for an expression
@see SCIP_DECL_EXPRREVERSEPROP
Returns unmodified childrenbounds if reverseprop callback not implemented.