Scippy

SCIP

Solving Constraint Integer Programs

sepastore.h File Reference

Detailed Description

internal methods for storing separated cuts

Author
Tobias Achterberg

Definition in file sepastore.h.

#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_implics.h"
#include "scip/type_retcode.h"
#include "scip/type_set.h"
#include "scip/type_stat.h"
#include "scip/type_event.h"
#include "scip/type_lp.h"
#include "scip/type_prob.h"
#include "scip/type_tree.h"
#include "scip/type_reopt.h"
#include "scip/type_sepastore.h"
#include "scip/type_branch.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPsepastoreCreate (SCIP_SEPASTORE **sepastore)
 
SCIP_RETCODE SCIPsepastoreFree (SCIP_SEPASTORE **sepastore)
 
void SCIPsepastoreStartInitialLP (SCIP_SEPASTORE *sepastore)
 
void SCIPsepastoreEndInitialLP (SCIP_SEPASTORE *sepastore)
 
void SCIPsepastoreStartForceCuts (SCIP_SEPASTORE *sepastore)
 
void SCIPsepastoreEndForceCuts (SCIP_SEPASTORE *sepastore)
 
SCIP_RETCODE SCIPsepastoreAddCut (SCIP_SEPASTORE *sepastore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp, SCIP_ROW *cut, SCIP_Bool forcecut, SCIP_Bool root, SCIP_Bool *infeasible)
 
SCIP_RETCODE SCIPsepastoreApplyCuts (SCIP_SEPASTORE *sepastore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_Bool root, SCIP_EFFICIACYCHOICE efficiacychoice, SCIP_Bool *cutoff)
 
SCIP_RETCODE SCIPsepastoreClearCuts (SCIP_SEPASTORE *sepastore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp)
 
SCIP_RETCODE SCIPsepastoreRemoveInefficaciousCuts (SCIP_SEPASTORE *sepastore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp, SCIP_Bool root, SCIP_EFFICIACYCHOICE efficiacychoice)
 
SCIP_Bool SCIPsepastoreIsCutApplicable (SCIP_SET *set, SCIP_ROW *cut)
 
SCIP_ROW ** SCIPsepastoreGetCuts (SCIP_SEPASTORE *sepastore)
 
int SCIPsepastoreGetNCuts (SCIP_SEPASTORE *sepastore)
 
int SCIPsepastoreGetNCutsFound (SCIP_SEPASTORE *sepastore)
 
int SCIPsepastoreGetNCutsFoundRound (SCIP_SEPASTORE *sepastore)
 
int SCIPsepastoreGetNCutsApplied (SCIP_SEPASTORE *sepastore)
 

Function Documentation

◆ SCIPsepastoreCreate()

SCIP_RETCODE SCIPsepastoreCreate ( SCIP_SEPASTORE **  sepastore)

creates separation storage

Parameters
sepastorepointer to store separation storage

Definition at line 76 of file sepastore.c.

References BMSallocMemory, FALSE, SCIP_ALLOC, and SCIP_OKAY.

Referenced by initSolve().

◆ SCIPsepastoreFree()

SCIP_RETCODE SCIPsepastoreFree ( SCIP_SEPASTORE **  sepastore)

frees separation storage

Parameters
sepastorepointer to store separation storage

Definition at line 99 of file sepastore.c.

References BMSfreeMemory, BMSfreeMemoryArrayNull, and SCIP_OKAY.

Referenced by freeReoptSolve(), and freeSolve().

◆ SCIPsepastoreStartInitialLP()

void SCIPsepastoreStartInitialLP ( SCIP_SEPASTORE sepastore)

informs separation storage, that the setup of the initial LP starts now

Parameters
sepastoreseparation storage

Definition at line 115 of file sepastore.c.

References SCIP_SepaStore::initiallp, SCIP_SepaStore::ncuts, and TRUE.

Referenced by SCIPconstructCurrentLP(), and SCIPinitConssLP().

◆ SCIPsepastoreEndInitialLP()

void SCIPsepastoreEndInitialLP ( SCIP_SEPASTORE sepastore)

informs separation storage, that the setup of the initial LP is now finished

Parameters
sepastoreseparation storage

Definition at line 127 of file sepastore.c.

References FALSE, SCIP_SepaStore::initiallp, and SCIP_SepaStore::ncuts.

Referenced by SCIPconstructCurrentLP(), and SCIPinitConssLP().

◆ SCIPsepastoreStartForceCuts()

void SCIPsepastoreStartForceCuts ( SCIP_SEPASTORE sepastore)

informs separation storage, that the following cuts should be used in any case

Parameters
sepastoreseparation storage

Definition at line 139 of file sepastore.c.

References SCIP_SepaStore::forcecuts, and TRUE.

Referenced by enforceConstraints().

