Scippy

SCIP

Solving Constraint Integer Programs

lp.h File Reference

Detailed Description

internal methods for LP management

Author
Tobias Achterberg
Marc Pfetsch
Kati Wolter
Gerald Gamrath

Definition in file lp.h.

#include <stdio.h>
#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_set.h"
#include "scip/type_stat.h"
#include "scip/type_misc.h"
#include "scip/type_lp.h"
#include "scip/type_var.h"
#include "scip/type_prob.h"
#include "scip/type_sol.h"
#include "scip/type_branch.h"
#include "scip/pub_lp.h"
#include "scip/struct_lp.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPcolCreate (SCIP_COL **col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var, int len, SCIP_ROW **rows, SCIP_Real *vals, SCIP_Bool removable)
 
SCIP_RETCODE SCIPcolFree (SCIP_COL **col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
 
void SCIPcolPrint (SCIP_COL *col, SCIP_MESSAGEHDLR *messagehdlr, FILE *file)
 
SCIP_RETCODE SCIPcolAddCoef (SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row, SCIP_Real val)
 
SCIP_RETCODE SCIPcolDelCoef (SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row)
 
SCIP_RETCODE SCIPcolChgCoef (SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row, SCIP_Real val)
 
SCIP_RETCODE SCIPcolIncCoef (SCIP_COL *col, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_ROW *row, SCIP_Real incval)
 
SCIP_RETCODE SCIPcolChgObj (SCIP_COL *col, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newobj)
 
SCIP_RETCODE SCIPcolChgLb (SCIP_COL *col, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newlb)
 
SCIP_RETCODE SCIPcolChgUb (SCIP_COL *col, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newub)
 
SCIP_Real SCIPcolCalcRedcost (SCIP_COL *col, SCIP_Real *dualsol)
 
SCIP_Real SCIPcolGetRedcost (SCIP_COL *col, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_Real SCIPcolGetFeasibility (SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_Real SCIPcolCalcFarkasCoef (SCIP_COL *col, SCIP_Real *dualfarkas)
 
SCIP_Real SCIPcolGetFarkasCoef (SCIP_COL *col, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_Real SCIPcolGetFarkasValue (SCIP_COL *col, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_RETCODE SCIPlpStartStrongbranch (SCIP_LP *lp)
 
SCIP_RETCODE SCIPlpEndStrongbranch (SCIP_LP *lp)
 
void SCIPcolSetStrongbranchData (SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_Real lpobjval, SCIP_Real primsol, SCIP_Real sbdown, SCIP_Real sbup, SCIP_Bool sbdownvalid, SCIP_Bool sbupvalid, SCIP_Longint iter, int itlim)
 
void SCIPcolInvalidateStrongbranchData (SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_RETCODE SCIPcolGetStrongbranch (SCIP_COL *col, SCIP_Bool integral, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp, int itlim, SCIP_Bool updatecol, SCIP_Bool updatestat, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *lperror)
 
SCIP_RETCODE SCIPcolGetStrongbranches (SCIP_COL **cols, int ncols, SCIP_Bool integral, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *lperror)
 
void SCIPcolGetStrongbranchLast (SCIP_COL *col, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Real *solval, SCIP_Real *lpobjval)
 
SCIP_Longint SCIPcolGetStrongbranchLPAge (SCIP_COL *col, SCIP_STAT *stat)
 
void SCIPcolMarkNotRemovableLocal (SCIP_COL *col, SCIP_STAT *stat)
 
SCIP_RETCODE SCIProwCreate (SCIP_ROW **row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, const char *name, int len, SCIP_COL **cols, SCIP_Real *vals, SCIP_Real lhs, SCIP_Real rhs, SCIP_ROWORIGINTYPE origintype, void *origin, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool removable)
 
SCIP_RETCODE SCIProwFree (SCIP_ROW **row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
 
void SCIProwPrint (SCIP_ROW *row, SCIP_MESSAGEHDLR *messagehdlr, FILE *file)
 
SCIP_RETCODE SCIProwEnsureSize (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, int num)
 
void SCIProwCapture (SCIP_ROW *row)
 
SCIP_RETCODE SCIProwRelease (SCIP_ROW **row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
 
void SCIProwDelaySort (SCIP_ROW *row)
 
void SCIProwForceSort (SCIP_ROW *row, SCIP_SET *set)
 
SCIP_RETCODE SCIProwAddCoef (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col, SCIP_Real val)
 
SCIP_RETCODE SCIProwDelCoef (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col)
 
SCIP_RETCODE SCIProwChgCoef (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col, SCIP_Real val)
 
SCIP_RETCODE SCIProwIncCoef (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_COL *col, SCIP_Real incval)
 
SCIP_RETCODE SCIProwChgConstant (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real constant)
 
SCIP_RETCODE SCIProwAddConstant (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real addval)
 
SCIP_RETCODE SCIProwChgLhs (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real lhs)
 
SCIP_RETCODE SCIProwChgRhs (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real rhs)
 
SCIP_RETCODE SCIProwChgLocal (SCIP_ROW *row, SCIP_Bool local)
 
SCIP_RETCODE SCIProwCalcIntegralScalar (SCIP_ROW *row, SCIP_SET *set, SCIP_Real mindelta, SCIP_Real maxdelta, SCIP_Longint maxdnom, SCIP_Real maxscale, SCIP_Bool usecontvars, SCIP_Real *intscalar, SCIP_Bool *success)
 
SCIP_RETCODE SCIProwMakeIntegral (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_STAT *stat, SCIP_LP *lp, SCIP_Real mindelta, SCIP_Real maxdelta, SCIP_Longint maxdnom, SCIP_Real maxscale, SCIP_Bool usecontvars, SCIP_Bool *success)
 
void SCIProwRecalcLPActivity (SCIP_ROW *row, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetLPActivity (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_Real SCIProwGetLPFeasibility (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_Real SCIProwGetRelaxFeasibility (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetNLPFeasibility (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
void SCIProwRecalcPseudoActivity (SCIP_ROW *row, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetPseudoActivity (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetPseudoFeasibility (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetSolActivity (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol)
 
SCIP_Real SCIProwGetSolFeasibility (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol)
 
SCIP_Real SCIProwGetMinActivity (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetMaxActivity (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Bool SCIProwIsRedundant (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetMaxval (SCIP_ROW *row, SCIP_SET *set)
 
SCIP_Real SCIProwGetMinval (SCIP_ROW *row, SCIP_SET *set)
 
int SCIProwGetMaxidx (SCIP_ROW *row, SCIP_SET *set)
 
int SCIProwGetMinidx (SCIP_ROW *row, SCIP_SET *set)
 
int SCIProwGetNumIntCols (SCIP_ROW *row, SCIP_SET *set)
 
SCIP_Real SCIProwGetLPSolCutoffDistance (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol, SCIP_LP *lp)
 
SCIP_Real SCIProwGetLPEfficacy (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
 
SCIP_Bool SCIProwIsLPEfficacious (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_Bool root)
 
SCIP_Real SCIProwGetSolEfficacy (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol)
 
SCIP_Bool SCIProwIsSolEfficacious (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat, SCIP_SOL *sol, SCIP_Bool root)
 
SCIP_Real SCIProwGetRelaxEfficacy (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetNLPEfficacy (SCIP_ROW *row, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_Real SCIProwGetObjParallelism (SCIP_ROW *row, SCIP_SET *set, SCIP_LP *lp)
 
SCIP_RETCODE SCIProwCatchEvent (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTTYPE eventtype, SCIP_EVENTHDLR *eventhdlr, SCIP_EVENTDATA *eventdata, int *filterpos)
 
SCIP_RETCODE SCIProwDropEvent (SCIP_ROW *row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTTYPE eventtype, SCIP_EVENTHDLR *eventhdlr, SCIP_EVENTDATA *eventdata, int filterpos)
 
void SCIProwMarkNotRemovableLocal (SCIP_ROW *row, SCIP_STAT *stat)
 
SCIP_RETCODE SCIPlpCreate (SCIP_LP **lp, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, const char *name)
 
SCIP_RETCODE SCIPlpFree (SCIP_LP **lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
 
SCIP_RETCODE SCIPlpReset (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
 
SCIP_RETCODE SCIPlpAddCol (SCIP_LP *lp, SCIP_SET *set, SCIP_COL *col, int depth)
 
SCIP_RETCODE SCIPlpAddRow (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_ROW *row, int depth)
 
SCIP_RETCODE SCIPlpShrinkCols (SCIP_LP *lp, SCIP_SET *set, int newncols)
 
SCIP_RETCODE SCIPlpShrinkRows (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, int newnrows)
 
SCIP_RETCODE SCIPlpClear (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
 
void SCIPlpMarkSize (SCIP_LP *lp)
 
void SCIPlpSetSizeMark (SCIP_LP *lp, int nrows, int ncols)
 
SCIP_RETCODE SCIPlpGetBasisInd (SCIP_LP *lp, int *basisind)
 
SCIP_RETCODE SCIPlpGetBase (SCIP_LP *lp, int *cstat, int *rstat)
 
SCIP_RETCODE SCIPlpGetBInvRow (SCIP_LP *lp, int r, SCIP_Real *coef, int *inds, int *ninds)
 
SCIP_RETCODE SCIPlpGetBInvCol (SCIP_LP *lp, int c, SCIP_Real *coef, int *inds, int *ninds)
 
SCIP_RETCODE SCIPlpGetBInvARow (SCIP_LP *lp, int r, SCIP_Real *binvrow, SCIP_Real *coef, int *inds, int *ninds)
 
SCIP_RETCODE SCIPlpGetBInvACol (SCIP_LP *lp, int c, SCIP_Real *coef, int *inds, int *ninds)
 
SCIP_RETCODE SCIPlpSumRows (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_Real *weights, SCIP_REALARRAY *sumcoef, SCIP_Real *sumlhs, SCIP_Real *sumrhs)
 
SCIP_RETCODE SCIPlpGetState (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
 
SCIP_RETCODE SCIPlpSetState (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LPISTATE *lpistate, SCIP_Bool wasprimfeas, SCIP_Bool wasprimchecked, SCIP_Bool wasdualfeas, SCIP_Bool wasdualchecked)
 
SCIP_RETCODE SCIPlpFreeState (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
 
SCIP_RETCODE SCIPlpInterrupt (SCIP_LP *lp, SCIP_Bool interrupt)
 
SCIP_RETCODE SCIPlpGetNorms (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
 
SCIP_RETCODE SCIPlpSetNorms (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS *lpinorms)
 
SCIP_RETCODE SCIPlpFreeNorms (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
 
SCIP_Real SCIPlpGetCutoffbound (SCIP_LP *lp)
 
SCIP_RETCODE SCIPlpSetCutoffbound (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_Real cutoffbound)
 
SCIP_Real SCIPlpGetFeastol (SCIP_LP *lp)
 
void SCIPlpSetFeastol (SCIP_LP *lp, SCIP_SET *set, SCIP_Real newfeastol)
 
void SCIPlpResetFeastol (SCIP_LP *lp, SCIP_SET *set)
 
SCIP_RETCODE SCIPlpFlush (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue)
 
SCIP_RETCODE SCIPlpMarkFlushed (SCIP_LP *lp, SCIP_SET *set)
 
SCIP_RETCODE SCIPlpSolveAndEval (SCIP_LP *lp, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_PROB *prob, SCIP_Longint itlim, SCIP_Bool limitresolveiters, SCIP_Bool aging, SCIP_Bool keepsol, SCIP_Bool *lperror)
 
SCIP_LPSOLSTAT SCIPlpGetSolstat (SCIP_LP *lp)
 
void SCIPlpSetRootLPIsRelax (SCIP_LP *lp, SCIP_Bool isrelax)
 
SCIP_Bool SCIPlpIsRootLPRelax (SCIP_LP *lp)
 
SCIP_Real SCIPlpGetObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
 
SCIP_Real SCIPlpGetColumnObjval (SCIP_LP *lp)
 
SCIP_Real SCIPlpGetLooseObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
 
void SCIPlpStoreRootObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
 
void SCIPlpInvalidateRootObjval (SCIP_LP *lp)
 
SCIP_Real SCIPlpGetGlobalPseudoObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
 
void SCIPlpRecomputeLocalAndGlobalPseudoObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
 
SCIP_Real SCIPlpGetPseudoObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
 
SCIP_Real SCIPlpGetModifiedPseudoObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_VAR *var, SCIP_Real oldbound, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
 
SCIP_Real SCIPlpGetModifiedProvedPseudoObjval (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldbound, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
 
SCIP_RETCODE SCIPlpUpdateVarObj (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldobj, SCIP_Real newobj)
 
SCIP_RETCODE SCIPlpUpdateVarLbGlobal (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldlb, SCIP_Real newlb)
 
SCIP_RETCODE SCIPlpUpdateVarLb (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldlb, SCIP_Real newlb)
 
SCIP_RETCODE SCIPlpUpdateVarUbGlobal (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldub, SCIP_Real newub)
 
SCIP_RETCODE SCIPlpUpdateVarUb (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldub, SCIP_Real newub)
 
SCIP_RETCODE SCIPlpUpdateAddVar (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
 
SCIP_RETCODE SCIPlpUpdateDelVar (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
 
SCIP_RETCODE SCIPlpUpdateVarColumn (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
 
SCIP_RETCODE SCIPlpUpdateVarLoose (SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var)
 
void SCIPlpDecNLoosevars (SCIP_LP *lp)
 
SCIP_RETCODE SCIPlpGetSol (SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool *primalfeasible, SCIP_Bool *dualfeasible)
 
SCIP_RETCODE SCIPlpGetUnboundedSol (SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool *primalfeasible, SCIP_Bool *rayfeasible)
 
SCIP_RETCODE SCIPlpGetPrimalRay (SCIP_LP *lp, SCIP_SET *set, SCIP_Real *ray)
 
SCIP_RETCODE SCIPlpGetDualfarkas (SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool *valid)
 
SCIP_RETCODE SCIPlpGetIterations (SCIP_LP *lp, int *iterations)
 
SCIP_RETCODE SCIPlpUpdateAges (SCIP_LP *lp, SCIP_STAT *stat)
 
SCIP_RETCODE SCIPlpRemoveNewObsoletes (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
 
SCIP_RETCODE SCIPlpRemoveAllObsoletes (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
 
SCIP_RETCODE SCIPlpCleanupNew (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Bool root)
 
SCIP_RETCODE SCIPlpCleanupAll (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Bool root)
 
SCIP_RETCODE SCIPlpRemoveRedundantRows (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
 
SCIP_RETCODE SCIPlpStartDive (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat)
 
SCIP_RETCODE SCIPlpEndDive (SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_PROB *prob, SCIP_VAR **vars, int nvars)
 
SCIP_RETCODE SCIPlpRecordOldRowSideDive (SCIP_LP *lp, SCIP_ROW *row, SCIP_SIDETYPE sidetype)
 
SCIP_RETCODE SCIPlpStartProbing (SCIP_LP *lp)
 
SCIP_RETCODE SCIPlpEndProbing (SCIP_LP *lp)
 
void SCIPlpStartStrongbranchProbing (SCIP_LP *lp)
 
void SCIPlpEndStrongbranchProbing (SCIP_LP *lp)
 
SCIP_RETCODE SCIPlpGetProvedLowerbound (SCIP_LP *lp, SCIP_SET *set, SCIP_Real *bound)
 
SCIP_RETCODE SCIPlpIsInfeasibilityProved (SCIP_LP *lp, SCIP_SET *set, SCIP_Bool *proved)
 
SCIP_RETCODE SCIPlpWrite (SCIP_LP *lp, const char *fname)
 
SCIP_RETCODE SCIPlpWriteMip (SCIP_LP *lp, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, const char *fname, SCIP_Bool genericnames, SCIP_Bool origobj, SCIP_OBJSENSE objsense, SCIP_Real objscale, SCIP_Real objoffset, SCIP_Bool lazyconss)
 
void SCIPlpRecalculateObjSqrNorm (SCIP_SET *set, SCIP_LP *lp)
 
SCIP_RETCODE SCIPlpComputeRelIntPoint (SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_LP *lp, SCIP_PROB *prob, SCIP_Bool relaxrows, SCIP_Bool inclobjcutoff, SCIP_Real timelimit, int iterlimit, SCIP_Real *point, SCIP_Bool *success)
 
SCIP_RETCODE SCIPlpGetDualDegeneracy (SCIP_LP *lp, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real *degeneracy, SCIP_Real *varconsratio)
 
SCIP_COL ** SCIPlpGetCols (SCIP_LP *lp)
 
int SCIPlpGetNCols (SCIP_LP *lp)
 
int SCIPlpGetNUnfixedCols (SCIP_LP *lp, SCIP_Real eps)
 
SCIP_ROW ** SCIPlpGetRows (SCIP_LP *lp)
 
int SCIPlpGetNRows (SCIP_LP *lp)
 
SCIP_COL ** SCIPlpGetNewcols (SCIP_LP *lp)
 
int SCIPlpGetNNewcols (SCIP_LP *lp)
 
SCIP_ROW ** SCIPlpGetNewrows (SCIP_LP *lp)
 
int SCIPlpGetNNewrows (SCIP_LP *lp)
 
SCIP_Real SCIPlpGetObjNorm (SCIP_LP *lp)
 
SCIP_Real SCIPlpGetRootObjval (SCIP_LP *lp)
 
SCIP_Real SCIPlpGetRootColumnObjval (SCIP_LP *lp)
 
SCIP_Real SCIPlpGetRootLooseObjval (SCIP_LP *lp)
 
SCIP_LPISCIPlpGetLPI (SCIP_LP *lp)
 
void SCIPlpSetIsRelax (SCIP_LP *lp, SCIP_Bool relax)
 
SCIP_Bool SCIPlpIsRelax (SCIP_LP *lp)
 
SCIP_Bool SCIPlpIsSolved (SCIP_LP *lp)
 
SCIP_Bool SCIPlpIsPrimalReliable (SCIP_LP *lp)
 
SCIP_Bool SCIPlpIsDualReliable (SCIP_LP *lp)
 
SCIP_Bool SCIPlpIsSolBasic (SCIP_LP *lp)
 
SCIP_Bool SCIPlpDiving (SCIP_LP *lp)
 
SCIP_Bool SCIPlpDivingObjChanged (SCIP_LP *lp)
 
void SCIPlpMarkDivingObjChanged (SCIP_LP *lp)
 
void SCIPlpUnmarkDivingObjChanged (SCIP_LP *lp)
 
SCIP_Bool SCIPlpDivingRowsChanged (SCIP_LP *lp)
 
SCIP_Bool SCIPlpIsFeasEQ (SCIP_SET *set, SCIP_LP *lp, SCIP_Real val1, SCIP_Real val2)
 
SCIP_Bool SCIPlpIsFeasLT (SCIP_SET *set, SCIP_LP *lp, SCIP_Real val1, SCIP_Real val2)
 
SCIP_Bool SCIPlpIsFeasLE (SCIP_SET *set, SCIP_LP *lp, SCIP_Real val1, SCIP_Real val2)
 
SCIP_Bool SCIPlpIsFeasGT (SCIP_SET *set, SCIP_LP *lp, SCIP_Real val1, SCIP_Real val2)
 
SCIP_Bool SCIPlpIsFeasGE (SCIP_SET *set, SCIP_LP *lp, SCIP_Real val1, SCIP_Real val2)
 
SCIP_Bool SCIPlpIsFeasZero (SCIP_LP *lp, SCIP_Real val)
 
SCIP_Bool SCIPlpIsFeasPositive (SCIP_LP *lp, SCIP_Real val)
 
SCIP_Bool SCIPlpIsFeasNegative (SCIP_LP *lp, SCIP_Real val)
 

Function Documentation

◆ SCIPcolCreate()

SCIP_RETCODE SCIPcolCreate ( SCIP_COL **  col,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_VAR var,
int  len,
SCIP_ROW **  rows,
SCIP_Real vals,
SCIP_Bool  removable 
)

creates an LP column

Parameters
colpointer to column data
blkmemblock memory
setglobal SCIP settings
statproblem statistics
varvariable, this column represents
lennumber of nonzeros in the column
rowsarray with rows of column entries
valsarray with coefficients of column entries
removableshould the column be removed from the LP due to aging or cleanup?

Definition at line 3273 of file lp.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSduplicateBlockMemoryArray, FALSE, SCIP_Stat::ncolidx, NULL, SCIP_Var::obj, SCIP_ALLOC, SCIP_BASESTAT_ZERO, SCIP_INVALID, SCIP_OKAY, SCIPsetIsZero(), SCIPstatIncrement, SCIPvarGetLbLazy(), SCIPvarGetLbLocal(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetUbLazy(), SCIPvarGetUbLocal(), SCIPvarGetUnchangedObj(), SCIPvarIsIntegral(), and TRUE.

Referenced by SCIPvarColumn().

◆ SCIPcolFree()

SCIP_RETCODE SCIPcolFree ( SCIP_COL **  col,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp 
)

frees an LP column

Parameters
colpointer to LP column
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data

Definition at line 3371 of file lp.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, BMSfreeBlockMemoryNull, colUnlink(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, and SCIPvarGetStatus().

Referenced by SCIPvarLoose(), and varFree().

◆ SCIPcolPrint()

void SCIPcolPrint ( SCIP_COL col,
SCIP_MESSAGEHDLR messagehdlr,
FILE *  file 
)

output column to file stream

Parameters
colLP column
messagehdlrmessage handler
fileoutput file (or NULL for standard output)

Definition at line 3401 of file lp.c.

References SCIP_Col::lb, SCIP_Col::len, SCIP_Row::name, NULL, SCIP_Col::obj, r, SCIP_Col::rows, SCIPmessageFPrintInfo(), SCIP_Col::ub, SCIP_Col::vals, and SCIP_Col::var.

◆ SCIPcolAddCoef()

SCIP_RETCODE SCIPcolAddCoef ( SCIP_COL col,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_ROW row,
SCIP_Real  val 
)

adds a previously non existing coefficient to an LP column

Parameters
colLP column
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
rowLP row
valvalue of coefficient

Definition at line 3441 of file lp.c.

References checkLinks, colAddCoef(), SCIP_Lp::diving, NULL, SCIP_CALL, and SCIP_OKAY.

◆ SCIPcolDelCoef()

SCIP_RETCODE SCIPcolDelCoef ( SCIP_COL col,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_ROW row 
)

deletes coefficient from column

deletes existing coefficient from column

Parameters
colcolumn to be changed
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
rowcoefficient to be deleted

Definition at line 3462 of file lp.c.

References checkLinks, colDelCoefPos(), SCIP_Row::cols, SCIP_Row::cols_index, colSearchCoef(), SCIP_Lp::diving, SCIP_Col::index, SCIP_Col::linkpos, SCIP_Row::name, NULL, rowDelCoefPos(), SCIP_Col::rows, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPerrorMessage, SCIPsetIsEQ(), SCIPvarGetName(), SCIP_Col::vals, SCIP_Row::vals, and SCIP_Col::var.

◆ SCIPcolChgCoef()

SCIP_RETCODE SCIPcolChgCoef ( SCIP_COL col,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_ROW row,
SCIP_Real  val 
)

changes or adds a coefficient to an LP column

Parameters
colLP column
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
rowLP row
valvalue of coefficient

Definition at line 3507 of file lp.c.

References checkLinks, colAddCoef(), colChgCoefPos(), SCIP_Row::cols, SCIP_Row::cols_index, colSearchCoef(), SCIP_Lp::diving, SCIP_Col::index, SCIP_Col::linkpos, NULL, rowChgCoefPos(), SCIP_Col::rows, SCIP_CALL, SCIP_OKAY, SCIPsetIsEQ(), SCIP_Col::vals, and SCIP_Row::vals.

◆ SCIPcolIncCoef()

SCIP_RETCODE SCIPcolIncCoef ( SCIP_COL col,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_ROW row,
SCIP_Real  incval 
)

increases value of an existing or nonexisting coefficient in an LP column

increases value of an existing or non-existing coefficient in an LP column

Parameters
colLP column
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
rowLP row
incvalvalue to add to the coefficient

Definition at line 3558 of file lp.c.

References checkLinks, colAddCoef(), colChgCoefPos(), SCIP_Row::cols, SCIP_Row::cols_index, colSearchCoef(), SCIP_Lp::diving, SCIP_Col::index, SCIP_Col::linkpos, NULL, rowChgCoefPos(), SCIP_Col::rows, SCIP_CALL, SCIP_OKAY, SCIPsetIsEQ(), SCIPsetIsZero(), SCIP_Col::vals, and SCIP_Row::vals.

◆ SCIPcolChgObj()

◆ SCIPcolChgLb()

SCIP_RETCODE SCIPcolChgLb ( SCIP_COL col,
SCIP_SET set,
SCIP_LP lp,
SCIP_Real  newlb 
)

changes lower bound of column

Parameters
colLP column to change
setglobal SCIP settings
lpcurrent LP data
newlbnew lower bound value

Definition at line 3751 of file lp.c.

References FALSE, SCIP_Lp::flushed, insertColChgcols(), SCIP_Col::lb, SCIP_Col::lbchanged, SCIP_Col::lpipos, SCIP_Lp::nchgcols, NULL, SCIP_Col::obj, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIPsetDebugMsg, SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarGetCol(), SCIPvarGetName(), SCIPvarGetStatus(), TRUE, and SCIP_Col::var.

Referenced by SCIPeventProcess(), SCIPlpEndDive(), and SCIPvarChgLbDive().

◆ SCIPcolChgUb()

SCIP_RETCODE SCIPcolChgUb ( SCIP_COL col,
SCIP_SET set,
SCIP_LP lp,
SCIP_Real  newub 
)

changes upper bound of column

Parameters
colLP column to change
setglobal SCIP settings
lpcurrent LP data
newubnew upper bound value

Definition at line 3796 of file lp.c.

References FALSE, SCIP_Lp::flushed, insertColChgcols(), SCIP_Col::lpipos, SCIP_Lp::nchgcols, NULL, SCIP_Col::obj, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIPsetDebugMsg, SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarGetCol(), SCIPvarGetName(), SCIPvarGetStatus(), TRUE, SCIP_Col::ub, SCIP_Col::ubchanged, and SCIP_Col::var.

Referenced by SCIPeventProcess(), SCIPlpEndDive(), and SCIPvarChgUbDive().

◆ SCIPcolCalcRedcost()

SCIP_Real SCIPcolCalcRedcost ( SCIP_COL col,
SCIP_Real dualsol 
)

calculates the reduced costs of a column using the given dual solution vector

Parameters
colLP column
dualsoldual solution vector for current LP rows

Definition at line 3841 of file lp.c.

References SCIP_Col::linkpos, SCIP_Row::lppos, SCIP_Col::nlprows, NULL, SCIP_Col::nunlinked, SCIP_Col::obj, SCIP_Col::rows, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPvarGetCol(), SCIPvarGetStatus(), SCIP_Col::vals, and SCIP_Col::var.

◆ SCIPcolGetRedcost()

SCIP_Real SCIPcolGetRedcost ( SCIP_COL col,
SCIP_STAT stat,
SCIP_LP lp 
)

gets the reduced costs of a column in last LP or after recalculation

Parameters
colLP column
statproblem statistics
lpcurrent LP data

Definition at line 3946 of file lp.c.

References colCalcInternalRedcost(), SCIP_Stat::lpcount, NULL, SCIP_Col::redcost, SCIP_INVALID, SCIP_Col::validredcostlp, and SCIP_Lp::validsollp.

Referenced by getImplVarRedcost(), SCIPcolGetFeasibility(), SCIPgetColRedcost(), SCIPlpGetDualDegeneracy(), SCIPprobUpdateBestRootSol(), and SCIPvarGetImplRedcost().

◆ SCIPcolGetFeasibility()

SCIP_Real SCIPcolGetFeasibility ( SCIP_COL col,
SCIP_SET set,
SCIP_STAT stat,
SCIP_LP lp 
)

gets the feasibility of (the dual row of) a column in last LP or after recalculation

Parameters
colLP column
setglobal SCIP settings
statproblem statistics
lpcurrent LP data

Definition at line 3970 of file lp.c.

References SCIP_Col::lb, SCIP_Stat::lpcount, NULL, REALABS, SCIP_Real, SCIPcolGetRedcost(), SCIPsetInfinity(), SCIPsetIsEQ(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIP_Col::ub, and SCIP_Lp::validsollp.

Referenced by SCIPpricestoreAddProbVars().

◆ SCIPcolCalcFarkasCoef()

SCIP_Real SCIPcolCalcFarkasCoef ( SCIP_COL col,
SCIP_Real dualfarkas 
)

calculates the Farkas coefficient y^T A_i of a column i using the given dual Farkas vector y

Parameters
colLP column
dualfarkasdense dual Farkas vector for current LP rows

Definition at line 4024 of file lp.c.

References SCIP_Col::linkpos, SCIP_Row::lppos, SCIP_Col::nlprows, NULL, SCIP_Col::nunlinked, SCIP_Col::rows, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPvarGetCol(), SCIPvarGetStatus(), SCIP_Col::vals, and SCIP_Col::var.

◆ SCIPcolGetFarkasCoef()

SCIP_Real SCIPcolGetFarkasCoef ( SCIP_COL col,
SCIP_STAT stat,
SCIP_LP lp 
)

gets the Farkas coefficient y^T A_i of a column i in last LP (which must be infeasible)

gets the Farkas coefficient of a column in last LP (which must be infeasible)

Parameters
colLP column
statproblem statistics
lpcurrent LP data

Definition at line 4129 of file lp.c.

References colCalcInternalFarkasCoef(), SCIP_Col::farkascoef, SCIP_Stat::lpcount, NULL, SCIP_INVALID, SCIP_Col::validfarkaslp, and SCIP_Lp::validfarkaslp.

Referenced by SCIPcolGetFarkasValue(), and SCIPgetColFarkasCoef().

◆ SCIPcolGetFarkasValue()

SCIP_Real SCIPcolGetFarkasValue ( SCIP_COL col,
SCIP_STAT stat,
SCIP_LP lp 
)

gets the Farkas value of a column in last LP (which must be infeasible), i.e. the Farkas coefficient y^T A_i times the best bound for this coefficient, i.e. max{y^T A_i x_i | lb <= x_i <= ub}

Parameters
colLP column
statproblem statistics
lpcurrent LP data

Definition at line 4155 of file lp.c.

References SCIP_Col::lb, NULL, SCIP_Real, SCIPcolGetFarkasCoef(), and SCIP_Col::ub.

Referenced by SCIPpricestoreAddProbVars().

◆ SCIPlpStartStrongbranch()

SCIP_RETCODE SCIPlpStartStrongbranch ( SCIP_LP lp)

start strong branching - call before any strong branching

Parameters
lpLP data

Definition at line 4174 of file lp.c.

References SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiStartStrongbranch(), SCIP_Lp::strongbranching, and TRUE.

Referenced by SCIPstartStrongbranch().

◆ SCIPlpEndStrongbranch()

SCIP_RETCODE SCIPlpEndStrongbranch ( SCIP_LP lp)

end strong branching - call after any strong branching

Parameters
lpLP data

Definition at line 4189 of file lp.c.

References FALSE, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiEndStrongbranch(), and SCIP_Lp::strongbranching.

Referenced by SCIPendStrongbranch().

◆ SCIPcolSetStrongbranchData()

void SCIPcolSetStrongbranchData ( SCIP_COL col,
SCIP_SET set,
SCIP_STAT stat,
SCIP_LP lp,
SCIP_Real  lpobjval,
SCIP_Real  primsol,
SCIP_Real  sbdown,
SCIP_Real  sbup,
SCIP_Bool  sbdownvalid,
SCIP_Bool  sbupvalid,
SCIP_Longint  iter,
int  itlim 
)

sets strong branching information for a column variable

Parameters
colLP column
setglobal SCIP settings
statdynamic problem statistics
lpLP data
lpobjvalobjective value of the current LP
primsolprimal solution value of the column in the current LP
sbdowndual bound after branching column down
sbupdual bound after branching column up
sbdownvalidis the returned down value a valid dual bound?
sbupvalidis the returned up value a valid dual bound?
itertotal number of strong branching iterations
itlimiteration limit applied to the strong branching call

Definition at line 4204 of file lp.c.

References SCIP_Lp::cols, SCIP_Lp::cutoffbound, SCIP_Col::lpipos, SCIP_Col::lppos, SCIP_Lp::ncols, SCIP_Stat::nlps, SCIP_Stat::nnodes, SCIP_Col::nsbcalls, NULL, SCIP_Col::sbdown, SCIP_Col::sbdownvalid, SCIP_Col::sbitlim, SCIP_Col::sblpobjval, SCIP_Col::sbnode, SCIP_Col::sbsolval, SCIP_Col::sbup, SCIP_Col::sbupvalid, SCIP_VARSTATUS_COLUMN, SCIPcolIsIntegral(), SCIPstatAdd, SCIPstatIncrement, SCIPvarGetCol(), SCIPvarGetStatus(), SCIPvarIsIntegral(), SCIP_Lp::strongbranchprobing, SCIP_Col::validsblp, and SCIP_Col::var.

Referenced by SCIPgetVarStrongbranchWithPropagation(), and SCIPsetVarStrongbranchData().

◆ SCIPcolInvalidateStrongbranchData()

void SCIPcolInvalidateStrongbranchData ( SCIP_COL col,
SCIP_SET set,
SCIP_STAT stat,
SCIP_LP lp 
)

◆ SCIPcolGetStrongbranch()

SCIP_RETCODE SCIPcolGetStrongbranch ( SCIP_COL col,
SCIP_Bool  integral,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB prob,
SCIP_LP lp,
int  itlim,
SCIP_Bool  updatecol,
SCIP_Bool  updatestat,
SCIP_Real down,
SCIP_Real up,
SCIP_Bool downvalid,
SCIP_Bool upvalid,
SCIP_Bool lperror 
)

gets strong branching information on a column variable

Parameters
colLP column
integralshould integral strong branching be performed?
setglobal SCIP settings
statdynamic problem statistics
probproblem data
lpLP data
itlimiteration limit for strong branchings
updatecolshould col be updated, or should it stay in its current state ?
updatestatshould stat be updated, or should it stay in its current state ?
downstores dual bound after branching column down
upstores dual bound after branching column up
downvalidstores whether the returned down value is a valid dual bound, or NULL; otherwise, it can only be used as an estimate value
upvalidstores whether the returned up value is a valid dual bound, or NULL; otherwise, it can only be used as an estimate value
lperrorpointer to store whether an unresolved LP error occurred

Definition at line 4293 of file lp.c.

References SCIP_Lp::cols, SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::flushed, getFiniteLooseObjval(), SCIP_Lp::looseobjvalinf, SCIP_Stat::lpcount, SCIP_Lp::lpi, SCIP_Col::lpipos, SCIP_Lp::lpobjval, SCIP_Col::lppos, SCIP_Lp::lpsolstat, SCIP_Lp::ncols, SCIP_Stat::nduallpiterations, SCIP_Stat::nduallps, SCIP_Stat::ndualresolvelpiterations, SCIP_Stat::ndualresolvelps, SCIP_Stat::nlps, SCIP_Stat::nnodes, SCIP_Stat::nprimallpiterations, SCIP_Stat::nprimallps, SCIP_Stat::nprimalresolvelpiterations, SCIP_Stat::nprimalresolvelps, SCIP_Col::nsbcalls, NULL, SCIP_Col::primsol, SCIP_Col::sbdown, SCIP_Col::sbdownvalid, SCIP_Col::sbitlim, SCIP_Col::sblpobjval, SCIP_Col::sbnode, SCIP_Col::sbsolval, SCIP_Col::sbup, SCIP_Col::sbupvalid, SCIP_Bool, SCIP_CALL, SCIP_INVALID, SCIP_Longint, SCIP_LPERROR, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPclockStart(), SCIPclockStop(), SCIPcolIsIntegral(), SCIPlpGetObjval(), SCIPlpiStrongbranchFrac(), SCIPlpiStrongbranchInt(), SCIPsetDebugMsg, SCIPsetInfinity(), SCIPsetIsFeasIntegral(), SCIPsetIsIntegral(), SCIPstatAdd, SCIPstatIncrement, SCIPvarGetCol(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarIsIntegral(), SCIP_Lp::solved, SCIP_Lp::strongbranching, SCIP_Stat::strongbranchtime, TRUE, SCIP_Col::validsblp, SCIP_Lp::validsollp, and SCIP_Col::var.

Referenced by SCIPgetVarStrongbranchFrac(), and SCIPgetVarStrongbranchInt().

◆ SCIPcolGetStrongbranches()

SCIP_RETCODE SCIPcolGetStrongbranches ( SCIP_COL **  cols,
int  ncols,
SCIP_Bool  integral,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB prob,
SCIP_LP lp,
int  itlim,
SCIP_Real down,
SCIP_Real up,
SCIP_Bool downvalid,
SCIP_Bool upvalid,
SCIP_Bool lperror 
)

gets strong branching information on column variables

Parameters
colsLP columns
ncolsnumber of columns
integralshould integral strong branching be performed?
setglobal SCIP settings
statdynamic problem statistics
probproblem data
lpLP data
itlimiteration limit for strong branchings
downstores dual bounds after branching columns down
upstores dual bounds after branching columns up
downvalidstores whether the returned down values are valid dual bounds, or NULL; otherwise, they can only be used as an estimate value
upvalidstores whether the returned up values are valid dual bounds, or NULL; otherwise, they can only be used as an estimate value
lperrorpointer to store whether an unresolved LP error occurred

Definition at line 4478 of file lp.c.

References SCIP_Lp::cols, SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::flushed, getFiniteLooseObjval(), SCIP_Lp::looseobjvalinf, SCIP_Stat::lpcount, SCIP_Lp::lpi, SCIP_Col::lpipos, SCIP_Col::lppos, SCIP_Lp::lpsolstat, SCIP_Lp::ncols, SCIP_Stat::nduallpiterations, SCIP_Stat::nduallps, SCIP_Stat::ndualresolvelpiterations, SCIP_Stat::ndualresolvelps, SCIP_Stat::nlps, SCIP_Stat::nnodes, SCIP_Stat::nprimallpiterations, SCIP_Stat::nprimallps, SCIP_Stat::nprimalresolvelpiterations, SCIP_Stat::nprimalresolvelps, SCIP_Col::nsbcalls, NULL, SCIP_Col::primsol, SCIP_Col::sbdown, SCIP_Col::sbdownvalid, SCIP_Col::sbitlim, SCIP_Col::sblpobjval, SCIP_Col::sbnode, SCIP_Col::sbsolval, SCIP_Col::sbup, SCIP_Col::sbupvalid, SCIP_Bool, SCIP_CALL, SCIP_INVALID, SCIP_LPERROR, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPclockStart(), SCIPclockStop(), SCIPcolIsIntegral(), SCIPlpGetObjval(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetInfinity(), SCIPsetIsFeasIntegral(), SCIPstatAdd, SCIPvarGetCol(), SCIPvarGetStatus(), SCIPvarIsIntegral(), SCIP_Lp::solved, SCIP_Stat::strongbranchtime, TRUE, SCIP_Col::validsblp, SCIP_Lp::validsollp, and SCIP_Col::var.

Referenced by SCIPgetVarsStrongbranchesFrac(), and SCIPgetVarsStrongbranchesInt().

◆ SCIPcolGetStrongbranchLast()

void SCIPcolGetStrongbranchLast ( SCIP_COL col,
SCIP_Real down,
SCIP_Real up,
SCIP_Bool downvalid,
SCIP_Bool upvalid,
SCIP_Real solval,
SCIP_Real lpobjval 
)

gets last strong branching information available for a column variable; returns values of SCIP_INVALID, if strong branching was not yet called on the given column; keep in mind, that the returned old values may have nothing to do with the current LP solution

Parameters
colLP column
downstores dual bound after branching column down, or NULL
upstores dual bound after branching column up, or NULL
downvalidstores whether the returned down value is a valid dual bound, or NULL; otherwise, it can only be used as an estimate value
upvalidstores whether the returned up value is a valid dual bound, or NULL; otherwise, it can only be used as an estimate value
solvalstores LP solution value of column at last strong branching call, or NULL
lpobjvalstores LP objective value at last strong branching call, or NULL

Definition at line 4701 of file lp.c.

References NULL, SCIP_Col::sbdown, SCIP_Col::sbdownvalid, SCIP_Col::sblpobjval, SCIP_Col::sbsolval, SCIP_Col::sbup, and SCIP_Col::sbupvalid.

Referenced by SCIPgetVarStrongbranchLast().

◆ SCIPcolGetStrongbranchLPAge()

SCIP_Longint SCIPcolGetStrongbranchLPAge ( SCIP_COL col,
SCIP_STAT stat 
)

if strong branching was already applied on the column at the current node, returns the number of LPs solved after the LP where the strong branching on this column was applied; if strong branching was not yet applied on the column at the current node, returns INT_MAX

Parameters
colLP column
statdynamic problem statistics

Definition at line 4733 of file lp.c.

References SCIP_Stat::nlps, SCIP_Stat::nnodes, NULL, SCIP_Col::sbnode, SCIP_LONGINT_MAX, and SCIP_Col::validsblp.

Referenced by SCIPgetVarStrongbranchLPAge().

◆ SCIPcolMarkNotRemovableLocal()

void SCIPcolMarkNotRemovableLocal ( SCIP_COL col,
SCIP_STAT stat 
)

marks a column to be not removable from the LP in the current node because it became obsolete

Parameters
colLP column
statproblem statistics

Definition at line 4745 of file lp.c.

References SCIP_Stat::nnodes, NULL, and SCIP_Col::obsoletenode.

Referenced by SCIPmarkColNotRemovableLocal().

◆ SCIProwCreate()

SCIP_RETCODE SCIProwCreate ( SCIP_ROW **  row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
const char *  name,
int  len,
SCIP_COL **  cols,
SCIP_Real vals,
SCIP_Real  lhs,
SCIP_Real  rhs,
SCIP_ROWORIGINTYPE  origintype,
void *  origin,
SCIP_Bool  local,
SCIP_Bool  modifiable,
SCIP_Bool  removable 
)

creates and captures an LP row

Parameters
rowpointer to LP row data
blkmemblock memory
setglobal SCIP settings
statproblem statistics
namename of row
lennumber of nonzeros in the row
colsarray with columns of row entries
valsarray with coefficients of row entries
lhsleft hand side of row
rhsright hand side of row
origintypetype of origin of row
originpointer to constraint handler or separator who created the row (NULL if unkown)
localis row only valid locally?
modifiableis row modifiable during node processing (subject to column generation)?
removableshould the row be removed from the LP due to aging or cleanup?

Definition at line 5104 of file lp.c.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSduplicateBlockMemoryArray, FALSE, SCIP_Col::index, SCIP_Stat::nrowidx, NULL, rowCalcNorms(), SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_ROWORIGINTYPE_CONS, SCIPconsCapture(), SCIPeventfilterCreate(), SCIProwCapture(), SCIPsetInfinity(), SCIPsetIsIntegral(), SCIPsetIsZero(), SCIPsetRound(), SCIPstatIncrement, SCIPvarIsIntegral(), TRUE, and SCIP_Col::var.

Referenced by SCIPcreateEmptyRowCons(), SCIPcreateEmptyRowConshdlr(), SCIPcreateEmptyRowSepa(), SCIPcreateEmptyRowUnspec(), SCIPcreateRowCons(), SCIPcreateRowConshdlr(), SCIPcreateRowSepa(), SCIPcreateRowUnspec(), and SCIPreoptApplyCuts().

◆ SCIProwFree()

SCIP_RETCODE SCIProwFree ( SCIP_ROW **  row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_LP lp 
)

frees an LP row

Parameters
rowpointer to LP row
blkmemblock memory
setglobal SCIP settings
lpcurrent LP data

Definition at line 5252 of file lp.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, BMSfreeBlockMemoryArrayNull, BMSfreeBlockMemoryNull, NULL, rowUnlink(), SCIP_CALL, SCIP_OKAY, SCIP_ROWORIGINTYPE_CONS, SCIPconsRelease(), and SCIPeventfilterFree().

Referenced by SCIProwRelease().

◆ SCIProwPrint()

void SCIProwPrint ( SCIP_ROW row,
SCIP_MESSAGEHDLR messagehdlr,
FILE *  file 
)

output row to file stream

Parameters
rowLP row
messagehdlrmessage handler
fileoutput file (or NULL for standard output)

Definition at line 5292 of file lp.c.

References SCIP_Row::cols, SCIP_Row::constant, SCIP_Row::len, SCIP_Row::lhs, SCIP_Row::name, NULL, REALABS, SCIP_Row::rhs, SCIP_DEFAULT_EPSILON, SCIP_VARSTATUS_COLUMN, SCIPmessageFPrintInfo(), SCIPvarGetName(), SCIPvarGetStatus(), SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIPprintRow().

◆ SCIProwEnsureSize()

SCIP_RETCODE SCIProwEnsureSize ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
int  num 
)

ensures, that column array of row can store at least num entries

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
numminimum number of entries to store

Definition at line 620 of file lp.c.

References BMSreallocBlockMemoryArray, checkRow, SCIP_Row::cols, SCIP_Row::cols_index, FALSE, SCIP_Col::index, SCIP_Row::len, SCIP_Row::linkpos, SCIP_Row::lpcolssorted, SCIP_Row::nlpcols, SCIP_Row::nonlpcolssorted, NULL, SCIP_ALLOC, SCIP_Bool, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Row::size, TRUE, and SCIP_Row::vals.

Referenced by rowAddCoef(), SCIPaddVarsToRow(), and SCIPaddVarsToRowSameCoef().

◆ SCIProwCapture()

void SCIProwCapture ( SCIP_ROW row)

increases usage counter of LP row

Parameters
rowLP row

Definition at line 5332 of file lp.c.

References SCIP_Row::name, SCIP_Row::nlocks, NULL, SCIP_Row::nuses, and SCIPdebugMessage.

Referenced by cutCreate(), forkCreate(), forkFree(), lpFlushAddRows(), pseudoforkCreate(), SCIPcaptureRow(), SCIPlpAddRow(), SCIProwCreate(), and SCIPsepastoreAddCut().

◆ SCIProwRelease()

SCIP_RETCODE SCIProwRelease ( SCIP_ROW **  row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_LP lp 
)

decreases usage counter of LP row, and frees memory if necessary

Parameters
rowpointer to LP row
blkmemblock memory
setglobal SCIP settings
lpcurrent LP data

Definition at line 5345 of file lp.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIProwFree(), and SCIPsetDebugMsg.

Referenced by cutFree(), forkFree(), lpDelRowset(), lpFlushDelRows(), pseudoforkFree(), SCIPlpFree(), SCIPlpShrinkRows(), SCIPreleaseRow(), SCIPreoptApplyCuts(), SCIPsepastoreAddCut(), SCIPsepastoreClearCuts(), sepastoreDelCut(), and subrootFree().

◆ SCIProwDelaySort()

void SCIProwDelaySort ( SCIP_ROW row)

enables delaying of row sorting

Parameters
rowLP row

Definition at line 6141 of file lp.c.

References SCIP_Row::delaysort, NULL, and TRUE.

Referenced by SCIPaddVarsToRow(), SCIPaddVarsToRowSameCoef(), and SCIPcacheRowExtensions().

◆ SCIProwForceSort()

void SCIProwForceSort ( SCIP_ROW row,
SCIP_SET set 
)

disables delaying of row sorting, sorts row and merges coefficients with equal columns

Parameters
rowLP row
setglobal SCIP settings

Definition at line 6152 of file lp.c.

References SCIP_Row::delaysort, FALSE, NULL, and rowMerge().

Referenced by SCIPaddVarsToRow(), SCIPaddVarsToRowSameCoef(), and SCIPflushRowExtensions().

◆ SCIProwAddCoef()

SCIP_RETCODE SCIProwAddCoef ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_COL col,
SCIP_Real  val 
)

adds a previously non existing coefficient to an LP row

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
colLP column
valvalue of coefficient

Definition at line 5402 of file lp.c.

References checkLinks, SCIP_Lp::diving, SCIP_Row::lppos, NULL, rowAddCoef(), SCIP_CALL, and SCIP_OKAY.

◆ SCIProwDelCoef()

SCIP_RETCODE SCIProwDelCoef ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_COL col 
)

deletes coefficient from row

Parameters
rowrow to be changed
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
colcoefficient to be deleted

Definition at line 5423 of file lp.c.

References checkLinks, colDelCoefPos(), SCIP_Row::cols, SCIP_Row::cols_index, SCIP_Row::delaysort, SCIP_Lp::diving, SCIP_Col::index, SCIP_Row::linkpos, SCIP_Row::lppos, SCIP_Row::name, NULL, rowDelCoefPos(), SCIP_Col::rows, rowSearchCoef(), SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIPerrorMessage, SCIPsetIsEQ(), SCIPvarGetName(), SCIP_Col::vals, SCIP_Row::vals, and SCIP_Col::var.

◆ SCIProwChgCoef()

SCIP_RETCODE SCIProwChgCoef ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_COL col,
SCIP_Real  val 
)

changes or adds a coefficient to an LP row

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
colLP column
valvalue of coefficient

Definition at line 5469 of file lp.c.

References checkLinks, colChgCoefPos(), SCIP_Row::cols, SCIP_Row::cols_index, SCIP_Row::delaysort, SCIP_Lp::diving, SCIP_Col::index, SCIP_Row::linkpos, SCIP_Row::lppos, NULL, rowAddCoef(), rowChgCoefPos(), SCIP_Col::rows, rowSearchCoef(), SCIP_CALL, SCIP_OKAY, SCIPsetIsEQ(), SCIP_Col::vals, and SCIP_Row::vals.

◆ SCIProwIncCoef()

SCIP_RETCODE SCIProwIncCoef ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_COL col,
SCIP_Real  incval 
)

increases value of an existing or nonexisting coefficient in an LP column

increases value of an existing or non-existing coefficient in an LP row

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
colLP column
incvalvalue to add to the coefficient

Definition at line 5521 of file lp.c.

References checkLinks, colChgCoefPos(), SCIP_Row::cols, SCIP_Row::cols_index, SCIP_Lp::diving, SCIP_Col::index, SCIP_Row::linkpos, SCIP_Row::lppos, NULL, rowAddCoef(), rowChgCoefPos(), SCIP_Col::rows, rowSearchCoef(), SCIP_CALL, SCIP_OKAY, SCIPsetIsEQ(), SCIPsetIsZero(), SCIP_Row::validactivitylp, SCIP_Col::vals, and SCIP_Row::vals.

Referenced by SCIPvarAddToRow().

◆ SCIProwChgConstant()

SCIP_RETCODE SCIProwChgConstant ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_Real  constant 
)

changes constant value of a row

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
lpcurrent LP data
constantnew constant value

Definition at line 5578 of file lp.c.

References SCIP_Row::constant, SCIP_Lp::diving, SCIP_Stat::domchgcount, SCIP_Row::lhs, SCIP_Row::lppos, SCIP_Row::maxactivity, SCIP_Row::minactivity, NULL, SCIP_Row::pseudoactivity, REALABS, SCIP_Row::rhs, rowEventConstantChanged(), rowSideChanged(), SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIP_SIDETYPE_LEFT, SCIP_SIDETYPE_RIGHT, SCIPsetIsEQ(), SCIPsetIsInfinity(), SCIP_Row::validactivitybdsdomchg, and SCIP_Row::validpsactivitydomchg.

Referenced by rowScale(), and SCIProwAddConstant().

◆ SCIProwAddConstant()

SCIP_RETCODE SCIProwAddConstant ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_Real  addval 
)

add constant value to a row

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
lpcurrent LP data
addvalconstant value to add to the row

Definition at line 5633 of file lp.c.

References SCIP_Row::constant, SCIP_Lp::diving, SCIP_Row::lhs, SCIP_Row::lppos, NULL, REALABS, SCIP_Row::rhs, SCIP_CALL, SCIP_OKAY, SCIProwChgConstant(), SCIPsetIsInfinity(), and SCIPsetIsZero().

Referenced by SCIPvarAddToRow().

◆ SCIProwChgLhs()

SCIP_RETCODE SCIProwChgLhs ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_Real  lhs 
)

changes left hand side of LP row

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
lhsnew left hand side

Definition at line 5659 of file lp.c.

References SCIP_Lp::diving, SCIP_Row::lhs, NULL, rowEventSideChanged(), rowSideChanged(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_SIDETYPE_LEFT, and SCIPsetIsEQ().

Referenced by rowScale(), SCIPchgRowLhs(), SCIPchgRowLhsDive(), and SCIPlpEndDive().

◆ SCIProwChgRhs()

SCIP_RETCODE SCIProwChgRhs ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LP lp,
SCIP_Real  rhs 
)

changes right hand side of LP row

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpcurrent LP data
rhsnew right hand side

Definition at line 5691 of file lp.c.

References SCIP_Lp::diving, NULL, SCIP_Row::rhs, rowEventSideChanged(), rowSideChanged(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_SIDETYPE_RIGHT, and SCIPsetIsEQ().

Referenced by rowScale(), SCIPchgRowRhs(), SCIPchgRowRhsDive(), and SCIPlpEndDive().

◆ SCIProwChgLocal()

SCIP_RETCODE SCIProwChgLocal ( SCIP_ROW row,
SCIP_Bool  local 
)

changes the local flag of LP row

Parameters
rowLP row
localnew value for local flag

Definition at line 5723 of file lp.c.

References SCIP_Row::local, NULL, and SCIP_OKAY.

Referenced by SCIPsepastoreAddCut().

◆ SCIProwCalcIntegralScalar()

SCIP_RETCODE SCIProwCalcIntegralScalar ( SCIP_ROW row,
SCIP_SET set,
SCIP_Real  mindelta,
SCIP_Real  maxdelta,
SCIP_Longint  maxdnom,
SCIP_Real  maxscale,
SCIP_Bool  usecontvars,
SCIP_Real intscalar,
SCIP_Bool success 
)

tries to find a value, such that all row coefficients, if scaled with this value become integral

Parameters
rowLP row
setglobal SCIP settings
mindeltaminimal relative allowed difference of scaled coefficient s*c and integral i
maxdeltamaximal relative allowed difference of scaled coefficient s*c and integral i
maxdnommaximal denominator allowed in rational numbers
maxscalemaximal allowed scalar
usecontvarsshould the coefficients of the continuous variables also be made integral?
intscalarpointer to store scalar that would make the coefficients integral, or NULL
successstores whether returned value is valid

Definition at line 5740 of file lp.c.

References SCIP_Row::cols, SCIP_Row::cols_index, FALSE, isIntegralScalar(), SCIP_Row::len, nscalars, NULL, REALABS, SCIP_Bool, SCIP_INVALID, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIP_REAL_MAX, SCIP_VARSTATUS_COLUMN, SCIPcalcGreComDiv(), SCIPcolIsIntegral(), SCIPdebug, SCIPrealToRational(), SCIProwGetName(), SCIPsetDebugMsg, SCIPsetIsInfinity(), SCIPsetIsPositive(), SCIPsetIsZero(), SCIPvarGetCol(), SCIPvarGetStatus(), TRUE, SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIPcalcRowIntegralScalar(), and SCIProwMakeIntegral().

◆ SCIProwMakeIntegral()

SCIP_RETCODE SCIProwMakeIntegral ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_STAT stat,
SCIP_LP lp,
SCIP_Real  mindelta,
SCIP_Real  maxdelta,
SCIP_Longint  maxdnom,
SCIP_Real  maxscale,
SCIP_Bool  usecontvars,
SCIP_Bool success 
)

tries to scale row, s.t. all coefficients become integral

Parameters
rowLP row
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
statproblem statistics
lpcurrent LP data
mindeltaminimal relative allowed difference of scaled coefficient s*c and integral i
maxdeltamaximal relative allowed difference of scaled coefficient s*c and integral i
maxdnommaximal denominator allowed in rational numbers
maxscalemaximal value to scale row with
usecontvarsshould the coefficients of the continuous variables also be made integral?
successstores whether row could be made rational

Definition at line 5974 of file lp.c.

References NULL, rowScale(), SCIP_CALL, SCIP_OKAY, SCIP_Real, and SCIProwCalcIntegralScalar().

Referenced by SCIPmakeRowIntegral().

◆ SCIProwRecalcLPActivity()

void SCIProwRecalcLPActivity ( SCIP_ROW row,
SCIP_STAT stat 
)

◆ SCIProwGetLPActivity()

SCIP_Real SCIProwGetLPActivity ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_LP lp 
)

returns the activity of a row in the current LP solution

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics
lpcurrent LP data

Definition at line 6217 of file lp.c.

References SCIP_Row::activity, SCIP_Interval::inf, SCIP_Stat::lpcount, MAX, NULL, SCIP_INVALID, SCIP_Real, SCIProwRecalcLPActivity(), SCIPsetInfinity(), SCIP_Row::validactivitylp, and SCIP_Lp::validsollp.

Referenced by SCIPgetRowActivity(), SCIPgetRowLPActivity(), SCIPgetRowSolActivity(), SCIPlpGetDualDegeneracy(), and SCIProwGetLPFeasibility().

◆ SCIProwGetLPFeasibility()

SCIP_Real SCIProwGetLPFeasibility ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_LP lp 
)

returns the feasibility of a row in the current LP solution: negative value means infeasibility

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics
lpcurrent LP data

Definition at line 6247 of file lp.c.

References SCIP_Row::lhs, NULL, SCIP_Row::rhs, SCIP_Real, and SCIProwGetLPActivity().

Referenced by SCIPcutpoolSeparate(), SCIPgetRowFeasibility(), SCIPgetRowLPFeasibility(), SCIPgetRowSolFeasibility(), SCIProwGetLPEfficacy(), and SCIProwGetLPSolCutoffDistance().

◆ SCIProwGetRelaxFeasibility()

SCIP_Real SCIProwGetRelaxFeasibility ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns the feasibility of a row in the current relaxed solution: negative value means infeasibility

returns the feasibility of a row in the relaxed solution solution: negative value means infeasibility

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics

Definition at line 6267 of file lp.c.

References SCIP_Row::cols, SCIP_Row::constant, SCIP_Interval::inf, SCIP_Row::lhs, SCIP_Row::linkpos, SCIP_Col::lppos, MAX, SCIP_Row::nlpcols, NULL, SCIP_Row::nunlinked, SCIP_Row::rhs, SCIP_Real, SCIPsetInfinity(), SCIPvarGetRelaxSol(), SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIProwGetRelaxEfficacy().

◆ SCIProwGetNLPFeasibility()

SCIP_Real SCIProwGetNLPFeasibility ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns the feasibility of a row in the current NLP solution: negative value means infeasibility

returns the feasibility of a row in the current NLP solution: negative value means infeasibility

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics

Definition at line 6329 of file lp.c.

References SCIP_Row::cols, SCIP_Row::constant, SCIP_Interval::inf, SCIP_Row::lhs, SCIP_Row::linkpos, SCIP_Col::lppos, MAX, SCIP_Row::nlpcols, NULL, SCIP_Row::nunlinked, SCIP_Row::rhs, SCIP_Real, SCIPsetInfinity(), SCIPvarGetNLPSol(), SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIProwGetNLPEfficacy().

◆ SCIProwRecalcPseudoActivity()

◆ SCIProwGetPseudoActivity()

SCIP_Real SCIProwGetPseudoActivity ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns the pseudo activity of a row in the current pseudo solution

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics

Definition at line 6415 of file lp.c.

References SCIP_Stat::domchgcount, SCIP_Interval::inf, MAX, NULL, SCIP_Row::pseudoactivity, SCIP_INVALID, SCIP_Real, SCIProwRecalcPseudoActivity(), SCIPsetInfinity(), and SCIP_Row::validpsactivitydomchg.

Referenced by SCIPgetRowActivity(), SCIPgetRowPseudoActivity(), SCIPgetRowSolActivity(), and SCIProwGetPseudoFeasibility().

◆ SCIProwGetPseudoFeasibility()

SCIP_Real SCIProwGetPseudoFeasibility ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns the pseudo feasibility of a row in the current pseudo solution: negative value means infeasibility

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics

Definition at line 6443 of file lp.c.

References SCIP_Row::lhs, NULL, SCIP_Row::rhs, SCIP_Real, and SCIProwGetPseudoActivity().

Referenced by SCIPgetRowFeasibility(), SCIPgetRowPseudoFeasibility(), and SCIPgetRowSolFeasibility().

◆ SCIProwGetSolActivity()

SCIP_Real SCIProwGetSolActivity ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_SOL sol 
)

returns the activity of a row for a given solution

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data
solprimal CIP solution

Definition at line 6459 of file lp.c.

References SCIP_Row::cols, SCIP_Row::constant, SCIP_Interval::inf, SCIP_Col::lb, SCIP_Row::len, SCIP_Row::lhs, SCIP_Row::linkpos, SCIP_Col::lppos, MAX, NULL, SCIP_Row::rhs, SCIP_Real, SCIP_UNKNOWN, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsolGetVal(), SCIP_Col::ub, SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIPgetRowSolActivity(), SCIProwGetSolFeasibility(), and SCIPsolAdjustImplicitSolVals().

◆ SCIProwGetSolFeasibility()

SCIP_Real SCIProwGetSolFeasibility ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_SOL sol 
)

returns the feasibility of a row for the given solution

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data
solprimal CIP solution

Definition at line 6501 of file lp.c.

References SCIP_Row::lhs, NULL, SCIP_Row::rhs, SCIP_Real, and SCIProwGetSolActivity().

Referenced by SCIPcutpoolSeparate(), SCIPgetRowSolFeasibility(), and SCIProwGetSolEfficacy().

◆ SCIProwGetMinActivity()

SCIP_Real SCIProwGetMinActivity ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns the minimal activity of a row w.r.t. the columns' bounds

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data

Definition at line 6591 of file lp.c.

References SCIP_Stat::domchgcount, SCIP_Row::maxactivity, SCIP_Row::minactivity, NULL, rowCalcActivityBounds(), SCIP_INVALID, and SCIP_Row::validactivitybdsdomchg.

Referenced by SCIPaddRow(), SCIPgetRowMinActivity(), SCIPlpGetDualDegeneracy(), SCIPlpRemoveRedundantRows(), SCIProwIsRedundant(), sepastoreIsCutRedundant(), and sepastoreIsCutRedundantOrInfeasible().

◆ SCIProwGetMaxActivity()

SCIP_Real SCIProwGetMaxActivity ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns the maximal activity of a row w.r.t. the columns' bounds

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data

Definition at line 6612 of file lp.c.

References SCIP_Stat::domchgcount, SCIP_Row::maxactivity, SCIP_Row::minactivity, NULL, rowCalcActivityBounds(), SCIP_INVALID, and SCIP_Row::validactivitybdsdomchg.

Referenced by SCIPaddRow(), SCIPgetRowMaxActivity(), SCIPlpGetDualDegeneracy(), SCIPlpRemoveRedundantRows(), SCIProwIsRedundant(), sepastoreIsCutRedundant(), and sepastoreIsCutRedundantOrInfeasible().

◆ SCIProwIsRedundant()

SCIP_Bool SCIProwIsRedundant ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns whether the row is unmodifiable and redundant w.r.t. the columns' bounds

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data

Definition at line 6633 of file lp.c.

References FALSE, SCIP_Row::lhs, SCIP_Row::modifiable, NULL, SCIP_Row::rhs, SCIP_Real, SCIProwGetMaxActivity(), SCIProwGetMinActivity(), SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), SCIPsetIsInfinity(), and TRUE.

Referenced by SCIPlpRemoveRedundantRows().

◆ SCIProwGetMaxval()

SCIP_Real SCIProwGetMaxval ( SCIP_ROW row,
SCIP_SET set 
)

gets maximal absolute value of row vector coefficients

Parameters
rowLP row
setglobal SCIP settings

Definition at line 6664 of file lp.c.

References SCIP_Row::len, SCIP_Row::maxval, NULL, SCIP_Row::nummaxval, and rowCalcIdxsAndVals().

Referenced by SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIPcutpoolAddRow(), SCIPcutpoolIsCutNew(), SCIPgetRowMaxCoef(), SCIProwGetLPEfficacy(), SCIProwGetNLPEfficacy(), SCIProwGetRelaxEfficacy(), and SCIProwGetSolEfficacy().

◆ SCIProwGetMinval()

SCIP_Real SCIProwGetMinval ( SCIP_ROW row,
SCIP_SET set 
)

gets minimal absolute value of row vector's non-zero coefficients

Parameters
rowLP row
setglobal SCIP settings

Definition at line 6680 of file lp.c.

References SCIP_Row::len, SCIP_Row::minval, NULL, SCIP_Row::numminval, and rowCalcIdxsAndVals().

Referenced by SCIP_DECL_HASHKEYEQ(), and SCIPgetRowMinCoef().

◆ SCIProwGetMaxidx()

int SCIProwGetMaxidx ( SCIP_ROW row,
SCIP_SET set 
)

gets maximal column index of row entries

Parameters
rowLP row
setglobal SCIP settings

Definition at line 6696 of file lp.c.

References SCIP_Row::len, SCIP_Row::maxidx, NULL, rowCalcIdxsAndVals(), and SCIP_Row::validminmaxidx.

Referenced by SCIPcutpoolAddNewRow().

◆ SCIProwGetMinidx()

int SCIProwGetMinidx ( SCIP_ROW row,
SCIP_SET set 
)

gets minimal column index of row entries

Parameters
rowLP row
setglobal SCIP settings

Definition at line 6712 of file lp.c.

References SCIP_Row::len, SCIP_Row::minidx, NULL, rowCalcIdxsAndVals(), and SCIP_Row::validminmaxidx.

◆ SCIProwGetNumIntCols()

int SCIProwGetNumIntCols ( SCIP_ROW row,
SCIP_SET set 
)

gets number of integral columns in row

Parameters
rowLP row
setglobal SCIP settings

Definition at line 6728 of file lp.c.

References SCIP_Row::len, NULL, SCIP_Row::numintcols, and rowCalcIdxsAndVals().

Referenced by SCIPgetRowNumIntCols().

◆ SCIProwGetLPSolCutoffDistance()

SCIP_Real SCIProwGetLPSolCutoffDistance ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_SOL sol,
SCIP_LP lp 
)

returns row's cutoff distance in the direction of the given primal solution

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data
solsolution to compute direction for cutoff distance; must not be NULL
lpcurrent LP data

Definition at line 6744 of file lp.c.

References SCIP_Row::cols, SCIP_Lp::cols, ensureSoldirectionSize(), SCIP_Stat::lpcount, SCIP_Col::lppos, SCIP_Lp::ncols, SCIP_Row::nlpcols, NULL, SCIP_Col::primsol, SCIP_CALL_ABORT, SCIP_Real, SCIProwGetLPFeasibility(), SCIPsetIsSumZero(), SCIPsolGetVal(), SCIP_Lp::soldirection, SCIP_Lp::validsoldirlp, SCIP_Lp::validsoldirsol, SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIPgetCutLPSolCutoffDistance().

◆ SCIProwGetLPEfficacy()

SCIP_Real SCIProwGetLPEfficacy ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_LP lp 
)

returns row's efficacy with respect to the current LP solution: e = -feasibility/norm

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data
lpcurrent LP data

Definition at line 6801 of file lp.c.

References eps, SCIP_Row::len, MAX, NULL, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIProwGetLPFeasibility(), SCIProwGetMaxval(), SCIProwGetNorm(), SCIProwGetSumNorm(), and SCIPsetSumepsilon().

Referenced by SCIPcutpoolAddNewRow(), SCIPcutpoolSeparate(), SCIPgetCutEfficacy(), SCIProwIsLPEfficacious(), SCIPsepastoreApplyCuts(), and SCIPsepastoreRemoveInefficaciousCuts().

◆ SCIProwIsLPEfficacious()

SCIP_Bool SCIProwIsLPEfficacious ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_LP lp,
SCIP_Bool  root 
)

returns whether the row's efficacy with respect to the current LP solution is greater than the minimal cut efficacy

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data
lpcurrent LP data
rootshould the root's minimal cut efficacy be used?

Definition at line 6842 of file lp.c.

References SCIP_Real, SCIProwGetLPEfficacy(), and SCIPsetIsEfficacious().

Referenced by SCIPisCutEfficacious().

◆ SCIProwGetSolEfficacy()

SCIP_Real SCIProwGetSolEfficacy ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_SOL sol 
)

returns row's efficacy with respect to the given primal solution: e = -feasibility/norm

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data
solprimal CIP solution

Definition at line 6858 of file lp.c.

References eps, SCIP_Row::len, MAX, NULL, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIProwGetMaxval(), SCIProwGetNorm(), SCIProwGetSolFeasibility(), SCIProwGetSumNorm(), and SCIPsetSumepsilon().

Referenced by SCIPcutpoolSeparate(), SCIPgetCutEfficacy(), and SCIProwIsSolEfficacious().

◆ SCIProwIsSolEfficacious()

SCIP_Bool SCIProwIsSolEfficacious ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat,
SCIP_SOL sol,
SCIP_Bool  root 
)

returns whether the row's efficacy with respect to the given primal solution is greater than the minimal cut efficacy

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data
solprimal CIP solution
rootshould the root's minimal cut efficacy be used?

Definition at line 6901 of file lp.c.

References SCIP_Real, SCIProwGetSolEfficacy(), and SCIPsetIsEfficacious().

Referenced by SCIPisCutEfficacious().

◆ SCIProwGetRelaxEfficacy()

SCIP_Real SCIProwGetRelaxEfficacy ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns row's efficacy with respect to the relaxed solution: e = -feasibility/norm

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data

Definition at line 6917 of file lp.c.

References eps, SCIP_Row::len, MAX, NULL, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIProwGetMaxval(), SCIProwGetNorm(), SCIProwGetRelaxFeasibility(), SCIProwGetSumNorm(), and SCIPsetSumepsilon().

Referenced by SCIPsepastoreRemoveInefficaciousCuts().

◆ SCIProwGetNLPEfficacy()

SCIP_Real SCIProwGetNLPEfficacy ( SCIP_ROW row,
SCIP_SET set,
SCIP_STAT stat 
)

returns row's efficacy with respect to the NLP solution: e = -feasibility/norm

Parameters
rowLP row
setglobal SCIP settings
statproblem statistics data

Definition at line 6957 of file lp.c.

References eps, SCIP_Row::len, MAX, NULL, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIProwGetMaxval(), SCIProwGetNLPFeasibility(), SCIProwGetNorm(), SCIProwGetSumNorm(), and SCIPsetSumepsilon().

Referenced by SCIPsepastoreRemoveInefficaciousCuts().

◆ SCIProwGetObjParallelism()

SCIP_Real SCIProwGetObjParallelism ( SCIP_ROW row,
SCIP_SET set,
SCIP_LP lp 
)

gets parallelism of row with objective function: if the returned value is 1, the row is parallel to the objective function, if the value is 0, it is orthogonal to the objective function

Parameters
rowLP row
setglobal SCIP settings
lpcurrent LP data

Definition at line 7793 of file lp.c.

References checkRowObjprod, checkRowSqrnorm, MAX, NULL, SCIP_Row::objprod, SCIP_Lp::objsqrnorm, SCIP_Lp::objsqrnormunreliable, REALABS, SCIP_Real, SCIPlpRecalculateObjSqrNorm(), SCIPsetIsPositive(), SCIPsetIsSumGE(), SCIPsetIsSumLE(), and SCIP_Row::sqrnorm.

Referenced by SCIPgetRowObjParallelism().

◆ SCIProwCatchEvent()

SCIP_RETCODE SCIProwCatchEvent ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTTYPE  eventtype,
SCIP_EVENTHDLR eventhdlr,
SCIP_EVENTDATA eventdata,
int *  filterpos 
)

includes event handler with given data in row's event filter

Parameters
rowrow
blkmemblock memory
setglobal SCIP settings
eventtypeevent type to catch
eventhdlrevent handler to call for the event processing
eventdataevent data to pass to the event handler for the event processing
filterpospointer to store position of event filter entry, or NULL

Definition at line 7826 of file lp.c.

References SCIP_Row::eventfilter, SCIP_Row::name, NULL, SCIP_CALL, SCIP_EVENTTYPE_FORMAT, SCIP_EVENTTYPE_ROWCHANGED, SCIP_OKAY, SCIPeventfilterAdd(), and SCIPsetDebugMsg.

Referenced by SCIPcatchRowEvent().

◆ SCIProwDropEvent()

SCIP_RETCODE SCIProwDropEvent ( SCIP_ROW row,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTTYPE  eventtype,
SCIP_EVENTHDLR eventhdlr,
SCIP_EVENTDATA eventdata,
int  filterpos 
)

deletes event handler with given data from row's event filter

Parameters
rowrow
blkmemblock memory
setglobal SCIP settings
eventtypeevent type mask of dropped event
eventhdlrevent handler to call for the event processing
eventdataevent data to pass to the event handler for the event processing
filterposposition of event filter entry returned by SCIPvarCatchEvent(), or -1

Definition at line 7850 of file lp.c.

References SCIP_Row::eventfilter, SCIP_Row::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPeventfilterDel(), and SCIPsetDebugMsg.

Referenced by SCIPdropRowEvent().

◆ SCIProwMarkNotRemovableLocal()

void SCIProwMarkNotRemovableLocal ( SCIP_ROW row,
SCIP_STAT stat 
)

marks a row to be not removable from the LP in the current node

marks a row to be not removable from the LP in the current node because it became obsolete

Parameters
rowLP row
statproblem statistics

Definition at line 7871 of file lp.c.

References SCIP_Stat::nnodes, NULL, and SCIP_Row::obsoletenode.

Referenced by SCIPmarkRowNotRemovableLocal().

◆ SCIPlpCreate()

◆ SCIPlpFree()

SCIP_RETCODE SCIPlpFree ( SCIP_LP **  lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter 
)

frees LP data object

Parameters
lppointer to LP data object
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
eventfilterglobal event filter

Definition at line 9362 of file lp.c.

References BMSfreeMemory, BMSfreeMemoryArrayNull, BMSfreeMemoryNull, freeDiveChgSideArrays(), NULL, SCIP_CALL, SCIP_OKAY, SCIPlpClear(), SCIPlpiFree(), and SCIProwRelease().

Referenced by freeTransform(), and freeTransforming().

◆ SCIPlpReset()

SCIP_RETCODE SCIPlpReset ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter 
)

resets the LP to the empty LP by removing all columns and rows from LP, releasing all rows, and flushing the changes to the LP solver

Parameters
lpLP data
blkmemblock memory
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter

Definition at line 9407 of file lp.c.

References SCIP_Lp::dualchecked, SCIP_Lp::dualfeasible, FALSE, SCIP_Lp::lastlpalgo, SCIP_Stat::lpcount, SCIP_Lp::lpobjval, SCIP_Lp::lpsolstat, NULL, SCIP_Lp::primalchecked, SCIP_Lp::primalfeasible, SCIP_CALL, SCIP_LPALGO_DUALSIMPLEX, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPlpClear(), SCIPlpFlush(), SCIP_Lp::solisbasic, SCIP_Lp::solved, TRUE, SCIP_Lp::validdegeneracylp, SCIP_Lp::validfarkaslp, SCIP_Lp::validsoldirlp, SCIP_Lp::validsoldirsol, and SCIP_Lp::validsollp.

Referenced by freeReoptSolve(), freeSolve(), and initSolve().

◆ SCIPlpAddCol()

◆ SCIPlpAddRow()

◆ SCIPlpShrinkCols()

SCIP_RETCODE SCIPlpShrinkCols ( SCIP_LP lp,
SCIP_SET set,
int  newncols 
)

removes all columns after the given number of columns from the LP

removes all columns after the given number of cols from the LP

Parameters
lpLP data
setglobal SCIP settings
newncolsnew number of columns in the LP

Definition at line 9624 of file lp.c.

References checkLazyColArray(), checkLinks, SCIP_Lp::cols, colUpdateDelLP(), SCIP_Lp::diving, FALSE, SCIP_Lp::flushed, SCIP_Lp::lazycols, SCIP_Col::len, SCIP_Col::lpdepth, SCIP_Lp::lpifirstchgcol, SCIP_Col::lppos, lpUpdateObjNorms(), SCIP_Lp::ncols, SCIP_Lp::nlazycols, SCIP_Lp::nremovablecols, NULL, SCIP_Col::removable, SCIP_Col::rows, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIPsetDebugMsg, SCIPvarGetCol(), SCIPvarGetStatus(), SCIP_Col::unchangedobj, and SCIP_Col::var.

Referenced by focusnodeCleanupVars(), focusnodeToFork(), SCIPlpClear(), SCIPtreeLoadLP(), and treeBacktrackProbing().

◆ SCIPlpShrinkRows()

SCIP_RETCODE SCIPlpShrinkRows ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
int  newnrows 
)

removes and releases all rows after the given number of rows from the LP

Parameters
lpLP data
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
eventfilterglobal event filter
newnrowsnew number of rows in the LP

Definition at line 9696 of file lp.c.

References checkLinks, SCIP_Row::cols, SCIP_EventFilter::eventmask, FALSE, SCIP_Lp::flushed, SCIP_EventFilter::len, SCIP_Row::len, SCIP_Row::lpdepth, SCIP_Lp::lpifirstchgrow, SCIP_Row::lppos, SCIP_Lp::nremovablerows, SCIP_Lp::nrows, NULL, r, SCIP_Row::removable, SCIP_Lp::rows, rowUpdateDelLP(), SCIP_CALL, SCIP_EVENTTYPE_ROWDELETEDLP, SCIP_OKAY, SCIPeventCreateRowDeletedLP(), SCIPeventqueueAdd(), SCIProwRelease(), SCIProwUnlock(), and SCIPsetDebugMsg.

Referenced by focusnodeToFork(), SCIPlpClear(), SCIPlpEndDive(), SCIPtreeLoadLP(), and treeBacktrackProbing().

◆ SCIPlpClear()

SCIP_RETCODE SCIPlpClear ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter 
)

removes all columns and rows from LP, releases all rows

Parameters
lpLP data
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
eventfilterglobal event filter

Definition at line 9762 of file lp.c.

References SCIP_Lp::diving, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpShrinkCols(), SCIPlpShrinkRows(), and SCIPsetDebugMsg.

Referenced by SCIPlpFree(), SCIPlpReset(), and SCIPtreeLoadLP().

◆ SCIPlpMarkSize()

void SCIPlpMarkSize ( SCIP_LP lp)

remembers number of columns and rows to track the newly added ones

Parameters
lpcurrent LP data

Definition at line 9781 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::firstnewcol, SCIP_Lp::firstnewrow, SCIP_Lp::ncols, SCIP_Lp::nrows, and NULL.

Referenced by SCIPnodeFocus(), SCIPtreeLoadLP(), and treeCreateProbingNode().

◆ SCIPlpSetSizeMark()

void SCIPlpSetSizeMark ( SCIP_LP lp,
int  nrows,
int  ncols 
)

sets the remembered number of columns and rows to the given values

Parameters
lpcurrent LP data
nrowsnumber of rows to set the size marker to
ncolsnumber of columns to set the size marker to

Definition at line 9793 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::firstnewcol, SCIP_Lp::firstnewrow, and NULL.

Referenced by treeBacktrackProbing().

◆ SCIPlpGetBasisInd()

SCIP_RETCODE SCIPlpGetBasisInd ( SCIP_LP lp,
int *  basisind 
)

gets all indices of basic columns and rows: index i >= 0 corresponds to column i, index i < 0 to row -i-1

Parameters
lpLP data
basisindpointer to store basis indices ready to keep number of rows entries

Definition at line 9807 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetBasisInd(), SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by SCIPgetLPBasisInd().

◆ SCIPlpGetBase()

SCIP_RETCODE SCIPlpGetBase ( SCIP_LP lp,
int *  cstat,
int *  rstat 
)

gets current basis status for columns and rows; arrays must be large enough to store the basis status

Parameters
lpLP data
cstatarray to store column basis status, or NULL
rstatarray to store row basis status, or NULL

Definition at line 9824 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetBase(), SCIP_Lp::solisbasic, and SCIP_Lp::solved.

◆ SCIPlpGetBInvRow()

SCIP_RETCODE SCIPlpGetBInvRow ( SCIP_LP lp,
int  r,
SCIP_Real coef,
int *  inds,
int *  ninds 
)

gets a row from the inverse basis matrix B^-1

Parameters
lpLP data
rrow number
coefpointer to store the coefficients of the row
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations)

Definition at line 9841 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetBInvRow(), SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by SCIPgetLPBInvRow().

◆ SCIPlpGetBInvCol()

SCIP_RETCODE SCIPlpGetBInvCol ( SCIP_LP lp,
int  c,
SCIP_Real coef,
int *  inds,
int *  ninds 
)

gets a column from the inverse basis matrix B^-1

Parameters
lpLP data
ccolumn number of B^-1; this is NOT the number of the column in the LP returned by SCIPcolGetLPPos(); you have to call SCIPgetBasisInd() to get the array which links the B^-1 column numbers to the row and column numbers of the LP! c must be between 0 and nrows-1, since the basis has the size nrows * nrows
coefpointer to store the coefficients of the column
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations)

Definition at line 9863 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetBInvCol(), SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by SCIPgetLPBInvCol().

◆ SCIPlpGetBInvARow()

SCIP_RETCODE SCIPlpGetBInvARow ( SCIP_LP lp,
int  r,
SCIP_Real binvrow,
SCIP_Real coef,
int *  inds,
int *  ninds 
)

gets a row from the product of inverse basis matrix B^-1 and coefficient matrix A (i.e. from B^-1 * A)

Parameters
lpLP data
rrow number
binvrowrow in B^-1 from prior call to SCIPlpGetBInvRow(), or NULL
coefpointer to store the coefficients of the row
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations)

Definition at line 9889 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetBInvARow(), SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by SCIPgetLPBInvARow().

◆ SCIPlpGetBInvACol()

SCIP_RETCODE SCIPlpGetBInvACol ( SCIP_LP lp,
int  c,
SCIP_Real coef,
int *  inds,
int *  ninds 
)

gets a column from the product of inverse basis matrix B^-1 and coefficient matrix A (i.e. from B^-1 * A), i.e., it computes B^-1 * A_c with A_c being the c'th column of A

Parameters
lpLP data
ccolumn number which can be accessed by SCIPcolGetLPPos()
coefpointer to store the coefficients of the column
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity informations)

Definition at line 9914 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetBInvACol(), SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by SCIPgetLPBInvACol().

◆ SCIPlpSumRows()

SCIP_RETCODE SCIPlpSumRows ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob,
SCIP_Real weights,
SCIP_REALARRAY sumcoef,
SCIP_Real sumlhs,
SCIP_Real sumrhs 
)

calculates a weighted sum of all LP rows; for negative weights, the left and right hand side of the corresponding LP row are swapped in the summation

Parameters
lpLP data
setglobal SCIP settings
probproblem data
weightsrow weights in row summation
sumcoefarray to store sum coefficients indexed by variables' probindex
sumlhspointer to store the left hand side of the row summation
sumrhspointer to store the right hand side of the row summation

Definition at line 9938 of file lp.c.

References SCIP_Row::cols, SCIP_Row::cols_index, SCIP_Row::constant, FALSE, SCIP_Row::len, SCIP_Row::lhs, SCIP_Lp::nrows, NULL, SCIP_Prob::nvars, r, SCIP_Row::rhs, SCIP_Lp::rows, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIPrealarrayClear(), SCIPrealarrayExtend(), SCIPrealarrayIncVal(), SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPvarGetCol(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIP_Row::vals, SCIP_Col::var, and SCIP_Col::var_probindex.

Referenced by SCIPsumLPRows().

◆ SCIPlpGetState()

SCIP_RETCODE SCIPlpGetState ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_LPISTATE **  lpistate 
)

stores LP state (like basis information) into LP state object

Parameters
lpLP data
blkmemblock memory
lpistatepointer to LP state information (like basis information)

Definition at line 10024 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, SCIP_Lp::nlpicols, SCIP_Lp::nlpirows, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetState(), and SCIP_Lp::solved.

Referenced by forkCreate(), forkFree(), probingnodeUpdate(), and SCIPtreeStartProbing().

◆ SCIPlpSetState()

SCIP_RETCODE SCIPlpSetState ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_LPISTATE lpistate,
SCIP_Bool  wasprimfeas,
SCIP_Bool  wasprimchecked,
SCIP_Bool  wasdualfeas,
SCIP_Bool  wasdualchecked 
)

loads LP state (like basis information) into solver

Parameters
lpLP data
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
lpistateLP state information (like basis information)
wasprimfeasprimal feasibility when LP state information was stored
wasprimcheckedtrue if the LP solution has passed the primal feasibility check
wasdualfeasdual feasibility when LP state information was stored
wasdualcheckedtrue if the LP solution has passed the dual feasibility check

Definition at line 10048 of file lp.c.

References SCIP_Lp::dualchecked, SCIP_Lp::dualfeasible, FALSE, SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_Lp::primalchecked, SCIP_Lp::primalfeasible, SCIP_CALL, SCIP_OKAY, SCIPlpFlush(), SCIPlpiHasStateBasis(), SCIPlpiSetState(), SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by SCIPlpEndDive(), SCIPtreeEndProbing(), SCIPtreeLoadLPState(), and SCIPtreeLoadProbingLPState().

◆ SCIPlpFreeState()

SCIP_RETCODE SCIPlpFreeState ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_LPISTATE **  lpistate 
)

frees LP state information

Parameters
lpLP data
blkmemblock memory
lpistatepointer to LP state information (like basis information)

Definition at line 10090 of file lp.c.

References SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, and SCIPlpiFreeState().

Referenced by forkReleaseLPIState(), probingnodeFree(), probingnodeUpdate(), SCIPlpEndDive(), SCIPtreeEndProbing(), SCIPtreeSetProbingLPState(), and subrootReleaseLPIState().

◆ SCIPlpInterrupt()

SCIP_RETCODE SCIPlpInterrupt ( SCIP_LP lp,
SCIP_Bool  interrupt 
)

interrupts the currently ongoing lp solve or disables the interrupt

interrupts the currently ongoing lp solve, or disables the interrupt

Parameters
lpLP data
interruptTRUE if interrupt should be set, FALSE if it should be disabled

Definition at line 10107 of file lp.c.

References SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, and SCIPlpiInterrupt().

Referenced by SCIPinterruptLP().

◆ SCIPlpGetNorms()

SCIP_RETCODE SCIPlpGetNorms ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_LPINORMS **  lpinorms 
)

stores pricing norms into LP norms object

Parameters
lpLP data
blkmemblock memory
lpinormspointer to LP pricing norms information

Definition at line 10123 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, SCIP_Lp::nlpicols, SCIP_Lp::nlpirows, NULL, SCIP_CALL, SCIP_OKAY, SCIPlpiGetNorms(), and SCIP_Lp::solved.

Referenced by probingnodeUpdate(), and SCIPtreeStartProbing().

◆ SCIPlpSetNorms()

SCIP_RETCODE SCIPlpSetNorms ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_LPINORMS lpinorms 
)

loads pricing norms from LP norms object into solver

Parameters
lpLP data
blkmemblock memory
lpinormsLP pricing norms information

Definition at line 10147 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, and SCIPlpiSetNorms().

Referenced by SCIPtreeEndProbing(), and SCIPtreeLoadProbingLPState().

◆ SCIPlpFreeNorms()

SCIP_RETCODE SCIPlpFreeNorms ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_LPINORMS **  lpinorms 
)

frees pricing norms information

Parameters
lpLP data
blkmemblock memory
lpinormspointer to LP pricing norms information

Definition at line 10167 of file lp.c.

References SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, and SCIPlpiFreeNorms().

Referenced by probingnodeFree(), probingnodeUpdate(), SCIPtreeEndProbing(), and SCIPtreeSetProbingLPState().

◆ SCIPlpGetCutoffbound()

SCIP_Real SCIPlpGetCutoffbound ( SCIP_LP lp)

return the current cutoff bound of the lp

Parameters
lpcurrent LP data

Definition at line 10181 of file lp.c.

References SCIP_Lp::cutoffbound, and NULL.

Referenced by SCIPreoptCheckCutoff().

◆ SCIPlpSetCutoffbound()

SCIP_RETCODE SCIPlpSetCutoffbound ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob,
SCIP_Real  cutoffbound 
)

◆ SCIPlpGetFeastol()

SCIP_Real SCIPlpGetFeastol ( SCIP_LP lp)

gets current primal feasibility tolerance of LP solver

Parameters
lpcurrent LP data

Definition at line 10236 of file lp.c.

References SCIP_Lp::feastol, and NULL.

Referenced by SCIPgetLPFeastol(), and SCIPsetExitsolPlugins().

◆ SCIPlpSetFeastol()

void SCIPlpSetFeastol ( SCIP_LP lp,
SCIP_SET set,
SCIP_Real  newfeastol 
)

sets primal feasibility tolerance of LP solver

Parameters
lpcurrent LP data
setglobal SCIP settings
newfeastolnew primal feasibility tolerance for LP

Definition at line 10246 of file lp.c.

References FALSE, SCIP_Lp::feastol, SCIP_Lp::lpsolstat, NULL, SCIP_LPSOLSTAT_NOTSOLVED, SCIPsetDebugMsg, and SCIP_Lp::solved.

Referenced by SCIPlpResetFeastol(), and SCIPsetLPFeastol().

◆ SCIPlpResetFeastol()

void SCIPlpResetFeastol ( SCIP_LP lp,
SCIP_SET set 
)

resets primal feasibility tolerance of LP solver

Sets primal feasibility tolerance to min of numerics/lpfeastolfactor * numerics/feastol and relaxfeastol.

Parameters
lpcurrent LP data
setglobal SCIP settings

Definition at line 10271 of file lp.c.

References NULL, SCIP_INVALID, SCIPlpSetFeastol(), SCIPsetDebugMsg, SCIPsetFeastol(), SCIPsetLPFeastolFactor(), and SCIPsetRelaxfeastol().

Referenced by SCIPlpCreate(), SCIPresetLPFeastol(), SCIPsetExitsolPlugins(), and solveNode().

◆ SCIPlpFlush()

◆ SCIPlpMarkFlushed()

◆ SCIPlpSolveAndEval()

SCIP_RETCODE SCIPlpSolveAndEval ( SCIP_LP lp,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
BMS_BLKMEM blkmem,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_PROB prob,
SCIP_Longint  itlim,
SCIP_Bool  limitresolveiters,
SCIP_Bool  aging,
SCIP_Bool  keepsol,
SCIP_Bool lperror 
)

solves the LP with simplex algorithm, and copy the solution into the column's data

Parameters
lpLP data
setglobal SCIP settings
messagehdlrmessage handler
blkmemblock memory buffers
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter
probproblem data
itlimmaximal number of LP iterations to perform, or -1 for no limit
limitresolveitersshould LP iterations for resolving calls be limited? (limit is computed within the method w.r.t. the average LP iterations)
agingshould aging and removal of obsolete cols/rows be applied?
keepsolshould the old LP solution be kept if no iterations were performed?
lperrorpointer to store whether an unresolved LP error occurred

Definition at line 12399 of file lp.c.

References checkLazyBounds(), SCIP_Lp::cutoffbound, SCIP_Lp::diving, SCIP_Lp::divinglazyapplied, SCIP_Lp::dualchecked, SCIP_Lp::dualfeasible, FALSE, SCIP_Lp::flushaddedcols, SCIP_Lp::flushdeletedcols, SCIP_Lp::flushed, getFiniteLooseObjval(), SCIP_Lp::lastlpalgo, lpCutoffDisabled, lpFlushAndSolve(), lpGetResolveItlim(), SCIP_Lp::lpi, SCIP_Lp::lpifromscratch, SCIP_Lp::lpihasfastmip, SCIP_Lp::lpiobjlim, lpNumericalTroubleMessage(), SCIP_Lp::lpobjval, lpSetFromscratch(), SCIP_Lp::lpsolstat, lpSolve(), SCIP_Stat::nclockskipsleft, SCIP_Lp::ncols, SCIP_Lp::nlazycols, SCIP_Stat::nlps, SCIP_Stat::nnodes, SCIP_Lp::nrows, NULL, SCIP_Prob::nvars, SCIP_Lp::primalchecked, SCIP_Lp::primalfeasible, SCIP_Lp::probing, SCIP_Bool, SCIP_CALL, SCIP_ERROR, SCIP_Longint, SCIP_LPALGO_DUALSIMPLEX, SCIP_LPALGO_PRIMALSIMPLEX, SCIP_LPERROR, SCIP_LPSOLSTAT_ERROR, SCIP_LPSOLSTAT_INFEASIBLE, SCIP_LPSOLSTAT_ITERLIMIT, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_LPSOLSTAT_OBJLIMIT, SCIP_LPSOLSTAT_OPTIMAL, SCIP_LPSOLSTAT_TIMELIMIT, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_OKAY, SCIP_Real, SCIP_STATUS_TIMELIMIT, SCIP_UNUSED, SCIP_VERBLEVEL_FULL, SCIP_VERBLEVEL_HIGH, SCIPerrorMessage, SCIPlpFlush(), SCIPlpGetDualfarkas(), SCIPlpGetLPI(), SCIPlpGetSol(), SCIPlpGetSolstat(), SCIPlpGetUnboundedSol(), SCIPlpiGetObjval(), SCIPlpiHasDualRay(), SCIPlpiInfinity(), SCIPlpiIsObjlimExc(), SCIPlpRemoveNewObsoletes(), SCIPlpUpdateAges(), SCIPmessagePrintVerbInfo(), SCIPmessagePrintWarning(), SCIPprobAllColsInLP(), SCIPsetDebugMsg, SCIPsetGetCharParam(), SCIPsetInfinity(), SCIPsetIsFeasNegative(), SCIPsetIsGE(), SCIPsetIsLT(), SCIPsetSetCharParam(), SCIPsolveIsStopped(), SCIP_Lp::solved, SCIP_Stat::status, TRUE, updateLazyBounds(), and SCIP_Stat::userinterrupt.

Referenced by focusnodeToFork(), priceAndCutLoop(), SCIPlpEndDive(), SCIPpriceLoop(), SCIPsolveDiveLP(), SCIPtreeEndProbing(), separationRoundResolveLP(), solveNodeInitialLP(), solveNodeLP(), and solveProbingLP().

◆ SCIPlpGetSolstat()

◆ SCIPlpSetRootLPIsRelax()

void SCIPlpSetRootLPIsRelax ( SCIP_LP lp,
SCIP_Bool  isrelax 
)

sets whether the root LP is a relaxation of the problem and its optimal objective value is a global lower bound

sets whether the root lp is a relaxation of the problem and its optimal objective value is a global lower bound

Parameters
lpLP data
isrelaxis the root lp a relaxation of the problem?

Definition at line 17652 of file lp.c.

References NULL, and SCIP_Lp::rootlpisrelax.

Referenced by SCIPprobStoreRootSol().

◆ SCIPlpIsRootLPRelax()

SCIP_Bool SCIPlpIsRootLPRelax ( SCIP_LP lp)

returns whether the root lp is a relaxation of the problem and its optimal objective value is a global lower bound

Parameters
lpLP data

Definition at line 17663 of file lp.c.

References NULL, and SCIP_Lp::rootlpisrelax.

Referenced by SCIPisRootLPRelax().

◆ SCIPlpGetObjval()

SCIP_Real SCIPlpGetObjval ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob 
)

gets objective value of current LP

Note
This method returns the objective value of the current LP solution, which might be primal or dual infeasible if a limit was hit during solving. It must not be used as a dual bound if the LP solution status is SCIP_LPSOLSTAT_ITERLIMIT or SCIP_LPSOLSTAT_TIMELIMIT.
Parameters
lpcurrent LP data
setglobal SCIP settings
probproblem data

Definition at line 13097 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::looseobjval, SCIP_Lp::looseobjvalid, SCIP_Lp::looseobjvalinf, SCIP_Lp::lpobjval, SCIP_Lp::nloosevars, NULL, recomputeLooseObjectiveValue(), SCIP_INVALID, SCIPsetInfinity(), SCIPsetIsInfinity(), and SCIP_Lp::solved.

Referenced by addCurrentSolution(), analyzeStrongbranch(), enforceConstraints(), forkCreate(), forkFree(), priceAndCutLoop(), propAndSolve(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPgetLPObjval(), SCIPgetSolOrigObj(), SCIPgetSolTransObj(), SCIPlpSetCutoffbound(), SCIPnodeUpdateLowerboundLP(), SCIPprobUpdateBestRootSol(), SCIPsolLinkLPSol(), SCIPsolveCIP(), solveNode(), solveNodeInitialLP(), solveNodeLP(), and updatePseudocost().

◆ SCIPlpGetColumnObjval()

SCIP_Real SCIPlpGetColumnObjval ( SCIP_LP lp)

gets part of objective value of current LP that results from COLUMN variables only

Parameters
lpcurrent LP data

Definition at line 13125 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpobjval, NULL, SCIP_INVALID, and SCIP_Lp::solved.

Referenced by SCIPgetLPColumnObjval(), SCIPlpStoreRootObjval(), and SCIPprobStoreRootSol().

◆ SCIPlpGetLooseObjval()

SCIP_Real SCIPlpGetLooseObjval ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob 
)

gets part of objective value of current LP that results from LOOSE variables only

Parameters
lpcurrent LP data
setglobal SCIP settings
probproblem data

Definition at line 13136 of file lp.c.

References SCIP_Lp::flushed, getFiniteLooseObjval(), SCIP_Lp::looseobjval, SCIP_Lp::looseobjvalinf, SCIP_Lp::nloosevars, NULL, SCIP_INVALID, SCIPsetInfinity(), and SCIP_Lp::solved.

Referenced by performStrongbranchWithPropagation(), SCIPgetLPLooseObjval(), SCIPlpStoreRootObjval(), and SCIPsolLinkLPSol().

◆ SCIPlpStoreRootObjval()

void SCIPlpStoreRootObjval ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob 
)

remembers the current LP objective value as root solution value

Parameters
lpcurrent LP data
setglobal SCIP settings
probproblem data

Definition at line 13156 of file lp.c.

References NULL, SCIP_Lp::rootlooseobjval, SCIP_Lp::rootlpobjval, SCIPlpGetColumnObjval(), and SCIPlpGetLooseObjval().

Referenced by SCIPprobStoreRootSol().

◆ SCIPlpInvalidateRootObjval()

void SCIPlpInvalidateRootObjval ( SCIP_LP lp)

invalidates the root LP solution value

Parameters
lpcurrent LP data

Definition at line 13169 of file lp.c.

References NULL, SCIP_Lp::rootlooseobjval, SCIP_Lp::rootlpobjval, and SCIP_INVALID.

Referenced by freeReoptSolve(), and freeSolve().

◆ SCIPlpGetGlobalPseudoObjval()

SCIP_Real SCIPlpGetGlobalPseudoObjval ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob 
)

gets the global pseudo objective value; that is all variables set to their best (w.r.t. the objective function) global bound

Parameters
lpcurrent LP data
setglobal SCIP settings
probproblem data

Definition at line 13248 of file lp.c.

References SCIP_Lp::glbpseudoobjval, SCIP_Lp::glbpseudoobjvalid, SCIP_Lp::glbpseudoobjvalinf, NULL, recomputeGlbPseudoObjectiveValue(), SCIPsetInfinity(), and SCIPsetIsInfinity().

Referenced by SCIPgetGlobalPseudoObjval(), and solveNode().

◆ SCIPlpRecomputeLocalAndGlobalPseudoObjval()

◆ SCIPlpGetPseudoObjval()

SCIP_Real SCIPlpGetPseudoObjval ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob 
)

gets the pseudo objective value for the current search node; that is all variables set to their best (w.r.t. the objective function) local bound

Parameters
lpcurrent LP data
setglobal SCIP settings
probproblem data

Definition at line 13280 of file lp.c.

References NULL, SCIP_Lp::pseudoobjval, SCIP_Lp::pseudoobjvalid, SCIP_Lp::pseudoobjvalinf, recomputePseudoObjectiveValue(), SCIPsetInfinity(), and SCIPsetIsInfinity().

Referenced by applyBounding(), enforceConstraints(), SCIPconflictAnalyzePseudo(), SCIPgetPseudoObjval(), SCIPgetSolOrigObj(), SCIPgetSolTransObj(), SCIPprimalHeuristics(), SCIPsolLinkPseudoSol(), and solveNode().

◆ SCIPlpGetModifiedPseudoObjval()

SCIP_Real SCIPlpGetModifiedPseudoObjval ( SCIP_LP lp,
SCIP_SET set,
SCIP_PROB prob,
SCIP_VAR var,
SCIP_Real  oldbound,
SCIP_Real  newbound,
SCIP_BOUNDTYPE  boundtype 
)

gets pseudo objective value, if a bound of the given variable would be modified in the given way

Parameters
lpcurrent LP data
setglobal SCIP settings
probproblem data
varproblem variable
oldboundold value for bound
newboundnew value for bound
boundtypetype of bound: lower or upper bound

Definition at line 13310 of file lp.c.

References getFinitePseudoObjval(), SCIP_Lp::pseudoobjvalinf, REALABS, SCIP_Real, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPvarGetBestBoundType(), and SCIPvarGetObj().

Referenced by SCIPnodeAddBoundinfer().

◆ SCIPlpGetModifiedProvedPseudoObjval()

SCIP_Real SCIPlpGetModifiedProvedPseudoObjval ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var,
SCIP_Real  oldbound,
SCIP_Real  newbound,
SCIP_BOUNDTYPE  boundtype 
)

gets pseudo objective value, if a bound of the given variable would be modified in the given way; perform calculations with interval arithmetic to get an exact lower bound

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable
oldboundold value for bound
newboundnew value for bound
boundtypetype of bound: lower or upper bound

Definition at line 13350 of file lp.c.

References SCIP_Lp::pseudoobjval, SCIP_Lp::pseudoobjvalid, SCIP_Lp::pseudoobjvalinf, REALABS, SCIP_Real, SCIPintervalAdd(), SCIPintervalGetInf(), SCIPintervalMul(), SCIPintervalSet(), SCIPintervalSub(), SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPvarGetBestBoundType(), and SCIPvarGetObj().

Referenced by SCIPnodeAddBoundinfer().

◆ SCIPlpUpdateVarObj()

SCIP_RETCODE SCIPlpUpdateVarObj ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var,
SCIP_Real  oldobj,
SCIP_Real  newobj 
)

updates current pseudo and loose objective value for a change in a variable's objective coefficient

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable that changed
oldobjold objective coefficient of variable
newobjnew objective coefficient of variable

Definition at line 13816 of file lp.c.

References FALSE, getObjvalDeltaObj(), lpUpdateObjval(), lpUpdateVarProved(), NULL, SCIP_Lp::probing, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPsetIsEQ(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), and TRUE.

Referenced by SCIPeventProcess(), SCIPlpUpdateAddVar(), and SCIPlpUpdateDelVar().

◆ SCIPlpUpdateVarLbGlobal()

SCIP_RETCODE SCIPlpUpdateVarLbGlobal ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var,
SCIP_Real  oldlb,
SCIP_Real  newlb 
)

updates current root pseudo objective value for a global change in a variable's lower bound

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable that changed
oldlbold lower bound of variable
newlbnew lower bound of variable

Definition at line 13870 of file lp.c.

References FALSE, getObjvalDeltaLb(), lpUpdateObjval(), NULL, SCIP_OKAY, SCIP_Real, SCIPsetIsEQ(), SCIPsetIsPositive(), SCIPvarGetObj(), and TRUE.

Referenced by SCIPeventProcess().

◆ SCIPlpUpdateVarLb()

SCIP_RETCODE SCIPlpUpdateVarLb ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var,
SCIP_Real  oldlb,
SCIP_Real  newlb 
)

