scip_sys

Function SCIPvarGetNImpls

Source 
pub unsafe extern "C" fn SCIPvarGetNImpls(
    var: *mut SCIP_VAR,
    varfixing: c_uint,
) -> c_int
Expand description

gets number 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