Detailed Description

methods for debugging

Author: Tobias Achterberg

Definition in file debug.h.

#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_retcode.h"
#include "scip/type_lp.h"
#include "scip/type_prob.h"
#include "scip/type_tree.h"
#include "scip/type_misc.h"

Go to the source code of this file.

Macros
#define	SCIPdebugSolDataCreate(debugsoldata) SCIP_OKAY

#define	SCIPdebugFreeSol(set) SCIP_OKAY

#define	SCIPdebugReset(set) SCIP_OKAY

#define	SCIPdebugFreeDebugData(set) SCIP_OKAY

#define	SCIPdebugCheckConss(scip, conss, nconss) SCIP_OKAY

#define	SCIPdebugCheckRow(set, row) SCIP_OKAY

#define	SCIPdebugCheckLbGlobal(scip, var, lb) SCIP_OKAY

#define	SCIPdebugCheckUbGlobal(scip, var, ub) SCIP_OKAY

#define	SCIPdebugCheckInference(blkmem, set, node, var, newbound, boundtype) SCIP_OKAY

#define	SCIPdebugRemoveNode(blkmem, set, node) SCIP_OKAY

#define	SCIPdebugCheckVbound(set, var, vbtype, vbvar, vbcoef, vbconstant) SCIP_OKAY

#define	SCIPdebugCheckImplic(set, var, varfixing, implvar, impltype, implbound) SCIP_OKAY

#define	SCIPdebugCheckClique(set, vars, values, nvars) SCIP_OKAY

#define	SCIPdebugCheckConflict(blkmem, set, node, bdchginfos, relaxedbds, nliterals) SCIP_OKAY

#define	SCIPdebugCheckConflictFrontier(blkmem, set, node, bdchginfo, bdchginfos, relaxedbds, nliterals, bdchgqueue, forcedbdchgqueue) SCIP_OKAY

#define	SCIPdebugIncludeProp(scip) SCIP_OKAY

#define	SCIPdebugAddSolVal(scip, var, val) SCIP_OKAY

#define	SCIPdebugGetSolVal(scip, var, val) SCIP_OKAY

#define	SCIPdebugSolIsValidInSubtree(scip, isvalidinsubtree) SCIP_OKAY

#define	SCIPdebugSolEnable(scip)

#define	SCIPdebugSolDisable(scip)

#define	SCIPdebugSolIsEnabled(scip) FALSE

#define	SCIPdebugCheckBInvRow(scip, r, coef) SCIP_OKAY

Typedefs
typedef struct SCIP_DebugSolData	SCIP_DEBUGSOLDATA

Macro Definition Documentation

◆ SCIPdebugSolDataCreate

#define SCIPdebugSolDataCreate ( debugsoldata ) SCIP_OKAY

Definition at line 248 of file debug.h.

Referenced by SCIPsetCopyPlugins().

◆ SCIPdebugFreeSol

#define SCIPdebugFreeSol ( set ) SCIP_OKAY

Definition at line 249 of file debug.h.

Referenced by freeTransform().

◆ SCIPdebugReset

#define SCIPdebugReset ( set ) SCIP_OKAY

Definition at line 250 of file debug.h.

Referenced by freeReoptSolve(), and freeSolve().

◆ SCIPdebugFreeDebugData

#define SCIPdebugFreeDebugData ( set ) SCIP_OKAY

Definition at line 251 of file debug.h.

Referenced by SCIPsetFree().

◆ SCIPdebugCheckConss

#define SCIPdebugCheckConss	(	scip,
		conss,
		nconss
	)	SCIP_OKAY

Definition at line 252 of file debug.h.

◆ SCIPdebugCheckRow

#define SCIPdebugCheckRow	(	set,
		row
	)	SCIP_OKAY

Definition at line 253 of file debug.h.

Referenced by SCIPsepastoreAddCut().

◆ SCIPdebugCheckLbGlobal

#define SCIPdebugCheckLbGlobal	(	scip,
		var,
		lb
	)	SCIP_OKAY

Definition at line 254 of file debug.h.

Referenced by getGenVBoundsBound(), treeAddPendingBdchg(), and varProcessChgLbGlobal().

◆ SCIPdebugCheckUbGlobal

#define SCIPdebugCheckUbGlobal	(	scip,
		var,
		ub
	)	SCIP_OKAY

Definition at line 255 of file debug.h.

Referenced by getGenVBoundsBound(), treeAddPendingBdchg(), and varProcessChgUbGlobal().

◆ SCIPdebugCheckInference