updates current pseudo and loose objective value for a change in a variable's lower bound

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable that changed
oldlbold lower bound of variable
newlbnew lower bound of variable

Definition at line 13897 of file lp.c.

References FALSE, getObjvalDeltaLb(), lpUpdateObjval(), lpUpdateVarProved(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPsetIsEQ(), SCIPsetIsPositive(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), and TRUE.

Referenced by SCIPeventProcess().

◆ SCIPlpUpdateVarUbGlobal()

SCIP_RETCODE SCIPlpUpdateVarUbGlobal ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var,
SCIP_Real  oldub,
SCIP_Real  newub 
)

updates current root pseudo objective value for a global change in a variable's upper bound

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable that changed
oldubold upper bound of variable
newubnew upper bound of variable

Definition at line 13938 of file lp.c.

References FALSE, getObjvalDeltaUb(), lpUpdateObjval(), NULL, SCIP_OKAY, SCIP_Real, SCIPsetIsEQ(), SCIPsetIsNegative(), SCIPvarGetObj(), and TRUE.

Referenced by SCIPeventProcess().

◆ SCIPlpUpdateVarUb()

SCIP_RETCODE SCIPlpUpdateVarUb ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var,
SCIP_Real  oldub,
SCIP_Real  newub 
)

updates current pseudo objective value for a change in a variable's upper bound

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable that changed
oldubold upper bound of variable
newubnew upper bound of variable

