Function scip_sys::SCIPvarIsNegated

source ·
pub unsafe extern "C" fn SCIPvarIsNegated(
    var: *mut SCIP_VAR
) -> c_uint
Expand description

returns whether the variable was created by negation of a different variable