pub unsafe extern "C" fn SCIPvarGetImplBounds(
var: *mut SCIP_VAR,
varfixing: c_uint,
) -> *mut f64Expand description
gets array with implication bounds b 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