Definition at line 13965 of file lp.c.

References FALSE, getObjvalDeltaUb(), lpUpdateObjval(), lpUpdateVarProved(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPsetIsEQ(), SCIPsetIsNegative(), SCIPvarGetLbLocal(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetStatus(), and TRUE.

Referenced by SCIPeventProcess().

◆ SCIPlpUpdateAddVar()

SCIP_RETCODE SCIPlpUpdateAddVar ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var 
)

informs LP, that given variable was added to the problem

Parameters
lpcurrent LP data
setglobal SCIP settings
varvariable that is now a LOOSE problem variable

Definition at line 14006 of file lp.c.

References SCIP_Lp::nloosevars, NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPlpUpdateVarObj(), SCIPvarGetObj(), SCIPvarGetProbindex(), and SCIPvarGetStatus().

Referenced by SCIPprobAddVar().

◆ SCIPlpUpdateDelVar()

SCIP_RETCODE SCIPlpUpdateDelVar ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var 
)

informs LP, that given variable is to be deleted from the problem

Parameters
lpcurrent LP data
setglobal SCIP settings
varvariable that will be deleted from the problem

Definition at line 14027 of file lp.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPlpDecNLoosevars(), SCIPlpUpdateVarObj(), SCIPvarGetObj(), SCIPvarGetProbindex(), and SCIPvarGetStatus().

