Detailed Description

internal methods for conflict analysis

Author: Tobias Achterberg

Definition in file conflict.h.

#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_retcode.h"
#include "scip/type_set.h"
#include "scip/type_stat.h"
#include "scip/type_lp.h"
#include "scip/type_var.h"
#include "scip/type_prob.h"
#include "scip/type_tree.h"
#include "scip/type_conflict.h"
#include "scip/pub_conflict.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPconflicthdlrCopyInclude (SCIP_CONFLICTHDLR conflicthdlr, SCIP_SET set)

SCIP_RETCODE	SCIPconflicthdlrCreate (SCIP_CONFLICTHDLR *conflicthdlr, SCIP_SET set, SCIP_MESSAGEHDLR messagehdlr, BMS_BLKMEM blkmem, const char name, const char desc, int priority, SCIP_DECL_CONFLICTCOPY((conflictcopy)), SCIP_DECL_CONFLICTFREE((conflictfree)), SCIP_DECL_CONFLICTINIT((conflictinit)), SCIP_DECL_CONFLICTEXIT((conflictexit)), SCIP_DECL_CONFLICTINITSOL((conflictinitsol)), SCIP_DECL_CONFLICTEXITSOL((conflictexitsol)), SCIP_DECL_CONFLICTEXEC((conflictexec)), SCIP_CONFLICTHDLRDATA conflicthdlrdata)

SCIP_RETCODE	SCIPconflicthdlrFree (SCIP_CONFLICTHDLR *conflicthdlr, SCIP_SET set)

SCIP_RETCODE	SCIPconflicthdlrInit (SCIP_CONFLICTHDLR conflicthdlr, SCIP_SET set)

SCIP_RETCODE	SCIPconflicthdlrExit (SCIP_CONFLICTHDLR conflicthdlr, SCIP_SET set)

SCIP_RETCODE	SCIPconflicthdlrInitsol (SCIP_CONFLICTHDLR conflicthdlr, SCIP_SET set)

SCIP_RETCODE	SCIPconflicthdlrExitsol (SCIP_CONFLICTHDLR conflicthdlr, SCIP_SET set)

SCIP_RETCODE	SCIPconflicthdlrExec (SCIP_CONFLICTHDLR conflicthdlr, SCIP_SET set, SCIP_NODE node, SCIP_NODE validnode, SCIP_BDCHGINFO *bdchginfos, SCIP_Real relaxedbds, int nbdchginfos, SCIP_Bool resolved, SCIP_RESULT *result)

void	SCIPconflicthdlrSetPriority (SCIP_CONFLICTHDLR conflicthdlr, SCIP_SET set, int priority)

void	SCIPconflicthdlrSetCopy (SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTCOPY((conflictcopy)))

void	SCIPconflicthdlrSetFree (SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTFREE((conflictfree)))

void	SCIPconflicthdlrSetInit (SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTINIT((conflictinit)))

void	SCIPconflicthdlrSetExit (SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTEXIT((conflictexit)))

void	SCIPconflicthdlrSetInitsol (SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTINITSOL((conflictinitsol)))

void	SCIPconflicthdlrSetExitsol (SCIP_CONFLICTHDLR conflicthdlr, SCIP_DECL_CONFLICTEXITSOL((conflictexitsol)))

void	SCIPconflicthdlrEnableOrDisableClocks (SCIP_CONFLICTHDLR *conflicthdlr, SCIP_Bool enable)

SCIP_Bool	SCIPconflictApplicable (SCIP_SET *set)

SCIP_RETCODE	SCIPconflictCreate (SCIP_CONFLICT *conflict, BMS_BLKMEM blkmem, SCIP_SET *set)

SCIP_RETCODE	SCIPconflictFree (SCIP_CONFLICT *conflict, BMS_BLKMEM blkmem)

SCIP_RETCODE	SCIPconflictInit (SCIP_CONFLICT conflict, SCIP_SET set, SCIP_STAT stat, SCIP_PROB prob)

SCIP_RETCODE	SCIPconflictAddBound (SCIP_CONFLICT conflict, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_VAR var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX bdchgidx)

SCIP_RETCODE	SCIPconflictAddRelaxedBound (SCIP_CONFLICT conflict, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_VAR var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX bdchgidx, SCIP_Real relaxedbd)

SCIP_RETCODE	SCIPconflictIsVarUsed (SCIP_CONFLICT conflict, SCIP_VAR var, SCIP_SET set, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX bdchgidx, SCIP_Bool *used)