◆ SCIPsepastoreEndForceCuts()

void SCIPsepastoreEndForceCuts ( SCIP_SEPASTORE sepastore)

informs separation storage, that the following cuts should no longer be used in any case

Parameters
sepastoreseparation storage

Definition at line 150 of file sepastore.c.

References FALSE, and SCIP_SepaStore::forcecuts.

Referenced by enforceConstraints().

◆ SCIPsepastoreAddCut()

SCIP_RETCODE SCIPsepastoreAddCut ( SCIP_SEPASTORE sepastore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_LP lp,
SCIP_ROW cut,
SCIP_Bool  forcecut,
SCIP_Bool  root,
SCIP_Bool infeasible 
)

adds cut to separation storage and captures it; if the cut should be forced to enter the LP, an infinite score has to be used

Parameters
sepastoreseparation storage
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
eventqueueevent queue
eventfilterevent filter for global events
lpLP data
cutseparated cut
forcecutshould the cut be forced to enter the LP?
rootare we at the root node?
infeasiblepointer to store whether the cut is infeasible

Definition at line 394 of file sepastore.c.

References SCIP_SepaStore::cuts, SCIP_SepaStore::cutssize, SCIP_EventFilter::eventmask, FALSE, SCIP_SepaStore::forcecuts, SCIP_SepaStore::initiallp, SCIP_EventFilter::len, SCIP_SepaStore::ncuts, SCIP_SepaStore::ncutsfound, SCIP_SepaStore::ncutsfoundround, SCIP_SepaStore::nforcedcuts, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_ROWADDEDSEPA, SCIP_EVENTTYPE_ROWDELETEDSEPA, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPdebugCheckRow, SCIPeventCreateRowAddedSepa(), SCIPeventCreateRowDeletedSepa(), SCIPeventqueueAdd(), SCIProwCapture(), SCIProwChgLocal(), SCIProwGetLhs(), SCIProwGetName(), SCIProwGetNNonz(), SCIProwGetRhs(), SCIProwIsLocal(), SCIProwIsModifiable(), SCIProwRelease(), SCIPsetDebugMsg, SCIPsetGetSepaMaxcuts(), SCIPsetInfinity(), SCIPsetIsInfinity(), SCIP_SepaStore::scores, sepastoreEnsureCutsMem(), sepastoreIsBdchgApplicable(), sepastoreIsCutRedundant(), and sepastoreIsCutRedundantOrInfeasible().

Referenced by SCIPaddRow(), SCIPconstructCurrentLP(), SCIPcutpoolSeparate(), and SCIPreoptApplyCuts().

◆ SCIPsepastoreApplyCuts()

SCIP_RETCODE SCIPsepastoreApplyCuts ( SCIP_SEPASTORE sepastore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_PROB origprob,
SCIP_TREE tree,
SCIP_REOPT reopt,
SCIP_LP lp,
SCIP_BRANCHCAND branchcand,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_CLIQUETABLE cliquetable,
SCIP_Bool  root,
SCIP_EFFICIACYCHOICE  efficiacychoice,
SCIP_Bool cutoff 
)

adds cuts to the LP and clears separation storage

Parameters
sepastoreseparation storage
blkmemblock memory
setglobal SCIP settings
statproblem statistics
transprobtransformed problem
origproboriginal problem
treebranch and bound tree
reoptreoptimization data structure
lpLP data
branchcandbranching candidate storage
eventqueueevent queue
eventfilterglobal event filter
cliquetableclique table data structure
rootare we at the root node?
efficiacychoicetype of solution to base efficiacy computation on
cutoffpointer to store whether an empty domain was created

Definition at line 978 of file sepastore.c.

References computeScore(), SCIP_SepaStore::cuts, FALSE, MAX, SCIP_SepaStore::ncuts, SCIP_SepaStore::nforcedcuts, SCIP_Bool, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPnodeGetDepth(), SCIProwCapture(), SCIProwGetLPEfficacy(), SCIProwGetName(), SCIProwGetNNonz(), SCIProwGetObjParallelism(), SCIProwIsModifiable(), SCIProwRelease(), SCIPsepastoreClearCuts(), SCIPsetDebugMsg, SCIPsetGetSepaMaxcuts(), SCIPsetIsFeasPositive(), SCIPsetIsInfinity(), SCIPtreeGetCurrentNode(), SCIP_SepaStore::scores, sepastoreApplyBdchg(), sepastoreApplyCut(), sepastoreDelCut(), sepastoreGetBestCut(), sepastoreIsBdchgApplicable(), and TRUE.

Referenced by applyCuts(), priceAndCutLoop(), SCIPapplyCutsProbing(), SCIPconstructCurrentLP(), and SCIPinitConssLP().

◆ SCIPsepastoreClearCuts()