Referenced by SCIPprobPerformVarDeletions().

◆ SCIPlpUpdateVarColumn()

SCIP_RETCODE SCIPlpUpdateVarColumn ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var 
)

informs LP, that given formerly loose problem variable is now a column variable

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable that changed from LOOSE to COLUMN

Definition at line 14163 of file lp.c.

References lpUpdateVarColumn(), lpUpdateVarColumnProved(), NULL, SCIP_CALL, and SCIP_OKAY.

Referenced by SCIPvarColumn().

◆ SCIPlpUpdateVarLoose()

SCIP_RETCODE SCIPlpUpdateVarLoose ( SCIP_LP lp,
SCIP_SET set,
SCIP_VAR var 
)

informs LP, that given formerly column problem variable is now again a loose variable

Parameters
lpcurrent LP data
setglobal SCIP settings
varproblem variable that changed from COLUMN to LOOSE

Definition at line 14287 of file lp.c.

References lpUpdateVarLoose(), lpUpdateVarLooseProved(), NULL, SCIP_CALL, and SCIP_OKAY.

Referenced by SCIPvarLoose().

◆ SCIPlpDecNLoosevars()

void SCIPlpDecNLoosevars ( SCIP_LP lp)

decrease the number of loose variables by one

Parameters
lpcurrent LP data

