pub unsafe extern "C" fn SCIPvarGetImplTypes(
var: *mut SCIP_VAR,
varfixing: c_uint,
) -> *mut SCIP_BOUNDTYPEExpand 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