Function SCIPvarGetProbvarBinary 

pub unsafe extern "C" fn SCIPvarGetProbvarBinary(
    var: *mut *mut SCIP_VAR,
    negated: *mut c_uint,
) -> SCIP_RETCODE

gets corresponding active, fixed, or multi-aggregated problem variable of a binary variable and updates the given negation status