SCIPvarGetUbCertificateIndexLocal

scip_sys

Function SCIPvarGetUbCertificateIndexLocal 

Source 
pub unsafe extern "C" fn SCIPvarGetUbCertificateIndexLocal(
    var: *mut SCIP_VAR,
) -> c_longlong
Expand description

returns index of variable bound in vipr certificate