#define SCIPdebugCheckInference	(	blkmem,
		set,
		node,
		var,
		newbound,
		boundtype
	)	SCIP_OKAY

Definition at line 256 of file debug.h.

Referenced by SCIPnodeAddBoundinfer().

◆ SCIPdebugRemoveNode

#define SCIPdebugRemoveNode	(	blkmem,
		set,
		node
	)	SCIP_OKAY

Definition at line 257 of file debug.h.

Referenced by SCIPnodeFree(), and solveNode().

◆ SCIPdebugCheckVbound

#define SCIPdebugCheckVbound	(	set,
		var,
		vbtype,
		vbvar,
		vbcoef,
		vbconstant
	)	SCIP_OKAY

Definition at line 258 of file debug.h.

Referenced by varAddVbound().

◆ SCIPdebugCheckImplic

#define SCIPdebugCheckImplic	(	set,
		var,
		varfixing,
		implvar,
		impltype,
		implbound
	)	SCIP_OKAY

Definition at line 259 of file debug.h.

Referenced by varAddImplic().

◆ SCIPdebugCheckClique

#define SCIPdebugCheckClique	(	set,
		vars,
		values,
		nvars
	)	SCIP_OKAY

Definition at line 260 of file debug.h.

Referenced by SCIPcliquetableAdd().

◆ SCIPdebugCheckConflict

#define SCIPdebugCheckConflict	(	blkmem,
		set,
		node,
		bdchginfos,
		relaxedbds,
		nliterals
	)	SCIP_OKAY

Definition at line 261 of file debug.h.

Referenced by conflictAddConflictCons(), and conflictAddConflictset().

◆ SCIPdebugCheckConflictFrontier

#define SCIPdebugCheckConflictFrontier	(	blkmem,
		set,
		node,
		bdchginfo,
		bdchginfos,
		relaxedbds,
		nliterals,
		bdchgqueue,
		forcedbdchgqueue
	)	SCIP_OKAY

Definition at line 262 of file debug.h.

Referenced by conflictAnalyze(), and conflictCreateReconvergenceConss().

◆ SCIPdebugIncludeProp

#define SCIPdebugIncludeProp ( scip ) SCIP_OKAY

Definition at line 263 of file debug.h.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPdebugAddSolVal

#define SCIPdebugAddSolVal	(	scip,
		var,
		val
	)	SCIP_OKAY

Definition at line 264 of file debug.h.

Referenced by componentSetupWorkingSol(), createAndAddAndCons(), createRelaxation(), presolveFindDuplicates(), presolveTryAddAND(), presolveTryAddLinearReform(), reformMonomial(), reformNode2Var(), reformulate(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), and setObjective().

◆ SCIPdebugGetSolVal

#define SCIPdebugGetSolVal	(	scip,
		var,
		val
	)	SCIP_OKAY

Definition at line 265 of file debug.h.

Referenced by componentSetupWorkingSol(), createAndAddAndCons(), createRelaxation(), getGenVBoundsBound(), presolveFindDuplicates(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), reformulate(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), and setObjective().

◆ SCIPdebugSolIsValidInSubtree

#define SCIPdebugSolIsValidInSubtree	(	scip,
		isvalidinsubtree
	)	SCIP_OKAY

Definition at line 266 of file debug.h.

Referenced by componentSetupWorkingSol(), and createSubscip().

◆ SCIPdebugSolEnable

#define SCIPdebugSolEnable ( scip )

Definition at line 267 of file debug.h.

Referenced by componentSetupWorkingSol(), SCIP_DECL_CONSPRESOL(), and SCIPenableDebugSol().

◆ SCIPdebugSolDisable

#define SCIPdebugSolDisable ( scip )

Definition at line 268 of file debug.h.

Referenced by SCIPdisableDebugSol().

◆ SCIPdebugSolIsEnabled

#define SCIPdebugSolIsEnabled ( scip ) FALSE

Definition at line 269 of file debug.h.

◆ SCIPdebugCheckBInvRow

#define SCIPdebugCheckBInvRow	(	scip,
		r,
		coef
	)	SCIP_OKAY

Definition at line 289 of file debug.h.

Referenced by SCIPdummyDebugMethodForSun(), and SCIPgetLPBInvRow().

Typedef Documentation

◆ SCIP_DEBUGSOLDATA

typedef struct SCIP_DebugSolData SCIP_DEBUGSOLDATA

uncomment this define to activate debugging on given solution uncomment this define to activate debugging the LP interface solution data for debugging purposes

Definition at line 47 of file debug.h.

SCIP