Function SCIPinferBinvarCons 

pub unsafe extern "C" fn SCIPinferBinvarCons(
    scip: *mut SCIP,
    var: *mut SCIP_VAR,
    fixedval: c_uint,
    infercons: *mut SCIP_CONS,
    inferinfo: c_int,
    infeasible: *mut c_uint,
    tightened: *mut c_uint,
) -> SCIP_RETCODE

depending on SCIP’s stage, fixes binary variable in the problem, in preprocessing, or in current node; the given inference constraint is stored, such that the conflict analysis is able to find out the reason for the deduction of the fixing

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