Scippy

SCIP

Solving Constraint Integer Programs

conflictstore.c File Reference

Detailed Description

methods for storing conflicts

Author
Jakob Witzig

Definition in file conflictstore.c.

#include <assert.h>
#include <string.h>
#include "scip/conflictstore.h"
#include "scip/cons.h"
#include "scip/event.h"
#include "scip/set.h"
#include "scip/tree.h"
#include "scip/misc.h"
#include "scip/prob.h"
#include "scip/reopt.h"
#include "scip/scip.h"
#include "scip/def.h"
#include "scip/cons_linear.h"
#include "scip/struct_conflictstore.h"

Go to the source code of this file.

Macros

#define CONFLICTSTORE_DUALSIZE   100 /* default size of conflict store */
 
#define CONFLICTSTORE_MINSIZE   2000 /* default minimal size of a dynamic conflict store */
 
#define CONFLICTSTORE_MAXSIZE   60000 /* maximal size of a dynamic conflict store (multiplied by 3) */
 
#define CONFLICTSTORE_SIZE   10000 /* default size of conflict store */
 
#define CONFLICTSTORE_SORTFREQ   20 /* frequency to resort the conflict array */
 
#define EVENTHDLR_NAME   "ConflictStore"
 
#define EVENTHDLR_DESC   "Solution event handler for conflict store."
 

Functions

static SCIP_DECL_EVENTEXEC (eventExecConflictstore)
 
static SCIP_DECL_EVENTINITSOL (eventInitsolConflictstore)
 
static SCIP_DECL_EVENTEXITSOL (eventExitsolConflictstore)
 
static SCIP_DECL_SORTPTRCOMP (compareConss)
 
static SCIP_RETCODE initConflictstore (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, SCIP_PROB *transprob)
 
static SCIP_RETCODE conflictstoreEnsureMem (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, BMS_BLKMEM *blkmem, int num)
 
static void adjustStorageSize (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set)
 
static SCIP_RETCODE delPosConflict (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, BMS_BLKMEM *blkmem, SCIP_REOPT *reopt, int pos, SCIP_Bool deleteconflict)
 
static SCIP_RETCODE delPosDualray (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, BMS_BLKMEM *blkmem, SCIP_REOPT *reopt, int pos, SCIP_Bool deleteconflict)
 
static SCIP_RETCODE cleanDeletedConflicts (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, SCIP_STAT *stat, BMS_BLKMEM *blkmem, SCIP_REOPT *reopt, int *ndelconfs)
 
static SCIP_RETCODE conflictstoreCleanUpStorage (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, BMS_BLKMEM *blkmem, SCIP_REOPT *reopt)
 
static SCIP_RETCODE conflictstoreAddOrigConflict (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, BMS_BLKMEM *blkmem, SCIP_CONS *cons)
 
SCIP_RETCODE SCIPconflictstoreCreate (SCIP_CONFLICTSTORE **conflictstore, SCIP_SET *set)
 
SCIP_RETCODE SCIPconflictstoreFree (SCIP_CONFLICTSTORE **conflictstore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_REOPT *reopt)
 
SCIP_RETCODE SCIPconflictstoreClean (SCIP_CONFLICTSTORE *conflictstore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_REOPT *reopt)
 
SCIP_RETCODE SCIPconflictstoreAddDualraycons (SCIP_CONFLICTSTORE *conflictstore, SCIP_CONS *dualraycons, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_REOPT *reopt)
 
SCIP_RETCODE SCIPconflictstoreAddConflict (SCIP_CONFLICTSTORE *conflictstore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_PROB *transprob, SCIP_REOPT *reopt, SCIP_CONS *cons, SCIP_CONFTYPE conftype, SCIP_Bool cutoffinvolved, SCIP_Real primalbound)
 
SCIP_RETCODE SCIPconflictstoreCleanNewIncumbent (SCIP_CONFLICTSTORE *conflictstore, SCIP_SET *set, SCIP_STAT *stat, BMS_BLKMEM *blkmem, SCIP_PROB *transprob, SCIP_REOPT *reopt, SCIP_Real cutoffbound)
 
int SCIPconflictstoreGetMaxPoolSize (SCIP_CONFLICTSTORE *conflictstore)
 
int SCIPconflictstoreGetInitPoolSize (SCIP_CONFLICTSTORE *conflictstore)
 
int SCIPconflictstoreGetNConflictsInStore (SCIP_CONFLICTSTORE *conflictstore)
 
