pub unsafe extern "C" fn SCIPvarIsImpliedIntegral( var: *mut SCIP_VAR, ) -> c_uint
returns whether variable is implied integral (weakly or strongly)