pub unsafe extern "C" fn SCIPpropGetNUpgdConss( prop: *mut SCIP_PROP, ) -> c_int
gets number of constraints upgraded during presolving of propagator