sepastore.c File Reference

Detailed Description

methods for storing separated cuts

Author

Tobias Achterberg

Marc Pfetsch

Leona Gottwald

Definition in file sepastore.c.

#include <assert.h>
#include "scip/def.h"
#include "scip/set.h"
#include "scip/stat.h"
#include "scip/lp.h"
#include "scip/lpexact.h"
#include "scip/var.h"
#include "scip/tree.h"
#include "scip/reopt.h"
#include "scip/sepastore.h"
#include "scip/event.h"
#include "scip/sepa.h"
#include "scip/cons.h"
#include "scip/debug.h"
#include "scip/scip.h"
#include "scip/cuts.h"
#include "scip/cutsel.h"
#include "scip/struct_event.h"
#include "scip/struct_sepastore.h"
#include "scip/misc.h"
#include "scip/pub_lpexact.h"
#include "scip/scip_lpexact.h"

Go to the source code of this file.

Functions
static SCIP_RETCODE	sepastoreEnsureCutsMem (SCIP_SEPASTORE *sepastore, SCIP_SET *set, int num)
SCIP_RETCODE	SCIPsepastoreCreate (SCIP_SEPASTORE **sepastore, BMS_BLKMEM *blkmem, SCIP_SET *set)
SCIP_RETCODE	SCIPsepastoreFree (SCIP_SEPASTORE **sepastore, BMS_BLKMEM *blkmem)
void	SCIPsepastoreStartInitialLP (SCIP_SEPASTORE *sepastore)
void	SCIPsepastoreEndInitialLP (SCIP_SEPASTORE *sepastore)
void	SCIPsepastoreStartForceCuts (SCIP_SEPASTORE *sepastore)
void	SCIPsepastoreEndForceCuts (SCIP_SEPASTORE *sepastore)
static SCIP_Bool	sepastoreIsCutRedundant (SCIP_SEPASTORE *sepastore, SCIP_SET *set, SCIP_STAT *stat, SCIP_ROW *cut)
static SCIP_Bool	sepastoreIsCutRedundantOrInfeasible (SCIP_SEPASTORE *sepastore, SCIP_SET *set, SCIP_STAT *stat, SCIP_ROW *cut, SCIP_Bool *infeasible)
static SCIP_Bool	sepastoreIsBdchgApplicable (SCIP_SET *set, SCIP_ROW *cut)
static SCIP_RETCODE	sepastoreDelCut (SCIP_SEPASTORE *sepastore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp, int pos)
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)
static SCIP_RETCODE	sepastoreApplyLb (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_VAR *var, SCIP_Real bound, SCIP_Bool local, SCIP_Bool *applied, SCIP_Bool *cutoff)
static SCIP_RETCODE	sepastoreApplyUb (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_VAR *var, SCIP_Real bound, SCIP_Bool local, SCIP_Bool *applied, SCIP_Bool *cutoff)
static SCIP_RETCODE	sepastoreApplyBdchg (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_ROW *cut, SCIP_Bool *applied, SCIP_Bool *cutoff)
static SCIP_RETCODE	sepastoreApplyCut (SCIP_SEPASTORE *sepastore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp, SCIP_ROW *cut, int depth, int *ncutsapplied)
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	SCIPsepastoreGetNCutsAdded (SCIP_SEPASTORE *sepastore)
int	SCIPsepastoreGetNCutsAddedViaPool (SCIP_SEPASTORE *sepastore)
int	SCIPsepastoreGetNCutsAddedDirect (SCIP_SEPASTORE *sepastore)
int	SCIPsepastoreGetNCutsFoundRound (SCIP_SEPASTORE *sepastore)
int	SCIPsepastoreGetNCutsApplied (SCIP_SEPASTORE *sepastore)

Function Documentation

sepastoreEnsureCutsMem()

SCIP_RETCODE sepastoreEnsureCutsMem ( SCIP_SEPASTORE * sepastore, SCIP_SET * set, int num )

static

resizes cuts and score arrays to be able to store at least num entries

Parameters

sepastore	separation storage
set	global SCIP settings
num	minimal number of slots in array

Definition at line 67 of file sepastore.c.

References assert(), BMSreallocMemoryArray, SCIP_SepaStore::cuts, SCIP_SepaStore::cutssize, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), and sepastoreEnsureCutsMem().

Referenced by SCIPsepastoreAddCut(), and sepastoreEnsureCutsMem().