SCIP_RETCODE SCIPsepastoreClearCuts ( SCIP_SEPASTORE sepastore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_LP lp 
)

clears the separation storage without adding the cuts to the LP

Parameters
sepastoreseparation storage
blkmemblock memory
setglobal SCIP settings
eventqueueevent queue
eventfilterevent filter for global events
lpLP data

Definition at line 1114 of file sepastore.c.

References BMSfreeMemoryArrayNull, SCIP_SepaStore::cuts, SCIP_SepaStore::cutssize, SCIP_EventFilter::eventmask, SCIP_SepaStore::initiallp, SCIP_EventFilter::len, SCIP_SepaStore::ncuts, SCIP_SepaStore::ncutsfoundround, SCIP_SepaStore::nforcedcuts, SCIP_CALL, SCIP_EVENTTYPE_ROWDELETEDSEPA, SCIP_OKAY, SCIPeventCreateRowDeletedSepa(), SCIPeventqueueAdd(), SCIProwRelease(), and SCIPsetDebugMsg.

Referenced by applyCuts(), priceAndCutLoop(), SCIPclearCuts(), SCIPconstructCurrentLP(), SCIPinitConssLP(), and SCIPsepastoreApplyCuts().

◆ SCIPsepastoreRemoveInefficaciousCuts()

SCIP_RETCODE SCIPsepastoreRemoveInefficaciousCuts ( SCIP_SEPASTORE sepastore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_EVENTQUEUE eventqueue,
SCIP_EVENTFILTER eventfilter,
SCIP_LP lp,
SCIP_Bool  root,
SCIP_EFFICIACYCHOICE  efficiacychoice 
)

removes cuts that are inefficacious w.r.t. the current LP solution from separation storage without adding the cuts to the LP

Parameters
sepastoreseparation storage
blkmemblock memory
setglobal SCIP settings
statproblem statistics data
eventqueueevent queue
eventfilterevent filter for global events
lpLP data
rootare we at the root node?
efficiacychoicetype of solution to base efficiacy computation on

Definition at line 1162 of file sepastore.c.

References SCIP_SepaStore::cuts, SCIP_SepaStore::nforcedcuts, SCIP_CALL, SCIP_EFFICIACYCHOICE_LP, SCIP_EFFICIACYCHOICE_NLP, SCIP_EFFICIACYCHOICE_RELAX, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIProwGetLPEfficacy(), SCIProwGetNLPEfficacy(), SCIProwGetRelaxEfficacy(), SCIPsetDebugMsg, SCIPsetIsEfficacious(), and sepastoreDelCut().

Referenced by SCIPremoveInefficaciousCuts().

◆ SCIPsepastoreIsCutApplicable()

SCIP_Bool SCIPsepastoreIsCutApplicable ( SCIP_SET set,
SCIP_ROW cut 
)

indicates whether a cut is applicable

A cut is applicable if it is modifiable, not a bound change, or a bound change that changes bounds by at least epsilon.

Parameters
setglobal SCIP settings
cutcut to check

Definition at line 1218 of file sepastore.c.

References SCIProwGetNNonz(), SCIProwIsModifiable(), and sepastoreIsBdchgApplicable().

Referenced by SCIPisCutApplicable().

◆ SCIPsepastoreGetCuts()

SCIP_ROW** SCIPsepastoreGetCuts ( SCIP_SEPASTORE sepastore)

get cuts in the separation storage

Parameters
sepastoreseparation storage

Definition at line 1227 of file sepastore.c.

References SCIP_SepaStore::cuts.

Referenced by SCIPgetCuts().

◆ SCIPsepastoreGetNCuts()

◆ SCIPsepastoreGetNCutsFound()

int SCIPsepastoreGetNCutsFound ( SCIP_SEPASTORE sepastore)

get total number of cuts found so far

Parameters
sepastoreseparation storage

Definition at line 1247 of file sepastore.c.

References SCIP_SepaStore::ncutsfound.

Referenced by SCIPgetNCutsFound().

◆ SCIPsepastoreGetNCutsFoundRound()

int SCIPsepastoreGetNCutsFoundRound ( SCIP_SEPASTORE sepastore)

get number of cuts found so far in current separation round

Parameters
sepastoreseparation storage

Definition at line 1257 of file sepastore.c.

References SCIP_SepaStore::ncutsfoundround.

Referenced by SCIPgetNCutsFoundRound().

◆ SCIPsepastoreGetNCutsApplied()

int SCIPsepastoreGetNCutsApplied ( SCIP_SEPASTORE sepastore)

get total number of cuts applied to the LPs

Parameters
sepastoreseparation storage

Definition at line 1267 of file sepastore.c.

References SCIP_SepaStore::ncutsapplied.

Referenced by applyCuts(), SCIPgetNCutsApplied(), and solveNodeLP().