SCIPcreateConsIndicatorGeneric

Function SCIPcreateConsIndicatorGeneric 

Source
pub unsafe extern "C" fn SCIPcreateConsIndicatorGeneric(
    scip: *mut SCIP,
    cons: *mut *mut SCIP_CONS,
    name: *const c_char,
    binvar: *mut SCIP_VAR,
    nvars: c_int,
    vars: *mut *mut SCIP_VAR,
    vals: *mut f64,
    rhs: f64,
    activeone: c_uint,
    lessthanineq: c_uint,
    initial: c_uint,
    separate: c_uint,
    enforce: c_uint,
    check: c_uint,
    propagate: c_uint,
    local: c_uint,
    dynamic: c_uint,
    removable: c_uint,
    stickingatnode: c_uint,
) -> SCIP_RETCODE
Expand description

creates and captures a indicator constraint in a more generic version.

The key difference from SCIPcreateConsIndicator() is the activeone and lessthanineq Booleans. If \f$z = o\f$, with \f$o\f$ the activeone flag, then: if lessthanineq then \f$a^T x \leq b\f$ holds, else the passed vectors are assumed to be of the form \f$a^T x \geq b\f$. The underlying linear constraint is always created as a less-than inequality.