SCIPvarGetImplTypes

Function SCIPvarGetImplTypes 

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

gets array with implication types of implications y <= b or y >= b for x == 0 or x == 1 of given active problem variable x (SCIP_BOUNDTYPE_UPPER if y <= b, SCIP_BOUNDTYPE_LOWER if y >= b), there are no implications for nonbinary variable x