Function scip_sys::SCIPvarGetImplIds

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

Gets array with unique ids 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. If an implication is a shortcut, i.e., it was added as part of the transitive closure of another implication, its id is negative, otherwise it is nonnegative.