Function SCIPaddVarImplication 

pub unsafe extern "C" fn SCIPaddVarImplication(
    scip: *mut SCIP,
    var: *mut SCIP_VAR,
    varfixing: c_uint,
    implvar: *mut SCIP_VAR,
    impltype: SCIP_BOUNDTYPE,
    implbound: f64,
    infeasible: *mut c_uint,
    nbdchgs: *mut c_int,
) -> SCIP_RETCODE

informs binary variable x about a globally valid implication: x == 0 or x == 1 ==> y <= b or y >= b; also adds the corresponding implication or variable bound to the implied variable; if the implication is conflicting, the variable is fixed to the opposite value; if the variable is already fixed to the given value, the implication is performed immediately; if the implication is redundant with respect to the variables’ global bounds, it is ignored

@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_TRANSFORMED - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_PRESOLVED - \ref SCIP_STAGE_SOLVING