SCIPcertifyActivityVarBound

scip_sys

Function SCIPcertifyActivityVarBound 

Source 
pub unsafe extern "C" fn SCIPcertifyActivityVarBound(
    scip: *mut SCIP,
    linename: *const c_char,
    boundtype: SCIP_BOUNDTYPE,
    newbound: f64,
    ismaxactivity: c_uint,
    constraint: *mut SCIP_CONS,
    variable: *mut SCIP_VAR,
    row: *mut SCIP_ROWEXACT,
    vals: *mut *mut SCIP_RATIONAL,
    lhs: *mut SCIP_RATIONAL,
    rhs: *mut SCIP_RATIONAL,
    vars: *mut *mut SCIP_VAR,
    nvars: c_int,
) -> SCIP_RETCODE
Expand description

prints activity bound to proof section

@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_SOLVING

See \ref SCIP_Stage “SCIP_STAGE” for a complete list of all possible solving stages.