Function SCIPvarIsNonimpliedIntegral 

pub unsafe extern "C" fn SCIPvarIsNonimpliedIntegral(
    var: *mut SCIP_VAR,
) -> c_uint

returns TRUE if the variable is integral, but not implied integral.