Function scip_sys::SCIPparseCons

source ·
pub unsafe extern "C" fn SCIPparseCons(
    scip: *mut SCIP,
    cons: *mut *mut SCIP_CONS,
    str_: *const c_char,
    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,
    success: *mut c_uint
) -> SCIP_RETCODE
Expand description

parses constraint information (in cip format) out of a string; if the parsing process was successful a constraint is creates and captures;

@return \ref SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See \ref SCIP_Retcode “SCIP_RETCODE” for a complete list of error codes.

@pre This method can be called if @p scip is in one of the following stages: - \ref SCIP_STAGE_PROBLEM - \ref SCIP_STAGE_TRANSFORMING - \ref SCIP_STAGE_INITPRESOLVE - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_EXITPRESOLVE - \ref SCIP_STAGE_PRESOLVED - \ref SCIP_STAGE_SOLVING - \ref SCIP_STAGE_EXITSOLVE

@warning If a constraint is marked to be checked for feasibility but not to be enforced, a LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable’s local bounds.