Definition at line 14308 of file lp.c.

References SCIP_Lp::looseobjval, SCIP_Lp::looseobjvalinf, SCIP_Lp::nloosevars, and NULL.

Referenced by lpUpdateVarColumn(), SCIPlpUpdateDelVar(), SCIPvarFix(), and SCIPvarMultiaggregate().

◆ SCIPlpGetSol()

SCIP_RETCODE SCIPlpGetSol ( SCIP_LP lp,
SCIP_SET set,
SCIP_STAT stat,
SCIP_Bool primalfeasible,
SCIP_Bool dualfeasible 
)

◆ SCIPlpGetUnboundedSol()

SCIP_RETCODE SCIPlpGetUnboundedSol ( SCIP_LP lp,
SCIP_SET set,
SCIP_STAT stat,
SCIP_Bool primalfeasible,
SCIP_Bool rayfeasible 
)

stores LP solution with infinite objective value in the columns and rows

Parameters
lpcurrent LP data
setglobal SCIP settings
statproblem statistics
primalfeasiblepointer to store whether the solution is primal feasible, or NULL
rayfeasiblepointer to store whether the primal ray is a feasible unboundedness proof, or NULL

Definition at line 14630 of file lp.c.

References SCIP_Row::activity, SCIP_Row::cols, SCIP_Row::constant, SCIP_Row::dualsol, FALSE, SCIP_Lp::flushed, SCIP_Col::lb, SCIP_Row::lhs, SCIP_Row::linkpos, SCIP_Stat::lpcount, SCIP_Lp::lpi, SCIP_Lp::lpicols, SCIP_Lp::lpirows, SCIP_Lp::lpobjval, SCIP_Col::lppos, SCIP_Lp::lpsolstat, MAX, SCIP_Row::nlpcols, SCIP_Lp::nlpicols, SCIP_Lp::nlpirows, NULL, SCIP_Row::nunlinked, SCIP_Col::obj, SCIP_Col::primsol, r, REALABS, SCIP_Col::redcost, SCIP_Row::rhs, SCIP_Bool, SCIP_CALL, SCIP_INVALID, SCIP_Longint, SCIP_LPERROR, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPlpiGetPrimalRay(), SCIPlpiGetSol(), SCIPlpiHasPrimalRay(), SCIPlpIsFeasGE(), SCIPlpIsFeasGT(), SCIPlpIsFeasLE(), SCIPlpIsFeasLT(), SCIProwRecalcLPActivity(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetInfinity(), SCIPsetIsFeasPositive(), SCIPsetIsFeasZero(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPsetIsZero(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksUp(), SCIP_Lp::solved, TRUE, SCIP_Col::ub, SCIP_Row::validactivitylp, SCIP_Col::validredcostlp, SCIP_Lp::validsollp, SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIPlpSolveAndEval(), and SCIPlpStartDive().

◆ SCIPlpGetPrimalRay()

SCIP_RETCODE SCIPlpGetPrimalRay ( SCIP_LP lp,
SCIP_SET set,
SCIP_Real ray 
)

returns primal ray proving the unboundedness of the current LP

Parameters
lpcurrent LP data
setglobal SCIP settings
rayarray for storing primal ray values, they are stored w.r.t. the problem index of the variables, so the size of this array should be at least number of active variables (all entries have to be initialized to 0 before)

Definition at line 14924 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, SCIP_Lp::lpicols, SCIP_Lp::lpobjval, SCIP_Lp::lpsolstat, SCIP_Lp::nlpicols, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPlpiGetPrimalRay(), SCIPlpiHasPrimalRay(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIPsetIsInfinity(), SCIPvarGetProbindex(), SCIP_Lp::solved, and SCIP_Col::var.

Referenced by updatePrimalRay().

◆ SCIPlpGetDualfarkas()

◆ SCIPlpGetIterations()

SCIP_RETCODE SCIPlpGetIterations ( SCIP_LP lp,
int *  iterations 
)

get number of iterations used in last LP solve

Parameters
lpcurrent LP data
iterationspointer to store the iteration count

Definition at line 15160 of file lp.c.

References SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, and SCIPlpiGetIterations().

Referenced by lpBarrier(), lpDualSimplex(), lpLexDualSimplex(), and lpPrimalSimplex().

◆ SCIPlpUpdateAges()

SCIP_RETCODE SCIPlpUpdateAges ( SCIP_LP lp,
SCIP_STAT stat 
)

increases age of columns with solution value 0.0 and rows with activity not at its bounds, resets age of non-zero columns and sharp rows

increases age of columns with solution value 0.0 and basic rows with activity not at its bounds, resets age of non-zero columns and sharp rows

Parameters
lpcurrent LP data
statproblem statistics

Definition at line 15175 of file lp.c.

References SCIP_Row::activeinlpcounter, SCIP_Col::age, SCIP_Row::age, SCIP_Lp::cols, SCIP_Lp::flushed, SCIP_Stat::lpcount, SCIP_Lp::lpicols, SCIP_Lp::lpirows, SCIP_Lp::ncols, SCIP_Lp::nlpicols, SCIP_Lp::nlpirows, SCIP_Row::nlpsaftercreation, SCIP_Lp::nrows, NULL, r, SCIP_Lp::rows, SCIP_OKAY, SCIPdebugMessage, SCIP_Lp::solved, and SCIP_Lp::validsollp.

Referenced by SCIPlpSolveAndEval().

◆ SCIPlpRemoveNewObsoletes()

SCIP_RETCODE SCIPlpRemoveNewObsoletes ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter 
)

removes all non-basic columns and basic rows in the part of the LP created at the current node, that are too old

Parameters
lpcurrent LP data
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter

Definition at line 15584 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::firstnewcol, SCIP_Lp::firstnewrow, lpRemoveObsoleteCols(), lpRemoveObsoleteRows(), SCIP_Lp::ncols, SCIP_Lp::nrows, NULL, SCIP_CALL, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPlpGetSolstat(), SCIPsetDebugMsg, and SCIP_Lp::solved.

Referenced by SCIPlpSolveAndEval().

◆ SCIPlpRemoveAllObsoletes()

SCIP_RETCODE SCIPlpRemoveAllObsoletes ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter 
)

removes all non-basic columns and basic rows in whole LP, that are too old

Parameters
lpcurrent LP data
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter

Definition at line 15615 of file lp.c.

References SCIP_Lp::diving, lpRemoveObsoleteCols(), lpRemoveObsoleteRows(), SCIP_Lp::ncols, SCIP_Lp::nrows, NULL, SCIP_CALL, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPlpGetSolstat(), SCIPsetDebugMsg, and SCIP_Lp::solved.

Referenced by focusnodeToFork().

◆ SCIPlpCleanupNew()

SCIP_RETCODE SCIPlpCleanupNew ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_Bool  root 
)

removes all non-basic columns at 0.0 and basic rows in the part of the LP created at the current node

Parameters
lpcurrent LP data
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter
rootare we at the root node?

Definition at line 15784 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::firstnewcol, SCIP_Lp::firstnewrow, SCIP_Lp::lastlpalgo, lpCleanupCols(), lpCleanupRows(), SCIP_Lp::ncols, SCIP_Lp::nrows, NULL, SCIP_Bool, SCIP_CALL, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPlpGetSolstat(), SCIPsetDebugMsg, SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by focusnodeToFork().

◆ SCIPlpCleanupAll()

SCIP_RETCODE SCIPlpCleanupAll ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_Bool  root 
)