SCIP_RETCODE SCIPconflictstoreGetConflicts (SCIP_CONFLICTSTORE *conflictstore, SCIP_CONS **conflicts, int conflictsize, int *nconflicts)
 
SCIP_RETCODE SCIPconflictstoreTransform (SCIP_CONFLICTSTORE *conflictstore, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_PROB *transprob, SCIP_REOPT *reopt)
 
SCIP_Real SCIPconflictstoreGetAvgNnzDualray (SCIP_CONFLICTSTORE *conflictstore)
 
int SCIPconflictstoreGetNDualrays (SCIP_CONFLICTSTORE *conflictstore)
 

Macro Definition Documentation

◆ CONFLICTSTORE_DUALSIZE

#define CONFLICTSTORE_DUALSIZE   100 /* default size of conflict store */

Definition at line 40 of file conflictstore.c.

Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreFree().

◆ CONFLICTSTORE_MINSIZE

#define CONFLICTSTORE_MINSIZE   2000 /* default minimal size of a dynamic conflict store */

Definition at line 41 of file conflictstore.c.

Referenced by conflictstoreAddOrigConflict(), and initConflictstore().

◆ CONFLICTSTORE_MAXSIZE

#define CONFLICTSTORE_MAXSIZE   60000 /* maximal size of a dynamic conflict store (multiplied by 3) */

Definition at line 42 of file conflictstore.c.

Referenced by initConflictstore().

◆ CONFLICTSTORE_SIZE

#define CONFLICTSTORE_SIZE   10000 /* default size of conflict store */

Definition at line 43 of file conflictstore.c.

Referenced by conflictstoreEnsureMem().

◆ CONFLICTSTORE_SORTFREQ

#define CONFLICTSTORE_SORTFREQ   20 /* frequency to resort the conflict array */

Definition at line 44 of file conflictstore.c.

Referenced by conflictstoreCleanUpStorage().

◆ EVENTHDLR_NAME

#define EVENTHDLR_NAME   "ConflictStore"

◆ EVENTHDLR_DESC

#define EVENTHDLR_DESC   "Solution event handler for conflict store."

Definition at line 48 of file conflictstore.c.

Referenced by SCIPconflictstoreCreate().

Function Documentation

◆ SCIP_DECL_EVENTEXEC()

◆ SCIP_DECL_EVENTINITSOL()

static SCIP_DECL_EVENTINITSOL ( eventInitsolConflictstore  )
static

solving process initialization method of event handler (called when branch and bound process is about to begin)

Definition at line 70 of file conflictstore.c.

References EVENTHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPcatchEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().

◆ SCIP_DECL_EVENTEXITSOL()

static SCIP_DECL_EVENTEXITSOL ( eventExitsolConflictstore  )
static

solving process deinitialization method of event handler (called before branch and bound process data is freed)

Definition at line 90 of file conflictstore.c.

References EVENTHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_BESTSOLFOUND, SCIP_OKAY, SCIPdropEvent(), SCIPeventhdlrGetName(), and SCIPgetBoolParam().

◆ SCIP_DECL_SORTPTRCOMP()

static SCIP_DECL_SORTPTRCOMP ( compareConss  )
static

Definition at line 110 of file conflictstore.c.

References NULL, SCIP_Bool, SCIP_CALL, SCIPconsGetAge(), and SCIPgetConsNVars().

◆ initConflictstore()

static SCIP_RETCODE initConflictstore ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
SCIP_PROB transprob 
)
static

◆ conflictstoreEnsureMem()

static SCIP_RETCODE conflictstoreEnsureMem ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
BMS_BLKMEM blkmem,
int  num 
)
static

resizes conflict and primal bound arrays to be able to store at least num entries

Parameters
conflictstoreconflict store
setglobal SCIP settings
blkmemblock memory
numminimal number of slots in array

Definition at line 208 of file conflictstore.c.

References BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, CONFLICTSTORE_SIZE, SCIP_ConflictStore::maxstoresize, MIN, SCIP_ConflictStore::nconflicts, NULL, SCIP_ConflictStore::primalbounds, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIPsetInfinity(), and SCIP_ConflictStore::storesize.

Referenced by SCIPconflictstoreAddConflict().

◆ adjustStorageSize()

static void adjustStorageSize ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set 
)
static
Parameters
conflictstoreconflict store
setglobal SCIP settings

Definition at line 266 of file conflictstore.c.

References SCIP_ConflictStore::maxstoresize, MIN, SCIP_ConflictStore::nconflicts, NULL, SCIP_Real, and SCIP_ConflictStore::storesize.

Referenced by conflictstoreCleanUpStorage().

