scip_sys

Function SCIPvarGetImplicVarBounds

Source 
pub unsafe extern "C" fn SCIPvarGetImplicVarBounds(
    var: *mut SCIP_VAR,
    varfixing: c_uint,
    implvar: *mut SCIP_VAR,
    lb: *mut f64,
    ub: *mut f64,
)
Expand description

gets the values of b in implications x == varfixing -> y <= b or y >= b in the implication graph; the values are set to SCIP_INVALID if there is no implied bound