SCIP_Real	SCIPconflictGetVarLb (SCIP_CONFLICT conflict, SCIP_VAR var)

SCIP_Real	SCIPconflictGetVarUb (SCIP_CONFLICT conflict, SCIP_VAR var)

SCIP_RETCODE	SCIPconflictAnalyze (SCIP_CONFLICT conflict, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PROB prob, SCIP_TREE tree, int validdepth, SCIP_Bool *success)

SCIP_RETCODE	SCIPconflictFlushConss (SCIP_CONFLICT conflict, 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_CLIQUETABLE cliquetable)

int	SCIPconflictGetNConflicts (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNAppliedConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNAppliedLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNGlobalChgBds (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNAppliedGlobalConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNAppliedGlobalLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNLocalChgBds (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNAppliedLocalConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNAppliedLocalLiterals (SCIP_CONFLICT *conflict)

SCIP_Real	SCIPconflictGetGlobalApplTime (SCIP_CONFLICT *conflict)

SCIP_Real	SCIPconflictGetPropTime (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPropCalls (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPropSuccess (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPropConflictConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPropConflictLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPropReconvergenceConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPropReconvergenceLiterals (SCIP_CONFLICT *conflict)

SCIP_RETCODE	SCIPconflictAnalyzeLP (SCIP_CONFLICT conflict, 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_CLIQUETABLE cliquetable, SCIP_Bool *success)

SCIP_Real	SCIPconflictGetInfeasibleLPTime (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNInfeasibleLPCalls (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNInfeasibleLPSuccess (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNInfeasibleLPConflictConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNInfeasibleLPConflictLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNInfeasibleLPReconvergenceConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNInfeasibleLPReconvergenceLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNInfeasibleLPIterations (SCIP_CONFLICT *conflict)

SCIP_Real	SCIPconflictGetBoundexceedingLPTime (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNBoundexceedingLPCalls (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNBoundexceedingLPSuccess (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNBoundexceedingLPConflictConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNBoundexceedingLPConflictLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNBoundexceedingLPReconvergenceConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNBoundexceedingLPReconvergenceLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNBoundexceedingLPIterations (SCIP_CONFLICT *conflict)

SCIP_RETCODE	SCIPconflictAnalyzeStrongbranch (SCIP_CONFLICT conflict, 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_CLIQUETABLE cliquetable, SCIP_COL col, SCIP_Bool downconflict, SCIP_Bool *upconflict)

SCIP_Real	SCIPconflictGetStrongbranchTime (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNStrongbranchCalls (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNStrongbranchSuccess (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNStrongbranchConflictConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNStrongbranchConflictLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNStrongbranchReconvergenceConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNStrongbranchReconvergenceLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNStrongbranchIterations (SCIP_CONFLICT *conflict)

SCIP_RETCODE	SCIPconflictAnalyzePseudo (SCIP_CONFLICT conflict, 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_CLIQUETABLE cliquetable, SCIP_Bool *success)

SCIP_Real	SCIPconflictGetPseudoTime (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPseudoCalls (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPseudoSuccess (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPseudoConflictConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPseudoConflictLiterals (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPseudoReconvergenceConss (SCIP_CONFLICT *conflict)

SCIP_Longint	SCIPconflictGetNPseudoReconvergenceLiterals (SCIP_CONFLICT *conflict)

void	SCIPconflictEnableOrDisableClocks (SCIP_CONFLICT *conflict, SCIP_Bool enable)

Function Documentation

SCIP_RETCODE SCIPconflicthdlrCopyInclude	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_SET *	set
	)

copies the given conflict handler to a new scip

Parameters

conflicthdlr	conflict handler
set	SCIP_SET of SCIP to copy to

Definition at line 360 of file conflict.c.

References NULL, SCIP_Set::scip, SCIP_CALL, SCIP_OKAY, SCIPconflicthdlrGetName(), and SCIPdebugMessage.

SCIP_RETCODE SCIPconflicthdlrCreate	(	SCIP_CONFLICTHDLR **	conflicthdlr,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		BMS_BLKMEM *	blkmem,
		const char *	name,
		const char *	desc,
		int	priority,
		SCIP_DECL_CONFLICTCOPY((*conflictcopy))	,
		SCIP_DECL_CONFLICTFREE((*conflictfree))	,
		SCIP_DECL_CONFLICTINIT((*conflictinit))	,
		SCIP_DECL_CONFLICTEXIT((*conflictexit))	,
		SCIP_DECL_CONFLICTINITSOL((*conflictinitsol))	,
		SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol))	,
		SCIP_DECL_CONFLICTEXEC((*conflictexec))	,
		SCIP_CONFLICTHDLRDATA *	conflicthdlrdata
	)

creates a conflict handler

Parameters

conflicthdlr	pointer to conflict handler data structure
set	global SCIP settings
messagehdlr	message handler
blkmem	block memory for parameter settings
name	name of conflict handler
desc	description of conflict handler
priority	priority of the conflict handler
conflicthdlrdata	conflict handler data

Definition at line 379 of file conflict.c.

References BMSallocMemory, BMSduplicateMemoryArray, FALSE, NULL, paramname, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPclockCreate(), SCIPsetAddIntParam(), SCIPsnprintf(), and TRUE.

Referenced by SCIPincludeConflicthdlr(), and SCIPincludeConflicthdlrBasic().

SCIP_RETCODE SCIPconflicthdlrFree	(	SCIP_CONFLICTHDLR **	conflicthdlr,
		SCIP_SET *	set
	)

calls destructor and frees memory of conflict handler

Parameters

conflicthdlr	pointer to conflict handler data structure
set	global SCIP settings

Definition at line 432 of file conflict.c.

References BMSfreeMemory, BMSfreeMemoryArray, NULL, SCIP_Set::scip, SCIP_CALL, SCIP_OKAY, and SCIPclockFree().

SCIP_RETCODE SCIPconflicthdlrInit	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_SET *	set
	)

calls init method of conflict handler

calls initialization method of conflict handler

Parameters

conflicthdlr	conflict handler
set	global SCIP settings

Definition at line 459 of file conflict.c.

References SCIP_Conflicthdlr::conflicttime, SCIP_Conflicthdlr::initialized, SCIP_Set::misc_resetstat, SCIP_Conflicthdlr::name, NULL, SCIP_Set::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockReset(), SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIP_Conflicthdlr::setuptime, and TRUE.

SCIP_RETCODE SCIPconflicthdlrExit	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_SET *	set
	)

calls exit method of conflict handler

Parameters

conflicthdlr	conflict handler
set	global SCIP settings

Definition at line 496 of file conflict.c.

References FALSE, SCIP_Conflicthdlr::initialized, SCIP_Conflicthdlr::name, NULL, SCIP_Set::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIP_Conflicthdlr::setuptime.

SCIP_RETCODE SCIPconflicthdlrInitsol	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_SET *	set
	)

informs conflict handler that the branch and bound process is being started

Parameters

conflicthdlr	conflict handler
set	global SCIP settings

Definition at line 527 of file conflict.c.

References NULL, SCIP_Set::scip, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Conflicthdlr::setuptime.

SCIP_RETCODE SCIPconflicthdlrExitsol	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_SET *	set
	)

informs conflict handler that the branch and bound process data is being freed

Parameters

conflicthdlr	conflict handler
set	global SCIP settings

Definition at line 551 of file conflict.c.

References NULL, SCIP_Set::scip, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Conflicthdlr::setuptime.

SCIP_RETCODE SCIPconflicthdlrExec	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_SET *	set,
		SCIP_NODE *	node,
		SCIP_NODE *	validnode,
		SCIP_BDCHGINFO **	bdchginfos,
		SCIP_Real *	relaxedbds,
		int	nbdchginfos,
		SCIP_Bool	resolved,
		SCIP_RESULT *	result
	)

calls execution method of conflict handler

Parameters

conflicthdlr	conflict handler
set	global SCIP settings
node	node to add conflict constraint to
validnode	node at which the constraint is valid
bdchginfos	bound change resembling the conflict set
relaxedbds	array with relaxed bounds which are efficient to create a valid conflict
nbdchginfos	number of bound changes in the conflict set
resolved	was the conflict set already used to create a constraint?
result	pointer to store the result of the callback method

Definition at line 575 of file conflict.c.

References SCIP_Set::conf_dynamic, SCIP_Set::conf_removable, SCIP_Set::conf_seperate, SCIP_Conflicthdlr::conflicttime, SCIP_Conflicthdlr::name, NULL, SCIP_Set::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIPnodeGetDepth().

Referenced by conflictAddConflictCons().

void SCIPconflicthdlrSetPriority	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_SET *	set,
		int	priority
	)

sets priority of conflict handler

Parameters

conflicthdlr	conflict handler
set	global SCIP settings
priority	new priority of the conflict handler

Definition at line 736 of file conflict.c.

References SCIP_Set::conflicthdlrssorted, FALSE, NULL, and SCIP_Conflicthdlr::priority.

Referenced by SCIPsetConflicthdlrPriority().

void SCIPconflicthdlrSetCopy	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_DECL_CONFLICTCOPY((*conflictcopy))
	)

set copy method of conflict handler

Parameters

conflicthdlr conflict handler

Definition at line 640 of file conflict.c.

References NULL.

Referenced by SCIPsetConflicthdlrCopy().

void SCIPconflicthdlrSetFree	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_DECL_CONFLICTFREE((*conflictfree))
	)

set destructor of conflict handler

Parameters

conflicthdlr conflict handler

Definition at line 651 of file conflict.c.

References NULL.

Referenced by SCIPsetConflicthdlrFree().

void SCIPconflicthdlrSetInit	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_DECL_CONFLICTINIT((*conflictinit))
	)

set initialization method of conflict handler

Parameters

conflicthdlr conflict handler

Definition at line 662 of file conflict.c.

References NULL.

Referenced by SCIPsetConflicthdlrInit().

void SCIPconflicthdlrSetExit	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_DECL_CONFLICTEXIT((*conflictexit))
	)

set deinitialization method of conflict handler

Parameters

conflicthdlr conflict handler

Definition at line 673 of file conflict.c.

References NULL.

Referenced by SCIPsetConflicthdlrExit().

void SCIPconflicthdlrSetInitsol	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_DECL_CONFLICTINITSOL((*conflictinitsol))
	)

set solving process initialization method of conflict handler

Parameters

conflicthdlr conflict handler

Definition at line 684 of file conflict.c.

References NULL.

Referenced by SCIPsetConflicthdlrInitsol().

void SCIPconflicthdlrSetExitsol	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol))
	)

set solving process deinitialization method of conflict handler

Parameters

conflicthdlr conflict handler

Definition at line 695 of file conflict.c.

References NULL.

Referenced by SCIPsetConflicthdlrExitsol().

void SCIPconflicthdlrEnableOrDisableClocks	(	SCIP_CONFLICTHDLR *	conflicthdlr,
		SCIP_Bool	enable
	)

enables or disables all clocks of conflicthdlr, depending on the value of the flag

Parameters

conflicthdlr	the conflict handler for which all clocks should be enabled or disabled
enable	should the clocks of the conflict handler be enabled?

Definition at line 760 of file conflict.c.

References SCIP_Conflicthdlr::conflicttime, NULL, SCIPclockEnableOrDisable(), and SCIP_Conflicthdlr::setuptime.

SCIP_Bool SCIPconflictApplicable ( SCIP_SET * set )

return TRUE if conflict analysis is applicable; In case the function return FALSE there is no need to initialize the conflict analysis since it will not be applied

Parameters

set	global SCIP settings

Definition at line 2491 of file conflict.c.

References SCIP_Set::conf_enable, SCIP_Set::conf_useprop, FALSE, SCIP_Set::nconflicthdlrs, and TRUE.

Referenced by SCIPconflictAnalyze(), and SCIPisConflictAnalysisApplicable().

SCIP_RETCODE SCIPconflictCreate	(	SCIP_CONFLICT **	conflict,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set
	)

creates conflict analysis data for propagation conflicts

Parameters

conflict	pointer to conflict analysis data
blkmem	block memory of transformed problem
set	global SCIP settings

Definition at line 2507 of file conflict.c.

References BMSallocMemory, conflictsetCreate(), SCIP_Set::mem_arraygrowfac, SCIP_Set::mem_arraygrowinit, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_OKAY, SCIPclockCreate(), SCIPconflictEnableOrDisableClocks(), SCIPpqueueCreate(), and SCIP_Set::time_statistictiming.

Referenced by SCIPtransformProb().

SCIP_RETCODE SCIPconflictFree	(	SCIP_CONFLICT **	conflict,
		BMS_BLKMEM *	blkmem
	)

frees conflict analysis data for propagation conflicts

Parameters

conflict	pointer to conflict analysis data
blkmem	block memory of transformed problem

Definition at line 2584 of file conflict.c.

References BMSfreeMemory, BMSfreeMemoryArrayNull, conflictsetFree(), NULL, SCIP_OKAY, SCIPclockFree(), and SCIPpqueueFree().

Referenced by freeTransform().

SCIP_RETCODE SCIPconflictInit	(	SCIP_CONFLICT *	conflict,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PROB *	prob
	)

initializes the propagation conflict analysis by clearing the conflict candidate queue

Parameters

conflict	conflict analysis data
set	global SCIP settings
stat	problem statistics
prob	problem data

Definition at line 2629 of file conflict.c.

References SCIP_Set::conf_scorefac, conflictClear(), SCIP_Conflict::count, SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, SCIP_Stat::lastconflictnode, SCIP_Stat::nnodes, NULL, SCIP_Prob::nvars, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPhistoryScaleVSIDS(), SCIPvarScaleVSIDS(), SCIP_Prob::vars, and SCIP_Stat::vsidsweight.

Referenced by conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), and SCIPinitConflictAnalysis().

SCIP_RETCODE SCIPconflictAddBound	(	SCIP_CONFLICT *	conflict,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_VAR *	var,
		SCIP_BOUNDTYPE	boundtype,
		SCIP_BDCHGIDX *	bdchgidx
	)

adds variable's bound to conflict candidate queue

Parameters

conflict	conflict analysis data
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
var	problem variable
boundtype	type of bound that was changed: lower or upper bound
bdchgidx	bound change index (time stamp of bound change), or NULL for current time

Definition at line 2976 of file conflict.c.

References conflictAddBound(), convertToActiveVar(), FALSE, NULL, scalars, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_MULTAGGR, SCIPbdchgidxIsEarlier(), SCIPbdchginfoGetIdx(), SCIPbdchginfoGetNewbound(), SCIPboundtypeOpposite(), SCIPconflictAddBound(), SCIPvarGetBdchgInfo(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrVars(), SCIPvarGetStatus(), and SCIPvarIsActive().

Referenced by SCIPaddConflictBd(), SCIPaddConflictBinvar(), SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPconflictAddBound(), and SCIPconflictAddRelaxedBound().

SCIP_RETCODE SCIPconflictAddRelaxedBound	(	SCIP_CONFLICT *	conflict,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_VAR *	var,
		SCIP_BOUNDTYPE	boundtype,
		SCIP_BDCHGIDX *	bdchgidx,
		SCIP_Real	relaxedbd
	)

adds variable's bound to conflict candidate queue with the additional information of a relaxed bound

adds variable's bound to conflict candidate queue

Parameters

conflict	conflict analysis data
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
var	problem variable
boundtype	type of bound that was changed: lower or upper bound
bdchgidx	bound change index (time stamp of bound change), or NULL for current time
relaxedbd	the relaxed bound

Definition at line 3037 of file conflict.c.

References SCIP_BdChgInfo::bdchgidx, SCIP_Set::conf_ignorerelaxedbd, conflictAddBound(), convertToActiveVar(), FALSE, MAX, MIN, NULL, SCIP_BdChgInfo::pos, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_MULTAGGR, SCIPbdchgidxGetPos(), SCIPbdchgidxIsEarlier(), SCIPbdchginfoGetDepth(), SCIPbdchginfoGetIdx(), SCIPbdchginfoGetNewbound(), SCIPbdchginfoGetOldbound(), SCIPbdchginfoGetPos(), SCIPbdchginfoIsRedundant(), SCIPconflictAddBound(), SCIPdebugMessage, SCIPsetIsGE(), SCIPsetIsGT(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarGetBdchgInfo(), SCIPvarGetBdchgInfoLb(), SCIPvarGetBdchgInfoUb(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), and SCIPvarIsActive().

Referenced by SCIPaddConflictRelaxedBd(), SCIPaddConflictRelaxedLb(), and SCIPaddConflictRelaxedUb().

SCIP_RETCODE SCIPconflictIsVarUsed	(	SCIP_CONFLICT *	conflict,
		SCIP_VAR *	var,
		SCIP_SET *	set,
		SCIP_BOUNDTYPE	boundtype,
		SCIP_BDCHGIDX *	bdchgidx,
		SCIP_Bool *	used
	)

checks if the given variable is already part of the current conflict set or queued for resolving with the same or even stronger bound

Parameters

conflict	conflict analysis data
var	problem variable
set	global SCIP settings
boundtype	type of bound for which the score should be increased
bdchgidx	bound change index (time stamp of bound change), or NULL for current time
used	pointer to store if the variable is already used

Definition at line 3201 of file conflict.c.

References SCIP_Var::conflictlb, SCIP_Var::conflictlbcount, SCIP_Var::conflictub, SCIP_Var::conflictubcount, convertToActiveVar(), SCIP_Conflict::count, FALSE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_MULTAGGR, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetLbAtIndex(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbAtIndex(), SCIPvarIsActive(), and TRUE.

Referenced by SCIPisConflictVarUsed().

SCIP_Real SCIPconflictGetVarLb	(	SCIP_CONFLICT *	conflict,
		SCIP_VAR *	var
	)

returns the conflict lower bound if the variable is present in the current conflict set; otherwise the global lower bound

Parameters

conflict	conflict analysis data
var	problem variable

Definition at line 3261 of file conflict.c.

References SCIP_Var::conflictlb, SCIP_Var::conflictlbcount, SCIP_Var::conflictrelaxedlb, SCIP_Conflict::count, EPSGE, and SCIPvarGetLbGlobal().

Referenced by SCIPgetConflictVarLb().

SCIP_Real SCIPconflictGetVarUb	(	SCIP_CONFLICT *	conflict,
		SCIP_VAR *	var
	)

returns the conflict upper bound if the variable is present in the current conflict set; otherwise the global upper bound

Parameters

conflict	conflict analysis data
var	problem variable

Definition at line 3278 of file conflict.c.

References SCIP_Var::conflictrelaxedub, SCIP_Var::conflictub, SCIP_Var::conflictubcount, SCIP_Conflict::count, EPSLE, and SCIPvarGetUbGlobal().

Referenced by SCIPgetConflictVarUb().

SCIP_RETCODE SCIPconflictAnalyze	(	SCIP_CONFLICT *	conflict,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PROB *	prob,
		SCIP_TREE *	tree,
		int	validdepth,
		SCIP_Bool *	success
	)

analyzes conflicting bound changes that were added with calls to SCIPconflictAddBound() and SCIPconflictAddRelaxedBound(), and on success, calls the conflict handlers to create a conflict constraint out of the resulting conflict set; updates statistics for propagation conflict analysis

analyzes conflicting bound changes that were added with calls to SCIPconflictAddBound(), and on success, calls the conflict handlers to create a conflict constraint out of the resulting conflict set; updates statistics for propagation conflict analysis

Parameters

conflict	conflict analysis data
blkmem	block memory of transformed problem
set	global SCIP settings
stat	problem statistics
prob	problem data
tree	branch and bound tree
validdepth	minimal depth level at which the initial conflict set is valid
success	pointer to store whether a conflict constraint was created, or NULL

Definition at line 4207 of file conflict.c.

References SCIP_Conflict::bdchgqueue, conflictAnalyze(), conflictCalcMaxsize(), SCIP_Conflict::conflictset, FALSE, SCIP_Conflict::forcedbdchgqueue, SCIP_ConflictSet::nbdchginfos, SCIP_Conflict::npropcalls, SCIP_Conflict::npropconfconss, SCIP_Conflict::npropconfliterals, SCIP_Conflict::npropreconvconss, SCIP_Conflict::npropreconvliterals, SCIP_Conflict::npropsuccess, NULL, SCIP_Conflict::propanalyzetime, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconflictApplicable(), SCIPdebugMessage, SCIPpqueueNElems(), SCIPtreeGetCurrentDepth(), and TRUE.

Referenced by SCIPanalyzeConflict(), and SCIPanalyzeConflictCons().

SCIP_RETCODE SCIPconflictFlushConss	(	SCIP_CONFLICT *	conflict,
		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_CLIQUETABLE *	cliquetable
	)

adds the collected conflict constraints to the corresponding nodes; the best set->conf_maxconss conflict constraints are added to the node of their validdepth; additionally (if not yet added, and if repropagation is activated), the conflict constraint that triggers the earliest repropagation is added to the node of its validdepth

Parameters

conflict	conflict analysis data
blkmem	block memory of transformed problem
set	global SCIP settings
stat	dynamic problem statistics
transprob	transformed problem
origprob	original problem
tree	branch and bound tree
reopt	reoptimization data structure
lp	current LP data
branchcand	branching candidate storage
eventqueue	event queue
cliquetable	clique table data structure