Function SCIPgetExprBoundsNonlinear 

pub unsafe extern "C" fn SCIPgetExprBoundsNonlinear(
    scip: *mut SCIP,
    expr: *mut SCIP_EXPR,
) -> SCIP_INTERVAL

returns bounds on the expression

This gives an intersection of bounds from

• activity calculation (SCIPexprGetActivity()), if valid,
• auxiliary variable, if present,
• stored by SCIPtightenExprIntervalNonlinear() during domain propagation

@note The returned interval can be empty!