removes all non-basic columns at 0.0 and basic rows in the whole LP

Parameters
lpcurrent LP data
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter
rootare we at the root node?

Definition at line 15823 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::lastlpalgo, lpCleanupCols(), lpCleanupRows(), SCIP_Lp::ncols, SCIP_Lp::nrows, NULL, SCIP_Bool, SCIP_CALL, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPlpGetSolstat(), SCIPsetDebugMsg, SCIP_Lp::solisbasic, and SCIP_Lp::solved.

Referenced by focusnodeToFork().

◆ SCIPlpRemoveRedundantRows()

SCIP_RETCODE SCIPlpRemoveRedundantRows ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter 
)

removes all redundant rows that were added at the current node

Parameters
lpcurrent LP data
blkmemblock memory buffers
setglobal SCIP settings
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter

Definition at line 15862 of file lp.c.

References SCIP_Row::basisstatus, BMSclearMemoryArray, SCIP_Lp::diving, SCIP_Lp::firstnewrow, SCIP_Lp::flushed, SCIP_Stat::lpcount, lpDelRowset(), SCIP_Lp::lpirows, SCIP_Lp::ncols, SCIP_Lp::nlpicols, SCIP_Lp::nlpirows, SCIP_Lp::nrows, NULL, r, SCIP_Lp::rows, SCIP_BASESTAT_BASIC, SCIP_CALL, SCIP_OKAY, SCIProwGetLhs(), SCIProwGetMaxActivity(), SCIProwGetMinActivity(), SCIProwGetName(), SCIProwGetRhs(), SCIProwIsRedundant(), SCIPsetAllocBufferArray, SCIPsetDebugMsg, SCIPsetFreeBufferArray, SCIP_Lp::solisbasic, and SCIP_Lp::validsollp.

