pub unsafe extern "C" fn SCIPvarIsExact(var: *mut SCIP_VAR) -> c_uint
returns whether the variable has exact variable data