Function SCIPvarGetNegationVar 

pub unsafe extern "C" fn SCIPvarGetNegationVar(
    var: *mut SCIP_VAR,
) -> *mut SCIP_VAR

gets the negation variable x of a negated variable x’ = offset - x