◆ delPosConflict()

static SCIP_RETCODE delPosConflict ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
BMS_BLKMEM blkmem,
SCIP_REOPT reopt,
int  pos,
SCIP_Bool  deleteconflict 
)
static
Parameters
conflictstoreconflict store
setglobal SCIP settings
statdynamic SCIP statistics
transprobtransformed problem, or NULL if delete = FALSE
blkmemblock memory
reoptreoptimization data
posposition to remove
deleteconflictshould the conflict be deleted?

Definition at line 287 of file conflictstore.c.

References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, NULL, SCIP_ConflictStore::primalbounds, REALABS, SCIP_CALL, SCIP_OKAY, SCIPconsDelete(), SCIPconsGetAge(), SCIPconsIsDeleted(), SCIPconsRelease(), SCIPsetDebugMsg, SCIPsetInfinity(), and SCIPsetIsInfinity().

Referenced by cleanDeletedConflicts(), conflictstoreCleanUpStorage(), SCIPconflictstoreClean(), and SCIPconflictstoreCleanNewIncumbent().

◆ delPosDualray()

static SCIP_RETCODE delPosDualray ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
BMS_BLKMEM blkmem,
SCIP_REOPT reopt,
int  pos,
SCIP_Bool  deleteconflict 
)
static
Parameters
conflictstoreconflict store
setglobal SCIP settings
statdynamic SCIP statistics
transprobtransformed problem, or NULL if delete = FALSE
blkmemblock memory
reoptreoptimization data
posposition to remove
deleteconflictshould the dual ray be deleted?

Definition at line 343 of file conflictstore.c.

References SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsDelete(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsRelease(), and SCIPsetDebugMsg.

Referenced by SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreClean().

◆ cleanDeletedConflicts()

static SCIP_RETCODE cleanDeletedConflicts ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
SCIP_STAT stat,
BMS_BLKMEM blkmem,
SCIP_REOPT reopt,
int *  ndelconfs 
)
static

removes all deleted conflicts from the storage

Parameters
conflictstoreconflict store
setglobal SCIP settings
statdynamic SCIP statistics
blkmemblock memory
reoptreoptimization data
ndelconfspointer to store the number of deleted conflicts

Definition at line 400 of file conflictstore.c.

References SCIP_ConflictStore::conflicts, delPosConflict(), FALSE, SCIP_ConflictStore::nconflicts, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsIsDeleted(), and SCIPsetDebugMsg.

Referenced by conflictstoreCleanUpStorage().

◆ conflictstoreCleanUpStorage()

static SCIP_RETCODE conflictstoreCleanUpStorage ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
BMS_BLKMEM blkmem,
SCIP_REOPT reopt 
)
static

◆ conflictstoreAddOrigConflict()

static SCIP_RETCODE conflictstoreAddOrigConflict ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
BMS_BLKMEM blkmem,
SCIP_CONS cons 
)
static

adds an original conflict constraint to the store

Note
the constraint will be only transfered to the storage of the transformed problem after calling SCIPconflictstoreTransform()
Parameters
conflictstoreconflict store
setglobal SCIP settings
blkmemblock memory
consconflict constraint

Definition at line 543 of file conflictstore.c.

References BMSallocBlockMemoryArray, BMSreallocBlockMemoryArray, CONFLICTSTORE_MINSIZE, SCIP_ConflictStore::norigconfs, NULL, SCIP_ConflictStore::origconflictsize, SCIP_ConflictStore::origconfs, SCIP_ALLOC, SCIP_OKAY, SCIPconsCapture(), and SCIPsetCalcMemGrowSize().

Referenced by SCIPconflictstoreAddConflict().

◆ SCIPconflictstoreCreate()

SCIP_RETCODE SCIPconflictstoreCreate ( SCIP_CONFLICTSTORE **  conflictstore,
SCIP_SET set 
)

creates conflict store

Parameters
conflictstorepointer to store conflict store
setglobal SCIP settings

Definition at line 574 of file conflictstore.c.

References BMSallocMemory, EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPeventhdlrCreate(), SCIPsetFindEventhdlr(), and SCIPsetIncludeEventhdlr().

Referenced by copyProb(), and SCIPcreateProb().

◆ SCIPconflictstoreFree()

SCIP_RETCODE SCIPconflictstoreFree ( SCIP_CONFLICTSTORE **  conflictstore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_REOPT reopt 
)

frees conflict store

Parameters
conflictstorepointer to store conflict store
blkmemblock memory
setglobal SCIP settings
statdynamic SCIP statistics
reoptreoptimization data

