Function SCIPvarGetImplVars 

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

gets array with implication variables y of implications y <= b or y >= b for x == 0 or x == 1 of given active problem variable x, there are no implications for nonbinary variable x; the implications are sorted such that implications with binary implied variables precede the ones with non-binary implied variables, and as a second criteria, the implied variables are sorted by increasing variable index (see SCIPvarGetIndex())