Referenced by priceAndCutLoop().

◆ SCIPlpStartDive()

SCIP_RETCODE SCIPlpStartDive ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)

◆ SCIPlpEndDive()

SCIP_RETCODE SCIPlpEndDive ( SCIP_LP lp,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_PROB prob,
SCIP_VAR **  vars,
int  nvars 
)

quits LP diving and resets bounds and objective values of columns to the current node's values

Parameters
lpcurrent LP data
blkmemblock memory
setglobal SCIP settings
messagehdlrmessage handler
statproblem statistics
eventqueueevent queue
eventfilterglobal event filter
probproblem data
varsarray with all active variables
nvarsnumber of active variables

Definition at line 16042 of file lp.c.

References colRestoreSolVals(), SCIP_Lp::cols, SCIP_Lp::divechgrows, SCIP_Lp::divechgsides, SCIP_Lp::divechgsidetypes, SCIP_Lp::divelpistate, SCIP_Lp::divelpwasdualchecked, SCIP_Lp::divelpwasdualfeas, SCIP_Lp::divelpwasprimchecked, SCIP_Lp::divelpwasprimfeas, SCIP_Lp::divenolddomchgs, SCIP_Lp::diving, SCIP_Lp::divinglazyapplied, SCIP_Lp::divinglpiitlim, SCIP_Lp::divingobjchg, SCIP_Stat::domchgcount, FALSE, SCIP_Lp::flushed, SCIP_Col::lb, SCIP_Stat::lpcount, SCIP_LpSolVals::lpissolved, lpNumericalTroubleMessage(), lpRestoreSolVals(), lpSetIterationLimit(), SCIP_LpSolVals::lpsolstat, SCIP_Lp::ncols, SCIP_Lp::ndivechgsides, SCIP_Lp::ndivingrows, SCIP_Lp::nlazycols, SCIP_Lp::nrows, NULL, SCIP_Col::obj, r, SCIP_Lp::resolvelperror, rowRestoreSolVals(), SCIP_Lp::rows, SCIP_Bool, SCIP_CALL, SCIP_LPSOLSTAT_INFEASIBLE, SCIP_LPSOLSTAT_ITERLIMIT, SCIP_LPSOLSTAT_OBJLIMIT, SCIP_LPSOLSTAT_OPTIMAL, SCIP_LPSOLSTAT_TIMELIMIT, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_OKAY, SCIP_Real, SCIP_SIDETYPE_LEFT, SCIP_VARSTATUS_COLUMN, SCIP_VERBLEVEL_FULL, SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPlpFlush(), SCIPlpFreeState(), SCIPlpGetSolstat(), SCIPlpSetState(), SCIPlpShrinkRows(), SCIPlpSolveAndEval(), SCIPmessagePrintVerbInfo(), SCIProwChgLhs(), SCIProwChgRhs(), SCIPsetDebugMsg, SCIPsetIsEQ(), SCIPstatIncrement, SCIPvarGetCol(), SCIPvarGetLbLocal(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), SCIP_Lp::storedsolvals, TRUE, SCIP_Col::ub, updateLazyBounds(), and SCIP_Col::var.

Referenced by SCIPendDive().

◆ SCIPlpRecordOldRowSideDive()

SCIP_RETCODE SCIPlpRecordOldRowSideDive ( SCIP_LP lp,
SCIP_ROW row,
SCIP_SIDETYPE  sidetype 
)

records a current row side such that any change will be undone after diving

Parameters
lpLP data object
rowrow affected by the change
sidetypeside type

Definition at line 16224 of file lp.c.

References SCIP_Lp::divechgrows, SCIP_Lp::divechgsides, SCIP_Lp::divechgsidessize, SCIP_Lp::divechgsidetypes, DIVESTACKGROWFACT, SCIP_Row::lhs, SCIP_Lp::ndivechgsides, NULL, reallocDiveChgSideArrays(), SCIP_Row::rhs, SCIP_CALL, SCIP_OKAY, and SCIP_SIDETYPE_LEFT.

Referenced by SCIPchgRowLhsDive(), and SCIPchgRowRhsDive().

◆ SCIPlpStartProbing()

SCIP_RETCODE SCIPlpStartProbing ( SCIP_LP lp)

informs the LP that probing mode was initiated

Parameters
lpcurrent LP data

Definition at line 16248 of file lp.c.

References NULL, SCIP_Lp::probing, SCIP_OKAY, SCIP_Lp::strongbranching, SCIP_Lp::strongbranchprobing, and TRUE.

Referenced by SCIPtreeStartProbing().

◆ SCIPlpEndProbing()

SCIP_RETCODE SCIPlpEndProbing ( SCIP_LP lp)

informs the LP that probing mode was finished

Parameters
lpcurrent LP data

Definition at line 16263 of file lp.c.

References FALSE, NULL, SCIP_Lp::probing, SCIP_OKAY, SCIP_Lp::strongbranching, and SCIP_Lp::strongbranchprobing.

Referenced by SCIPtreeEndProbing().

◆ SCIPlpStartStrongbranchProbing()

void SCIPlpStartStrongbranchProbing ( SCIP_LP lp)

informs the LP that the probing mode is now used for strongbranching

Parameters
lpcurrent LP data

Definition at line 16278 of file lp.c.

References NULL, SCIP_Lp::probing, SCIP_Lp::strongbranching, SCIP_Lp::strongbranchprobing, and TRUE.

Referenced by SCIPstartStrongbranch().

◆ SCIPlpEndStrongbranchProbing()

void SCIPlpEndStrongbranchProbing ( SCIP_LP lp)

informs the LP that the probing mode is not used for strongbranching anymore

Parameters
lpcurrent LP data

Definition at line 16291 of file lp.c.

References FALSE, NULL, SCIP_Lp::probing, SCIP_Lp::strongbranching, and SCIP_Lp::strongbranchprobing.

Referenced by SCIPendStrongbranch().

◆ SCIPlpGetProvedLowerbound()

SCIP_RETCODE SCIPlpGetProvedLowerbound ( SCIP_LP lp,
SCIP_SET set,
SCIP_Real bound 
)

gets proven lower (dual) bound of last LP solution

Parameters
lpcurrent LP data
setglobal SCIP settings
boundpointer to store proven dual bound

Definition at line 16424 of file lp.c.

References FALSE, provedBound(), SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.

Referenced by SCIPnodeUpdateLowerboundLP(), and solveNodeInitialLP().

◆ SCIPlpIsInfeasibilityProved()

SCIP_RETCODE SCIPlpIsInfeasibilityProved ( SCIP_LP lp,
SCIP_SET set,
SCIP_Bool proved 
)

gets proven dual bound of last LP solution

Parameters
lpcurrent LP data
setglobal SCIP settings
provedpointer to store whether infeasibility is proven

Definition at line 16438 of file lp.c.

