SCIPcreateConsIndicatorGenericLinConsPure

Function SCIPcreateConsIndicatorGenericLinConsPure 

Source
pub unsafe extern "C" fn SCIPcreateConsIndicatorGenericLinConsPure(
    scip: *mut SCIP,
    cons: *mut *mut SCIP_CONS,
    name: *const c_char,
    binvar: *mut SCIP_VAR,
    lincons: *mut SCIP_CONS,
    activeone: 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 an indicator constraint with given linear constraint in a generic version, i. e., with a flag activeone indicating whether the constraint is active on value 1 or 0 of the binary variable; no slack variable is specified

@note @a binvar is checked to be binary only later. This enables a change of the type in procedures reading an instance.

@note The linear constraint has to be single sided only, i.e., either rhs or lhs have to be infinite.

@note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()

@see SCIPcreateConsIndicatorLinCons() for information about the basic constraint flag configuration