SCIPsepastoreCreate()

SCIP_RETCODE SCIPsepastoreCreate	(	SCIP_SEPASTORE **	sepastore,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set )

creates separation storage

Parameters

sepastore	pointer to store separation storage
blkmem	block memory
set	global SCIP settings

Definition at line 90 of file sepastore.c.

References assert(), BMSallocMemory, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPrandomCreate(), SCIPsepastoreCreate(), and SCIPsetInitializeRandomSeed().

Referenced by initSolve(), and SCIPsepastoreCreate().

SCIPsepastoreFree()

SCIP_RETCODE SCIPsepastoreFree	(	SCIP_SEPASTORE **	sepastore,
		BMS_BLKMEM *	blkmem )

frees separation storage

Parameters

sepastore	pointer to store separation storage
blkmem	block memory

Definition at line 118 of file sepastore.c.

References assert(), BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_OKAY, SCIPrandomFree(), and SCIPsepastoreFree().

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

SCIPsepastoreStartInitialLP()

void SCIPsepastoreStartInitialLP

(

SCIP_SEPASTORE *

sepastore

)

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

Parameters

sepastore

separation storage

Definition at line 135 of file sepastore.c.

References assert(), SCIP_SepaStore::initiallp, SCIP_SepaStore::ncuts, NULL, SCIPsepastoreStartInitialLP(), and TRUE.

Referenced by SCIPconstructCurrentLP(), SCIPinitConssLP(), and SCIPsepastoreStartInitialLP().

SCIPsepastoreEndInitialLP()

void SCIPsepastoreEndInitialLP

(

SCIP_SEPASTORE *

sepastore

)

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

Parameters

sepastore

separation storage

Definition at line 147 of file sepastore.c.

References assert(), FALSE, SCIP_SepaStore::initiallp, SCIP_SepaStore::ncuts, NULL, and SCIPsepastoreEndInitialLP().

Referenced by SCIPconstructCurrentLP(), SCIPinitConssLP(), and SCIPsepastoreEndInitialLP().

SCIPsepastoreStartForceCuts()

void SCIPsepastoreStartForceCuts

(

SCIP_SEPASTORE *

sepastore

)

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

Parameters

sepastore

separation storage

Definition at line 159 of file sepastore.c.

References assert(), SCIP_SepaStore::forcecuts, NULL, SCIPsepastoreStartForceCuts(), and TRUE.

Referenced by enforceConstraints(), and SCIPsepastoreStartForceCuts().

SCIPsepastoreEndForceCuts()

void SCIPsepastoreEndForceCuts

(

SCIP_SEPASTORE *

sepastore

)

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

Parameters

sepastore

separation storage

Definition at line 170 of file sepastore.c.

References assert(), FALSE, SCIP_SepaStore::forcecuts, NULL, and SCIPsepastoreEndForceCuts().

Referenced by enforceConstraints(), and SCIPsepastoreEndForceCuts().

sepastoreIsCutRedundant()

SCIP_Bool sepastoreIsCutRedundant ( SCIP_SEPASTORE * sepastore, SCIP_SET * set, SCIP_STAT * stat, SCIP_ROW * cut )

static

checks cut for redundancy due to activity bounds

Parameters

sepastore	separation storage
set	global SCIP settings
stat	problem statistics data
cut	separated cut

Definition at line 182 of file sepastore.c.

References assert(), FALSE, NULL, SCIP_Bool, SCIP_Real, SCIProwGetLhs(), SCIProwGetMaxActivity(), SCIProwGetMinActivity(), SCIProwGetName(), SCIProwGetRhs(), SCIProwIsModifiable(), SCIPsetDebugMsg, SCIPsetIsInfinity(), SCIPsetIsLE(), sepastoreIsCutRedundant(), and TRUE.

Referenced by SCIPsepastoreAddCut(), and sepastoreIsCutRedundant().

sepastoreIsCutRedundantOrInfeasible()

SCIP_Bool sepastoreIsCutRedundantOrInfeasible ( SCIP_SEPASTORE * sepastore, SCIP_SET * set, SCIP_STAT * stat, SCIP_ROW * cut, SCIP_Bool * infeasible )

static

checks cut for redundancy or infeasibility due to activity bounds

Parameters

sepastore	separation storage
set	global SCIP settings
stat	problem statistics data
cut	separated cut
infeasible	pointer to store whether the cut has been detected to be infeasible

