SCIPmarkExprPropagateNonlinear

scip_sys

Function SCIPmarkExprPropagateNonlinear 

Source 
pub unsafe extern "C" fn SCIPmarkExprPropagateNonlinear(
    scip: *mut SCIP,
    expr: *mut SCIP_EXPR,
) -> SCIP_RETCODE
Expand description

mark constraints that include this expression to be propagated again

This can be used by, e.g., nlhdlrs, to trigger a new propagation of constraints without a change of variable bounds, e.g., because new information on the expression is available that could potentially lead to tighter expression activity values.

Note, that this call marks also constraints for propagation which only share some variable with this expression.