Definition at line 615 of file conflictstore.c.

References BMSfreeBlockMemoryArrayNull, BMSfreeMemoryNull, CONFLICTSTORE_DUALSIZE, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconflictstoreClean().

Referenced by SCIPfreeProb().

◆ SCIPconflictstoreClean()

SCIP_RETCODE SCIPconflictstoreClean ( SCIP_CONFLICTSTORE conflictstore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_REOPT reopt 
)

cleans conflict store

Parameters
conflictstoreconflict store
blkmemblock memory
setglobal SCIP settings
statdynamic SCIP statistics
reoptreoptimization data

Definition at line 639 of file conflictstore.c.

References SCIP_ConflictStore::conflicts, delPosConflict(), delPosDualray(), SCIP_ConflictStore::dualrayconfs, FALSE, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::norigconfs, NULL, SCIP_ConflictStore::origconfs, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPsetDebugMsg.

Referenced by freeReoptSolve(), freeSolve(), freeTransform(), and SCIPconflictstoreFree().

◆ SCIPconflictstoreAddDualraycons()

SCIP_RETCODE SCIPconflictstoreAddDualraycons ( SCIP_CONFLICTSTORE conflictstore,
SCIP_CONS dualraycons,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB transprob,
SCIP_REOPT reopt 
)

adds a constraint to the pool of dual rays

Note
this methods captures the constraint
Parameters
conflictstoreconflict store
dualrayconsconstraint based on a dual ray
blkmemblock memory
setglobal SCIP settings
statdynamic SCIP statistics
transprobtransformed problem
reoptreoptimization data

Definition at line 692 of file conflictstore.c.

References BMSallocBlockMemoryArray, CONFLICTSTORE_DUALSIZE, delPosDualray(), SCIP_ConflictStore::dualrayconfs, SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsGetAge(), SCIPconsGetNVars(), SCIPconsIsDeleted(), SCIPconsMarkConflict(), SCIPsetIsGE(), SCIPsortPtr(), and TRUE.

Referenced by createAndAddDualray().

◆ SCIPconflictstoreAddConflict()

SCIP_RETCODE SCIPconflictstoreAddConflict ( SCIP_CONFLICTSTORE conflictstore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_PROB transprob,
SCIP_REOPT reopt,
SCIP_CONS cons,
SCIP_CONFTYPE  conftype,
SCIP_Bool  cutoffinvolved,
SCIP_Real  primalbound 
)

adds a conflict to the conflict store

Note
this method captures the constraint
Parameters
conflictstoreconflict store
blkmemblock memory
setglobal SCIP settings
statdynamic SCIP statistics
treebranch and bound tree (or NULL for an original constraint)
transprobtransformed problem (or NULL for an original constraint)
reoptreoptimization data
consconstraint representing the conflict
conftypetype of the conflict
cutoffinvolvedis a cutoff bound involved in this conflict
primalboundprimal bound the conflict depend on (or -SCIPinfinity)

Definition at line 773 of file conflictstore.c.

References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::conflictsize, conflictstoreAddOrigConflict(), conflictstoreCleanUpStorage(), conflictstoreEnsureMem(), initConflictstore(), SCIP_ConflictStore::initstoresize, SCIP_ConflictStore::lastnodenum, SCIP_ConflictStore::maxstoresize, SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, SCIP_ConflictStore::nconflictsfound, NULL, SCIP_ConflictStore::primalbounds, REALABS, SCIP_CALL, SCIP_CONFTYPE_BNDEXCEEDING, SCIP_Longint, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPconsCapture(), SCIPconsGetName(), SCIPconsIsOriginal(), SCIPconsMarkConflict(), SCIPnodeGetNumber(), SCIPsetDebugMsg, SCIPsetGetStage(), SCIPsetIsInfinity(), and SCIPtreeGetFocusNode().

Referenced by SCIPaddConflict(), SCIPconflictstoreTransform(), and SCIPcopyConss().

◆ SCIPconflictstoreCleanNewIncumbent()

SCIP_RETCODE SCIPconflictstoreCleanNewIncumbent ( SCIP_CONFLICTSTORE conflictstore,
SCIP_SET set,
SCIP_STAT stat,
BMS_BLKMEM blkmem,
SCIP_PROB transprob,
SCIP_REOPT reopt,
SCIP_Real  cutoffbound 
)

deletes all conflicts depending on a cutoff bound larger than the given bound

Parameters
conflictstoreconflict store
setglobal SCIP settings
statdynamic SCIP statistics
blkmemblock memory
transprobtransformed problem
reoptreoptimization data
cutoffboundcurrent cutoff bound

