SCIPrespropCons

Function SCIPrespropCons 

Source
pub unsafe extern "C" fn SCIPrespropCons(
    scip: *mut SCIP,
    cons: *mut SCIP_CONS,
    infervar: *mut SCIP_VAR,
    inferinfo: c_int,
    boundtype: SCIP_BOUNDTYPE,
    bdchgidx: *mut SCIP_BDCHGIDX,
    relaxedbd: f64,
    result: *mut SCIP_RESULT,
) -> SCIP_RETCODE
Expand description

resolves propagation conflict of single constraint

@return \ref SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See \ref SCIP_Retcode “SCIP_RETCODE” for a complete list of error codes.

@pre This method can be called if @p scip is in one of the following stages: - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_SOLVING

@note This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.