Definition at line 225 of file sepastore.c.

References assert(), FALSE, NULL, SCIP_Bool, SCIP_Real, SCIProwGetLhs(), SCIProwGetMaxActivity(), SCIProwGetMinActivity(), SCIProwGetName(), SCIProwGetRhs(), SCIProwIsModifiable(), SCIPsetDebugMsg, SCIPsetIsFeasNegative(), SCIPsetIsFeasPositive(), SCIPsetIsInfinity(), SCIPsetIsLE(), sepastoreIsCutRedundantOrInfeasible(), and TRUE.

Referenced by SCIPsepastoreAddCut(), and sepastoreIsCutRedundantOrInfeasible().

sepastoreIsBdchgApplicable()

SCIP_Bool sepastoreIsBdchgApplicable ( SCIP_SET * set, SCIP_ROW * cut )

static

checks whether a cut with only one variable can be applied as boundchange

This is the case if the bound change would prove infeasibility (w.r.t feastol), or if the new bound is at least epsilon better than the old bound. In the latter case, also the opposite bound has to be taken into account.

Parameters

set	global SCIP settings
cut	cut with a single variable

Definition at line 286 of file sepastore.c.

References assert(), FALSE, MAX, MIN, NULL, SCIP_Bool, SCIP_Real, SCIPcolGetVar(), SCIProwGetCols(), SCIProwGetConstant(), SCIProwGetLhs(), SCIProwGetNNonz(), SCIProwGetRhs(), SCIProwGetVals(), SCIProwIsLocal(), SCIProwIsModifiable(), SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), SCIPsetIsFeasZero(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPsetIsLT(), SCIPsetIsZero(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), sepastoreIsBdchgApplicable(), TRUE, and var.

Referenced by SCIPsepastoreAddCut(), SCIPsepastoreApplyCuts(), SCIPsepastoreIsCutApplicable(), and sepastoreIsBdchgApplicable().

sepastoreDelCut()

SCIP_RETCODE sepastoreDelCut ( SCIP_SEPASTORE * sepastore, BMS_BLKMEM * blkmem, SCIP_SET * set, SCIP_EVENTQUEUE * eventqueue, SCIP_EVENTFILTER * eventfilter, SCIP_LP * lp, int pos )

static

removes a non-forced cut from the separation storage

Parameters

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
eventqueue	event queue
eventfilter	event filter for global events
lp	LP data
pos	position of cut to delete

Definition at line 390 of file sepastore.c.

References assert(), SCIP_SepaStore::cuts, SCIP_EventFilter::eventmask, SCIP_Row::fromcutpool, SCIP_SepaStore::initiallp, SCIP_EventFilter::len, SCIP_SepaStore::ncuts, SCIP_SepaStore::ncutsadded, SCIP_SepaStore::ncutsaddeddirect, SCIP_SepaStore::ncutsaddedviapool, SCIP_SepaStore::nforcedcuts, NULL, SCIP_Row::origintype, SCIP_CALL, SCIP_EVENTTYPE_ROWDELETEDSEPA, SCIP_OKAY, SCIP_ROWORIGINTYPE_SEPA, SCIPeventCreateRowDeletedSepa(), SCIPeventqueueAdd(), SCIProwGetOriginSepa(), SCIProwRelease(), SCIPsepaDecNCutsAdded(), and sepastoreDelCut().

Referenced by SCIPsepastoreRemoveInefficaciousCuts(), and sepastoreDelCut().

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

Parameters

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
eventqueue	event queue
eventfilter	event filter for global events
lp	LP data
cut	separated cut
forcecut	should the cut be forced to enter the LP?
root	are we at the root node?
infeasible	pointer to store whether the cut is infeasible

Definition at line 439 of file sepastore.c.

References assert(), SCIP_SepaStore::cuts, SCIP_SepaStore::cutssize, SCIP_EventFilter::eventmask, FALSE, SCIP_SepaStore::forcecuts, SCIP_Row::fromcutpool, SCIP_SepaStore::initiallp, SCIP_EventFilter::len, SCIP_SepaStore::ncuts, SCIP_SepaStore::ncutsadded, SCIP_SepaStore::ncutsaddeddirect, SCIP_SepaStore::ncutsaddedviapool, SCIP_SepaStore::ncutsfoundround, SCIP_SepaStore::nforcedcuts, NULL, SCIP_Row::origintype, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_ROWADDEDSEPA, SCIP_EVENTTYPE_ROWDELETEDSEPA, SCIP_OKAY, SCIP_ROWORIGINTYPE_SEPA, SCIPdebugCheckRow, SCIPeventCreateRowAddedSepa(), SCIPeventCreateRowDeletedSepa(), SCIPeventqueueAdd(), SCIProwCapture(), SCIProwChgLocal(), SCIProwGetLhs(), SCIProwGetName(), SCIProwGetNNonz(), SCIProwGetOriginSepa(), SCIProwGetRhs(), SCIProwIsLocal(), SCIProwIsModifiable(), SCIProwRelease(), SCIPsepaDecNCutsAdded(), SCIPsepaIncNCutsAdded(), SCIPsepastoreAddCut(), SCIPsetDebugMsg, SCIPsetGetSepaMaxcuts(), SCIPsetIsInfinity(), sepastoreEnsureCutsMem(), sepastoreIsBdchgApplicable(), sepastoreIsCutRedundant(), and sepastoreIsCutRedundantOrInfeasible().

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

sepastoreApplyLb()

SCIP_RETCODE sepastoreApplyLb ( 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_VAR * var, SCIP_Real bound, SCIP_Bool local, SCIP_Bool * applied, SCIP_Bool * cutoff )

static

applies a lower bound change

Parameters

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
stat	problem statistics
transprob	transformed problem
origprob	original problem
tree	branch and bound tree
reopt	reoptimization data structure
lp	LP data
branchcand	branching candidate storage
eventqueue	event queue
eventfilter	global event filter
cliquetable	clique table data structure
var	problem variable
bound	new lower bound of variable
local	is it a local bound change? (otherwise global)
applied	pointer to store whether the domain change was applied
cutoff	pointer to store TRUE, if an infeasibility has been detected

Definition at line 595 of file sepastore.c.

References assert(), cutoff, FALSE, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPnodeAddBoundchg(), SCIPnodeCutoff(), SCIPsetDebugMsg, SCIPsetIsFeasLE(), SCIPsetIsGT(), SCIPsetIsInfinity(), SCIPtreeGetCurrentNode(), SCIPtreeGetRootNode(), SCIPvarAdjustLb(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), sepastoreApplyLb(), TRUE, and var.

Referenced by sepastoreApplyBdchg(), and sepastoreApplyLb().

sepastoreApplyUb()

SCIP_RETCODE sepastoreApplyUb ( 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_VAR * var, SCIP_Real bound, SCIP_Bool local, SCIP_Bool * applied, SCIP_Bool * cutoff )

static

applies an upper bound change

Parameters

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
stat	problem statistics
transprob	transformed problem
origprob	original problem
tree	branch and bound tree
reopt	reoptimization data structure
lp	LP data
branchcand	branching candidate storage
eventqueue	event queue
eventfilter	global event filter
cliquetable	clique table data structure
var	problem variable
bound	new upper bound of variable
local	is it a local bound change? (otherwise global)
applied	pointer to store whether the domain change was applied
cutoff	pointer to store TRUE, if an infeasibility has been detected

Definition at line 687 of file sepastore.c.

References assert(), cutoff, FALSE, NULL, SCIP_Bool, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPnodeAddBoundchg(), SCIPnodeCutoff(), SCIPsetDebugMsg, SCIPsetIsFeasGE(), SCIPsetIsInfinity(), SCIPsetIsLT(), SCIPtreeGetCurrentNode(), SCIPtreeGetRootNode(), SCIPvarAdjustUb(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), sepastoreApplyUb(), TRUE, and var.

Referenced by sepastoreApplyBdchg(), and sepastoreApplyUb().

sepastoreApplyBdchg()

SCIP_RETCODE sepastoreApplyBdchg ( 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_ROW * cut, SCIP_Bool * applied, SCIP_Bool * cutoff )

static

applies a cut that is a bound change directly as bound change instead of adding it as row to the LP

Parameters

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
stat	problem statistics
transprob	transformed problem
origprob	original problem
tree	branch and bound tree
reopt	reoptimization data structure
lp	LP data
branchcand	branching candidate storage
eventqueue	event queue
eventfilter	global event filter
cliquetable	clique table data structure
cut	cut with a single variable
applied	pointer to store whether the domain change was applied
cutoff	pointer to store whether an empty domain was created

Definition at line 779 of file sepastore.c.

References assert(), cutoff, FALSE, SCIP_SepaStore::initiallp, SCIP_SepaStore::ncutsapplied, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcolGetVar(), SCIProwGetCols(), SCIProwGetConstant(), SCIProwGetLhs(), SCIProwGetNNonz(), SCIProwGetRhs(), SCIProwGetVals(), SCIProwIsLocal(), SCIProwIsModifiable(), SCIPsetIsFeasZero(), SCIPsetIsInfinity(), SCIPsetIsZero(), sepastoreApplyBdchg(), sepastoreApplyLb(), sepastoreApplyUb(), and var.

Referenced by SCIPsepastoreApplyCuts(), and sepastoreApplyBdchg().

sepastoreApplyCut()

SCIP_RETCODE sepastoreApplyCut ( SCIP_SEPASTORE * sepastore, BMS_BLKMEM * blkmem, SCIP_SET * set, SCIP_EVENTQUEUE * eventqueue, SCIP_EVENTFILTER * eventfilter, SCIP_LP * lp, SCIP_ROW * cut, int depth, int * ncutsapplied )

static

applies the given cut to the LP and updates the orthogonalities and scores of remaining cuts

Parameters

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
eventqueue	event queue
eventfilter	global event filter
lp	LP data
cut	cut to apply to the LP
depth	depth of current node
ncutsapplied	pointer to count the number of applied cuts

Definition at line 876 of file sepastore.c.

References assert(), depth, SCIP_Row::fromcutpool, SCIP_SepaStore::initiallp, SCIP_SepaStore::ncutsapplied, NULL, SCIP_Row::origin, SCIP_Row::origintype, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_ROWORIGINTYPE_CONS, SCIP_ROWORIGINTYPE_CONSHDLR, SCIP_ROWORIGINTYPE_REOPT, SCIP_ROWORIGINTYPE_SEPA, SCIP_ROWORIGINTYPE_UNSPEC, SCIPconsGetHdlr(), SCIPconshdlrIncNAppliedCuts(), SCIPerrorMessage, SCIPlpAddRow(), SCIProwIsInLP(), SCIPsepaIncNCutsApplied(), and sepastoreApplyCut().

Referenced by SCIPsepastoreApplyCuts(), and sepastoreApplyCut().

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

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
stat	problem statistics
transprob	transformed problem
origprob	original problem
tree	branch and bound tree
reopt	reoptimization data structure
lp	LP data
branchcand	branching candidate storage
eventqueue	event queue
eventfilter	global event filter
cliquetable	clique table data structure
root	are we at the root node?
efficiacychoice	type of solution to base efficiacy computation on
cutoff	pointer to store whether an empty domain was created

Definition at line 935 of file sepastore.c.

References assert(), cutoff, SCIP_SepaStore::cuts, depth, FALSE, i, SCIP_SepaStore::initiallp, SCIP_Lp::lpexact, MIN, SCIP_SepaStore::ncuts, SCIP_SepaStore::nforcedcuts, NULL, SCIP_Row::rowexact, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_UNUSED, SCIPaddPoolCut(), SCIPaddRowExact(), SCIPcutselsSelect(), SCIPdelPoolCut(), SCIPisCutNew(), SCIPnodeGetDepth(), SCIProwExactCreateFromRow(), SCIProwGetLPEfficacy(), SCIProwGetName(), SCIProwGetNNonz(), SCIProwGetRowExact(), SCIProwIsLocal(), SCIProwIsModifiable(), SCIPsepastoreApplyCuts(), SCIPsepastoreClearCuts(), SCIPsetDebugMsg, SCIPsetGetSepaMaxcuts(), SCIPsetIsFeasPositive(), SCIPtreeGetCurrentNode(), sepastoreApplyBdchg(), sepastoreApplyCut(), sepastoreIsBdchgApplicable(), and TRUE.

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

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

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
eventqueue	event queue
eventfilter	event filter for global events
lp	LP data

Definition at line 1061 of file sepastore.c.

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

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

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

sepastore	separation storage
blkmem	block memory
set	global SCIP settings
stat	problem statistics data
eventqueue	event queue
eventfilter	event filter for global events
lp	LP data
root	are we at the root node?
efficiacychoice	type of solution to base efficiacy computation on

Definition at line 1107 of file sepastore.c.

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

Referenced by SCIPremoveInefficaciousCuts(), and SCIPsepastoreRemoveInefficaciousCuts().

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

set	global SCIP settings
cut	cut to check

Definition at line 1164 of file sepastore.c.

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

Referenced by SCIPisCutApplicable(), and SCIPsepastoreIsCutApplicable().

SCIPsepastoreGetCuts()

SCIP_ROW ** SCIPsepastoreGetCuts

(

SCIP_SEPASTORE *

sepastore

)

get cuts in the separation storage

Parameters

sepastore

separation storage

Definition at line 1173 of file sepastore.c.

References assert(), SCIP_SepaStore::cuts, NULL, and SCIPsepastoreGetCuts().

Referenced by SCIPgetCuts(), and SCIPsepastoreGetCuts().

SCIPsepastoreGetNCuts()

int SCIPsepastoreGetNCuts

(

SCIP_SEPASTORE *

sepastore

)

get number of cuts in the separation storage

Parameters

sepastore

separation storage

Definition at line 1183 of file sepastore.c.

References assert(), SCIP_SepaStore::ncuts, NULL, and SCIPsepastoreGetNCuts().

Referenced by applyCuts(), cutpoolSeparate(), enforceConstraints(), priceAndCutLoop(), propAndSolve(), SCIPbranchruleExecExternSol(), SCIPbranchruleExecLPSol(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforceRelaxSol(), SCIPconshdlrSeparateLP(), SCIPconshdlrSeparateSol(), SCIPcutpoolSeparate(), SCIPendProbing(), SCIPgetNCuts(), SCIPsepaExecLP(), SCIPsepaExecSol(), SCIPsepastoreGetNCuts(), separationRoundLP(), separationRoundSol(), solveNode(), and solveNodeLP().

SCIPsepastoreGetNCutsAdded()

int SCIPsepastoreGetNCutsAdded

(

SCIP_SEPASTORE *

sepastore

)

gets the total number of cutting planes added to the separation storage; this is equal to the sum of added cuts directly and via the pool.

Parameters

sepastore

separation storage

Definition at line 1194 of file sepastore.c.

References assert(), SCIP_SepaStore::ncutsadded, NULL, and SCIPsepastoreGetNCutsAdded().

Referenced by SCIPcutpoolSeparate(), SCIPgetNCutsFound(), and SCIPsepastoreGetNCutsAdded().

SCIPsepastoreGetNCutsAddedViaPool()

int SCIPsepastoreGetNCutsAddedViaPool

(

SCIP_SEPASTORE *

sepastore

)

gets the number of cutting planes added to the separation storage from the cut pool

Parameters

sepastore

separation storage

Definition at line 1204 of file sepastore.c.

References assert(), SCIP_SepaStore::ncutsaddedviapool, NULL, and SCIPsepastoreGetNCutsAddedViaPool().

Referenced by SCIPsepastoreGetNCutsAddedViaPool().

SCIPsepastoreGetNCutsAddedDirect()

int SCIPsepastoreGetNCutsAddedDirect

(

SCIP_SEPASTORE *

sepastore

)

gets the number of cutting planes added to the separation storage directly

Parameters

sepastore

separation storage

Definition at line 1214 of file sepastore.c.

References assert(), SCIP_SepaStore::ncutsaddeddirect, NULL, and SCIPsepastoreGetNCutsAddedDirect().

Referenced by SCIPsepastoreGetNCutsAddedDirect().

SCIPsepastoreGetNCutsFoundRound()

int SCIPsepastoreGetNCutsFoundRound

(

SCIP_SEPASTORE *

sepastore

)

get number of cuts found so far in current separation round

Parameters

sepastore

separation storage

Definition at line 1224 of file sepastore.c.

References assert(), SCIP_SepaStore::ncutsfoundround, NULL, and SCIPsepastoreGetNCutsFoundRound().

Referenced by SCIPgetNCutsFoundRound(), and SCIPsepastoreGetNCutsFoundRound().

SCIPsepastoreGetNCutsApplied()

int SCIPsepastoreGetNCutsApplied

(

SCIP_SEPASTORE *

sepastore

)

gets the total number of cutting planes applied to the LP

Parameters

sepastore

separation storage

Definition at line 1234 of file sepastore.c.

References assert(), SCIP_SepaStore::ncutsapplied, NULL, and SCIPsepastoreGetNCutsApplied().

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