Function scip_sys::SCIPgetExprRelAuxViolationNonlinear

pub unsafe extern "C" fn SCIPgetExprRelAuxViolationNonlinear(
    scip: *mut SCIP,
    expr: *mut SCIP_EXPR,
    auxvalue: f64,
    sol: *mut SCIP_SOL,
    viol: *mut f64,
    violunder: *mut c_uint,
    violover: *mut c_uint
) -> SCIP_RETCODE

computes relative violation for auxvar relation in an expression w.r.t. auxiliary variables

Assume the expression is f(w), where w are auxiliary variables that were introduced by some nlhdlr. Assume that f(w) is associated with auxiliary variable z.

Taking the absolute violation from SCIPgetExprAbsAuxViolationNonlinear(), this function returns the absolute violation divided by max(1,|f(w)|).

If the given value of f(w) is SCIP_INVALID, then viol is set to SCIPinfinity() and both violover and violunder are set to TRUE.