Function SCIPincludeProp 

pub unsafe extern "C" fn SCIPincludeProp(
    scip: *mut SCIP,
    name: *const c_char,
    desc: *const c_char,
    priority: c_int,
    freq: c_int,
    delay: c_uint,
    timingmask: SCIP_PROPTIMING,
    presolpriority: c_int,
    presolmaxrounds: c_int,
    presoltiming: SCIP_PRESOLTIMING,
    propcopy: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
    propfree: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
    propinit: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
    propexit: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
    propinitpre: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
    propexitpre: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
    propinitsol: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP) -> SCIP_RETCODE>,
    propexitsol: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP, restart: c_uint) -> SCIP_RETCODE>,
    proppresol: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP, nrounds: c_int, presoltiming: SCIP_PRESOLTIMING, nnewfixedvars: c_int, nnewaggrvars: c_int, nnewchgvartypes: c_int, nnewchgbds: c_int, nnewholes: c_int, nnewdelconss: c_int, nnewaddconss: c_int, nnewupgdconss: c_int, nnewchgcoefs: c_int, nnewchgsides: c_int, nfixedvars: *mut c_int, naggrvars: *mut c_int, nchgvartypes: *mut c_int, nchgbds: *mut c_int, naddholes: *mut c_int, ndelconss: *mut c_int, naddconss: *mut c_int, nupgdconss: *mut c_int, nchgcoefs: *mut c_int, nchgsides: *mut c_int, result: *mut SCIP_RESULT) -> SCIP_RETCODE>,
    propexec: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP, proptiming: SCIP_PROPTIMING, result: *mut SCIP_RESULT) -> SCIP_RETCODE>,
    propresprop: Option<unsafe extern "C" fn(scip: *mut SCIP, prop: *mut SCIP_PROP, infervar: *mut SCIP_VAR, inferinfo: c_int, boundtype: SCIP_BOUNDTYPE, bdchgidx: *mut SCIP_BDCHGIDX, relaxedbd: f64, result: *mut SCIP_RESULT) -> SCIP_RETCODE>,
    propdata: *mut SCIP_PROPDATA,
) -> SCIP_RETCODE

creates a propagator and includes it in SCIP.

@note method has all propagator callbacks as arguments and is thus changed every time a new callback is added in future releases; consider using SCIPincludePropBasic() and setter functions if you seek for a method which is less likely to change in future releases