Definition at line 865 of file conflictstore.c.

References SCIP_ConflictStore::conflicts, delPosConflict(), SCIP_ConflictStore::ncbconflicts, SCIP_ConflictStore::nconflicts, NULL, SCIP_ConflictStore::primalbounds, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPsetDebugMsg, SCIPsetIsGT(), SCIPsetIsPositive(), and TRUE.

Referenced by SCIPclearConflictStore().

◆ SCIPconflictstoreGetMaxPoolSize()

int SCIPconflictstoreGetMaxPoolSize ( SCIP_CONFLICTSTORE conflictstore)

returns the maximal size of the conflict pool

Parameters
conflictstoreconflict store

Definition at line 934 of file conflictstore.c.

References SCIP_ConflictStore::maxstoresize, MIN, NULL, and SCIP_ConflictStore::storesize.

Referenced by printConflictStatistics().

◆ SCIPconflictstoreGetInitPoolSize()

int SCIPconflictstoreGetInitPoolSize ( SCIP_CONFLICTSTORE conflictstore)

returns the initial size of the conflict pool

Parameters
conflictstoreconflict store

Definition at line 944 of file conflictstore.c.

References SCIP_ConflictStore::initstoresize, and NULL.

Referenced by printConflictStatistics().

◆ SCIPconflictstoreGetNConflictsInStore()

int SCIPconflictstoreGetNConflictsInStore ( SCIP_CONFLICTSTORE conflictstore)

returns the number of stored conflicts on the conflict pool

Note
the number of active conflicts can be less
Parameters
conflictstoreconflict store

Definition at line 957 of file conflictstore.c.

References SCIP_ConflictStore::nconflicts, and NULL.

Referenced by SCIPcopyConflicts().

◆ SCIPconflictstoreGetConflicts()

SCIP_RETCODE SCIPconflictstoreGetConflicts ( SCIP_CONFLICTSTORE conflictstore,
SCIP_CONS **  conflicts,
int  conflictsize,
int *  nconflicts 
)

returns all active conflicts stored in the conflict store

Parameters
conflictstoreconflict store
conflictsarray to store conflicts
conflictsizesize of the conflict array
nconflictspointer to store the number of conflicts

Definition at line 967 of file conflictstore.c.

References SCIP_ConflictStore::conflicts, SCIP_ConflictStore::nconflicts, NULL, SCIP_OKAY, SCIPconsIsActive(), and SCIPconsIsDeleted().

Referenced by SCIPcopyConflicts().

◆ SCIPconflictstoreTransform()

SCIP_RETCODE SCIPconflictstoreTransform ( SCIP_CONFLICTSTORE conflictstore,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_PROB transprob,
SCIP_REOPT reopt 
)

transformes all original conflicts into transformed conflicts

Parameters
conflictstoreconflict store
blkmemblock memory
setglobal SCIP settings
statdynamic SCIP statistics
treebranch and bound tree
transprobtransformed problem
reoptreoptimization data

Definition at line 1011 of file conflictstore.c.

References FALSE, SCIP_ConflictStore::norigconfs, NULL, SCIP_ConflictStore::origconfs, SCIP_CALL, SCIP_CONFTYPE_UNKNOWN, SCIP_OKAY, SCIP_STAGE_TRANSFORMING, SCIPconflictstoreAddConflict(), SCIPconsGetTransformed(), SCIPconsIsOriginal(), SCIPconsRelease(), SCIPsetDebugMsg, SCIPsetGetStage(), and SCIPsetInfinity().

Referenced by SCIPprobTransform().

◆ SCIPconflictstoreGetAvgNnzDualray()

SCIP_Real SCIPconflictstoreGetAvgNnzDualray ( SCIP_CONFLICTSTORE conflictstore)

returns the average number of non-zeros over all stored dual ray constraints

Parameters
conflictstoreconflict store

Definition at line 1062 of file conflictstore.c.

References SCIP_ConflictStore::ndualrayconfs, SCIP_ConflictStore::nnzdualrays, NULL, and SCIP_Real.

Referenced by createAndAddDualray().

◆ SCIPconflictstoreGetNDualrays()

int SCIPconflictstoreGetNDualrays ( SCIP_CONFLICTSTORE conflictstore)

returns the number of all stored dual ray constraints

Parameters
conflictstoreconflict store

Definition at line 1075 of file conflictstore.c.

References SCIP_ConflictStore::ndualrayconfs, and NULL.

Referenced by createAndAddDualray().