Function scip_sys::SCIPprofileInsertCore

pub unsafe extern "C" fn SCIPprofileInsertCore(
    profile: *mut SCIP_PROFILE,
    left: c_int,
    right: c_int,
    height: c_int,
    pos: *mut c_int,
    infeasible: *mut c_uint
) -> SCIP_RETCODE

insert a core into resource profile; if the core is non-empty the resource profile will be updated otherwise nothing happens