References bound, NULL, provedBound(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPsetDebugMsg, and TRUE.

◆ SCIPlpWrite()

SCIP_RETCODE SCIPlpWrite ( SCIP_LP lp,
const char *  fname 
)

writes LP to a file

Parameters
lpcurrent LP data
fnamefile name

Definition at line 16460 of file lp.c.

References SCIP_Lp::flushed, SCIP_Lp::lpi, NULL, SCIP_CALL, SCIP_OKAY, and SCIPlpiWriteLP().

Referenced by lpBarrier(), lpDualSimplex(), lpPrimalSimplex(), and SCIPwriteLP().

◆ SCIPlpWriteMip()

SCIP_RETCODE SCIPlpWriteMip ( SCIP_LP lp,
SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
const char *  fname,
SCIP_Bool  genericnames,
SCIP_Bool  origobj,
SCIP_OBJSENSE  objsense,
SCIP_Real  objscale,
SCIP_Real  objoffset,
SCIP_Bool  lazyconss 
)

writes MIP to a file

writes MIP relaxation of the current B&B node to a file

Note
the transformed problem in SCIP is always a minimization problem
Parameters
lpcurrent LP data
setglobal SCIP settings
messagehdlrmessage handler
fnamefile name
genericnamesshould generic names like x_i and row_j be used in order to avoid troubles with reserved symbols?
origobjshould the original objective function be used?
objsenseobjective sense
objscaleobjective scaling factor
objoffsetobjective offset, e.g., caused by variable fixings in presolving
lazyconssoutput removable rows as lazy constraints?

Definition at line 16475 of file lp.c.

References SCIP_Row::cols, SCIP_Lp::cols, SCIP_Row::constant, SCIP_Lp::flushed, SCIP_Col::lb, SCIP_Row::lhs, SCIP_Col::lppos, SCIP_Row::lppos, SCIP_Row::name, SCIP_Var::name, SCIP_Lp::ncols, SCIP_Row::nlpcols, SCIP_Lp::nrows, NULL, SCIP_Col::obj, REALABS, SCIP_Row::rhs, SCIP_Lp::rows, SCIP_ERROR, SCIP_FILECREATEERROR, SCIP_MAXSTRLEN, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPmessageFPrintInfo(), SCIPmessagePrintWarning(), SCIPprintSysError(), SCIProwIsRemovable(), SCIPsetDebugMsg, SCIPsetIsEQ(), SCIPsetIsInfinity(), SCIPsnprintf(), SCIPvarIsIntegral(), SCIP_Col::ub, SCIP_Row::vals, and SCIP_Col::var.

Referenced by SCIPwriteMIP().

◆ SCIPlpRecalculateObjSqrNorm()

void SCIPlpRecalculateObjSqrNorm ( SCIP_SET set,
SCIP_LP lp 
)

recalculates Euclidean norm of objective function vector of column variables if it have gotten unreliable during calculation

Parameters
setglobal SCIP settings
lpLP data

Definition at line 17609 of file lp.c.

References SCIP_Lp::cols, FALSE, MAX, SCIP_Lp::ncols, NULL, SCIP_Lp::objsqrnorm, SCIP_Lp::objsqrnormunreliable, and SCIPsetIsGE().

Referenced by SCIPgetObjNorm(), and SCIProwGetObjParallelism().

◆ SCIPlpComputeRelIntPoint()

SCIP_RETCODE SCIPlpComputeRelIntPoint ( SCIP_SET set,
SCIP_MESSAGEHDLR messagehdlr,
SCIP_LP lp,
SCIP_PROB prob,
SCIP_Bool  relaxrows,
SCIP_Bool  inclobjcutoff,
SCIP_Real  timelimit,
int  iterlimit,
SCIP_Real point,
SCIP_Bool success 
)

compute relative interior point

compute relative interior point

We use the approach of

R. Freund, R. Roundy, M. J. Todd
"Identifying the Set of Always-Active Constraints in a System of Linear Inequalities by a Single Linear Program"
Tech. Rep, No. 1674-85, Sloan School, M.I.T., 1985

to compute a relative interior point for the current LP.

Assume the original LP looks as follows:

\[ \begin{array}{rrl} \min & c^T x &\\ & A x & \geq a\\ & B x & \leq b\\ & D x & = d. \end{array} \]

Note that bounds should be included in the system.

To find an interior point the following LP does the job:

\[ \begin{array}{rrl} \max & 1^T y &\\ & A x - y - \alpha a & \geq 0\\ & B x + y - \alpha b & \leq 0\\ & D x - \alpha d & = 0\\ & 0 \leq y & \leq 1\\ & \alpha & \geq 1. \end{array} \]

If the original LP is feasible, this LP is feasible as well. Any optimal solution yields the relative interior point \(x^*_j/\alpha^*\). Note that this will just produce some relative interior point. It does not produce a particular relative interior point, e.g., one that maximizes the distance to the boundary in some norm.

Parameters
setglobal SCIP settings
messagehdlrmessage handler
lpLP data
probproblem data
relaxrowsshould the rows be relaxed
inclobjcutoffshould a row for the objective cutoff be included
timelimittime limit for LP solver
iterlimititeration limit for LP solver
pointarray to store relative interior point on exit
successbuffer to indicate whether interior point was successfully computed

Definition at line 18536 of file lp.c.

References BMSclearMemoryArray, computeRelIntPoint(), SCIP_Lp::cutoffbound, FALSE, SCIP_Lp::looseobjval, SCIP_Lp::looseobjvalinf, SCIP_Lp::ncols, SCIP_Lp::nrows, NULL, SCIP_CALL, SCIP_INVALID, SCIP_LPERROR, SCIP_OBJSEN_MAXIMIZE, SCIP_OKAY, SCIPlpiCreate(), SCIPlpiFree(), SCIPsetDebugMsg, SCIPsetIsInfinity(), and TRUE.

Referenced by SCIPcomputeLPRelIntPoint().

◆ SCIPlpGetDualDegeneracy()

SCIP_RETCODE SCIPlpGetDualDegeneracy ( SCIP_LP lp,
SCIP_SET set,
SCIP_STAT stat,
SCIP_Real degeneracy,
SCIP_Real varconsratio 
)

computes two measures for dual degeneracy (dual degeneracy rate and variable-constraint ratio) based on the changes applied when reducing the problem to the optimal face

returns the dual degeneracy rate, i.e., the share of nonbasic variables with reduced cost 0 and the variable-constraint ratio, i.e., the number of unfixed variables in relation to the basis size

Parameters
lpLP data
setglobal SCIP settings
statproblem statistics
degeneracypointer to store the dual degeneracy rate
varconsratiopointer to store the variable-constraint ratio

Definition at line 18608 of file lp.c.

References SCIP_Lp::cols, SCIP_Lp::degeneracy, SCIP_Lp::flushed, SCIP_Lp::ncols, SCIP_Stat::nlps, SCIP_Lp::nrows, NULL, r, SCIP_Lp::rows, SCIP_BASESTAT_BASIC, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIP_Real, SCIPcolGetBasisStatus(), SCIPcolGetLb(), SCIPcolGetRedcost(), SCIPcolGetUb(), SCIPcolIsInLP(), SCIPlpGetSolstat(), SCIPlpIsDualReliable(), SCIProwGetBasisStatus(), SCIProwGetDualsol(), SCIProwGetLhs(), SCIProwGetLPActivity(), SCIProwGetMaxActivity(), SCIProwGetMinActivity(), SCIProwGetRhs(), SCIProwIsInLP(), SCIPsetIsDualfeasNegative(), SCIPsetIsDualfeasPositive(), SCIPsetIsEQ(), SCIPsetIsGE(), SCIPsetIsLE(), SCIPsetIsZero(), SCIP_Lp::solved, SCIP_Lp::validdegeneracylp, and SCIP_Lp::varconsratio.

Referenced by SCIPgetLPDualDegeneracy().

◆ SCIPlpGetCols()

SCIP_COL** SCIPlpGetCols ( SCIP_LP lp)

gets array with columns of the LP

Parameters
lpcurrent LP data

Definition at line 17498 of file lp.c.

References SCIP_Lp::cols, and NULL.

Referenced by branchcandCalcLPCands(), forkFree(), SCIPcomputeLPRelIntPoint(), SCIPgetLPCols(), SCIPgetLPColsData(), and SCIPsolLinkLPSol().

◆ SCIPlpGetNCols()

◆ SCIPlpGetNUnfixedCols()

int SCIPlpGetNUnfixedCols ( SCIP_LP lp,
SCIP_Real  eps 
)

gets current number of unfixed columns in LP

Parameters
lpcurrent LP data
epsnumerical tolerance

Definition at line 17518 of file lp.c.

References SCIP_Lp::cols, SCIP_Lp::ncols, and NULL.

Referenced by SCIPgetNUnfixedLPCols().

◆ SCIPlpGetRows()

SCIP_ROW** SCIPlpGetRows ( SCIP_LP lp)

gets array with rows of the LP

Parameters
lpcurrent LP data

Definition at line 17545 of file lp.c.

References NULL, and SCIP_Lp::rows.

Referenced by forkFree(), getDualProof(), getFarkasProof(), runBoundHeuristic(), SCIPgetLPRows(), SCIPgetLPRowsData(), and storeCuts().

◆ SCIPlpGetNRows()

int SCIPlpGetNRows ( SCIP_LP lp)

◆ SCIPlpGetNewcols()

SCIP_COL** SCIPlpGetNewcols ( SCIP_LP lp)

gets array with newly added columns after the last mark

Parameters
lpcurrent LP data

Definition at line 17565 of file lp.c.

References SCIP_Lp::cols, SCIP_Lp::firstnewcol, SCIP_Lp::ncols, and NULL.

Referenced by forkCreate(), and pseudoforkCreate().

◆ SCIPlpGetNNewcols()

int SCIPlpGetNNewcols ( SCIP_LP lp)

gets number of newly added columns after the last mark

Parameters
lpcurrent LP data

Definition at line 17576 of file lp.c.

References SCIP_Lp::firstnewcol, SCIP_Lp::ncols, and NULL.

Referenced by focusnodeCleanupVars(), focusnodeToFork(), focusnodeToJunction(), forkCreate(), pseudoforkCreate(), and SCIPnodeFocus().

◆ SCIPlpGetNewrows()

SCIP_ROW** SCIPlpGetNewrows ( SCIP_LP lp)

gets array with newly added rows after the last mark

Parameters
lpcurrent LP data

Definition at line 17587 of file lp.c.

References SCIP_Lp::firstnewrow, SCIP_Lp::nrows, NULL, and SCIP_Lp::rows.

Referenced by forkCreate(), and pseudoforkCreate().

◆ SCIPlpGetNNewrows()

int SCIPlpGetNNewrows ( SCIP_LP lp)

gets number of newly added rows after the last mark

Parameters
lpcurrent LP data

Definition at line 17598 of file lp.c.

References SCIP_Lp::firstnewrow, SCIP_Lp::nrows, and NULL.

Referenced by focusnodeToFork(), forkCreate(), pseudoforkCreate(), and SCIPnodeFocus().

◆ SCIPlpGetObjNorm()

SCIP_Real SCIPlpGetObjNorm ( SCIP_LP lp)

gets Euclidean norm of objective function vector of column variables, only use this method if lp->objsqrnormunreliable == FALSE, so probably you have to call SCIPlpRecalculateObjSqrNorm before

Parameters
lpLP data

Definition at line 17640 of file lp.c.

References NULL, SCIP_Lp::objsqrnorm, and SCIP_Lp::objsqrnormunreliable.

Referenced by SCIPgetObjNorm().

◆ SCIPlpGetRootObjval()

SCIP_Real SCIPlpGetRootObjval ( SCIP_LP lp)

gets the objective value of the root node LP; returns SCIP_INVALID if the root node LP was not (yet) solved

Parameters
lpLP data

Definition at line 17673 of file lp.c.

References NULL, SCIP_Lp::rootlooseobjval, SCIP_Lp::rootlpobjval, and SCIP_INVALID.

Referenced by SCIPgetLPRootObjval().

◆ SCIPlpGetRootColumnObjval()

SCIP_Real SCIPlpGetRootColumnObjval ( SCIP_LP lp)

gets part of the objective value of the root node LP that results from COLUMN variables only; returns SCIP_INVALID if the root node LP was not (yet) solved

Parameters
lpLP data

Definition at line 17685 of file lp.c.

References NULL, and SCIP_Lp::rootlpobjval.

Referenced by SCIPgetLPRootColumnObjval().

◆ SCIPlpGetRootLooseObjval()

SCIP_Real SCIPlpGetRootLooseObjval ( SCIP_LP lp)

gets part of the objective value of the root node LP that results from LOOSE variables only; returns SCIP_INVALID if the root node LP was not (yet) solved

Parameters
lpLP data

Definition at line 17697 of file lp.c.

References NULL, and SCIP_Lp::rootlooseobjval.

Referenced by SCIPgetLPRootLooseObjval().

◆ SCIPlpGetLPI()

SCIP_LPI* SCIPlpGetLPI ( SCIP_LP lp)

gets the LP solver interface

Parameters
lpcurrent LP data

Definition at line 17707 of file lp.c.

References SCIP_Lp::lpi, and NULL.

Referenced by conflictAnalyzeLP(), SCIPconflictAnalyzeLP(), SCIPgetLPI(), SCIPlpSolveAndEval(), SCIPprintLPSolutionQuality(), solveNodeLP(), undoBdchgsDualfarkas(), and undoBdchgsDualsol().

◆ SCIPlpSetIsRelax()

void SCIPlpSetIsRelax ( SCIP_LP lp,
SCIP_Bool  relax 
)

sets whether the current lp is a relaxation of the current problem and its optimal objective value is a local lower bound

sets whether the current LP is a relaxation of the current problem and its optimal objective value is a local lower bound

Parameters
lpLP data
relaxis the current lp a relaxation?

Definition at line 17717 of file lp.c.

References SCIP_Lp::isrelax, and NULL.

Referenced by SCIPpriceLoop(), SCIPtreeEndProbing(), and solveProbingLP().

◆ SCIPlpIsRelax()

SCIP_Bool SCIPlpIsRelax ( SCIP_LP lp)

returns whether the current LP is a relaxation of the problem for which it has been solved and its solution value a valid local lower bound?

Parameters
lpLP data

Definition at line 17730 of file lp.c.

References SCIP_Lp::isrelax, and NULL.

Referenced by priceAndCutLoop(), propAndSolve(), SCIPendDive(), SCIPisLPRelax(), SCIPprobStoreRootSol(), SCIPtreeEndProbing(), solveNodeInitialLP(), and updateEstimate().

◆ SCIPlpIsSolved()

SCIP_Bool SCIPlpIsSolved ( SCIP_LP lp)

returns whether the current LP is flushed and solved

Parameters
lpcurrent LP data

Definition at line 17740 of file lp.c.

References SCIP_Lp::flushed, NULL, and SCIP_Lp::solved.

Referenced by priceAndCutLoop(), SCIPendDive(), SCIPlinkLPSol(), SCIPsolCreateLPSol(), and SCIPsolLinkCurrentSol().

◆ SCIPlpIsPrimalReliable()

SCIP_Bool SCIPlpIsPrimalReliable ( SCIP_LP lp)

return whether the current LP solution passed the primal feasibility check

Parameters
lpcurrent LP data

Definition at line 17750 of file lp.c.

References NULL, SCIP_Lp::primalchecked, and SCIP_Lp::primalfeasible.

Referenced by SCIPisLPPrimalReliable().

◆ SCIPlpIsDualReliable()

SCIP_Bool SCIPlpIsDualReliable ( SCIP_LP lp)

return whether the current LP solution passed the dual feasibility check

Parameters
lpcurrent LP data

Definition at line 17760 of file lp.c.

References SCIP_Lp::dualchecked, SCIP_Lp::dualfeasible, and NULL.

Referenced by analyzeStrongbranch(), SCIPisLPDualReliable(), SCIPlpGetDualDegeneracy(), and SCIPprobUpdateBestRootSol().

◆ SCIPlpIsSolBasic()

SCIP_Bool SCIPlpIsSolBasic ( SCIP_LP lp)

returns whether the current LP solution is a basic solution

Parameters
lpcurrent LP data

Definition at line 17770 of file lp.c.

References NULL, and SCIP_Lp::solisbasic.

Referenced by getImplVarRedcost(), SCIPgetLPBasisInd(), SCIPgetLPBInvACol(), SCIPgetLPBInvARow(), SCIPgetLPBInvCol(), SCIPgetLPBInvRow(), SCIPisLPSolBasic(), SCIPprobUpdateBestRootSol(), and SCIPvarGetImplRedcost().

◆ SCIPlpDiving()

◆ SCIPlpDivingObjChanged()

SCIP_Bool SCIPlpDivingObjChanged ( SCIP_LP lp)

returns whether the LP is in diving mode and the objective value of at least one column was changed

Parameters
lpcurrent LP data

Definition at line 17790 of file lp.c.

References SCIP_Lp::divingobjchg, and NULL.

Referenced by conflictAnalyzeBoundexceedingLP(), conflictAnalyzeInfeasibleLP(), conflictAnalyzeLP(), getFarkasProof(), runBoundHeuristic(), SCIPchgVarObjProbing(), SCIPlpSetCutoffbound(), SCIPsolLinkLPSol(), SCIPsolveDiveLP(), and SCIPtreeEndProbing().

◆ SCIPlpMarkDivingObjChanged()

void SCIPlpMarkDivingObjChanged ( SCIP_LP lp)

marks the diving LP to have a changed objective function

Parameters
lpcurrent LP data

Definition at line 17800 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::divingobjchg, NULL, SCIP_Lp::probing, and TRUE.

Referenced by SCIPchgVarObjDive(), SCIPchgVarObjProbing(), and SCIPpropagateProbing().

◆ SCIPlpUnmarkDivingObjChanged()

void SCIPlpUnmarkDivingObjChanged ( SCIP_LP lp)

marks the diving LP to not have a changed objective function anymore

Parameters
lpcurrent LP data

Definition at line 17811 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::divingobjchg, FALSE, NULL, and SCIP_Lp::probing.

Referenced by SCIPpropagateProbing(), and treeBacktrackProbing().

◆ SCIPlpDivingRowsChanged()

SCIP_Bool SCIPlpDivingRowsChanged ( SCIP_LP lp)
Parameters
lpcurrent LP data

Definition at line 17822 of file lp.c.

References SCIP_Lp::diving, SCIP_Lp::ndivechgsides, and NULL.

Referenced by SCIPsolveDiveLP().

◆ SCIPlpIsFeasEQ()

SCIP_Bool SCIPlpIsFeasEQ ( SCIP_SET set,
SCIP_LP lp,
SCIP_Real  val1,
SCIP_Real  val2 
)

checks, if absolute difference of values is in range of LP primal feastol

Parameters
setglobal SCIP settings
lpcurrent LP data
val1first value to be compared
val2second value to be compared

Definition at line 18733 of file lp.c.

References EPSEQ, SCIP_Lp::feastol, NULL, and SCIPsetIsInfinity().

◆ SCIPlpIsFeasLT()

SCIP_Bool SCIPlpIsFeasLT ( SCIP_SET set,
SCIP_LP lp,
SCIP_Real  val1,
SCIP_Real  val2 
)

checks, if absolute difference of val1 and val2 is lower than LP primal feastol

Parameters
setglobal SCIP settings
lpcurrent LP data
val1first value to be compared
val2second value to be compared

Definition at line 18753 of file lp.c.

References EPSLT, SCIP_Lp::feastol, NULL, and SCIPsetIsInfinity().

Referenced by SCIPlpGetSol(), and SCIPlpGetUnboundedSol().

◆ SCIPlpIsFeasLE()

SCIP_Bool SCIPlpIsFeasLE ( SCIP_SET set,
SCIP_LP lp,
SCIP_Real  val1,
SCIP_Real  val2 
)

checks, if absolute difference of val1 and val2 is not greater than LP primal feastol

Parameters
setglobal SCIP settings
lpcurrent LP data
val1first value to be compared
val2second value to be compared

Definition at line 18773 of file lp.c.

References EPSLE, SCIP_Lp::feastol, NULL, and SCIPsetIsInfinity().

Referenced by SCIPlpGetSol(), and SCIPlpGetUnboundedSol().

◆ SCIPlpIsFeasGT()

SCIP_Bool SCIPlpIsFeasGT ( SCIP_SET set,
SCIP_LP lp,
SCIP_Real  val1,
SCIP_Real  val2 
)

checks, if absolute difference of val1 and val2 is greater than LP primal feastol

Parameters
setglobal SCIP settings
lpcurrent LP data
val1first value to be compared
val2second value to be compared

Definition at line 18793 of file lp.c.

References EPSGT, SCIP_Lp::feastol, NULL, and SCIPsetIsInfinity().

Referenced by SCIPlpGetSol(), and SCIPlpGetUnboundedSol().

◆ SCIPlpIsFeasGE()

SCIP_Bool SCIPlpIsFeasGE ( SCIP_SET set,
SCIP_LP lp,
SCIP_Real  val1,
SCIP_Real  val2 
)

checks, if absolute difference of val1 and val2 is not lower than -LP primal feastol

Parameters
setglobal SCIP settings
lpcurrent LP data
val1first value to be compared
val2second value to be compared

Definition at line 18813 of file lp.c.

References EPSGE, SCIP_Lp::feastol, NULL, and SCIPsetIsInfinity().

Referenced by SCIPlpGetSol(), and SCIPlpGetUnboundedSol().

◆ SCIPlpIsFeasZero()

SCIP_Bool SCIPlpIsFeasZero ( SCIP_LP lp,
SCIP_Real  val 
)

checks, if value is in range LP primal feasibility tolerance of 0.0

Parameters
lpcurrent LP data
valvalue to process

Definition at line 18833 of file lp.c.

References EPSZ, SCIP_Lp::feastol, and NULL.

◆ SCIPlpIsFeasPositive()

SCIP_Bool SCIPlpIsFeasPositive ( SCIP_LP lp,
SCIP_Real  val 
)

checks, if value is greater than LP primal feasibility tolerance

Parameters
lpcurrent LP data
valvalue to process

Definition at line 18844 of file lp.c.

References EPSP, SCIP_Lp::feastol, and NULL.

◆ SCIPlpIsFeasNegative()

SCIP_Bool SCIPlpIsFeasNegative ( SCIP_LP lp,
SCIP_Real  val 
)

checks, if value is lower than -LP primal feasibility tolerance

Parameters
lpcurrent LP data
valvalue to process

Definition at line 18855 of file lp.c.

References EPSN, SCIP_Lp::feastol, and NULL.