SCIPcreateConsPseudobooleanWithConss

scip_sys

Function SCIPcreateConsPseudobooleanWithConss 

Source 
pub unsafe extern "C" fn SCIPcreateConsPseudobooleanWithConss(
    scip: *mut SCIP,
    cons: *mut *mut SCIP_CONS,
    name: *const c_char,
    lincons: *mut SCIP_CONS,
    linconstype: SCIP_LINEARCONSTYPE,
    andconss: *mut *mut SCIP_CONS,
    andcoefs: *mut f64,
    nandconss: c_int,
    indvar: *mut SCIP_VAR,
    weight: f64,
    issoftcons: c_uint,
    lhs: f64,
    rhs: f64,
    initial: c_uint,
    separate: c_uint,
    enforce: c_uint,
    check: c_uint,
    propagate: c_uint,
    local: c_uint,
    modifiable: c_uint,
    dynamic: c_uint,
    removable: c_uint,
    stickingatnode: c_uint,
) -> SCIP_RETCODE
Expand description

creates and captures a pseudoboolean constraint, with given linear and and-constraints