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 245 of file debug.h.

◆ SCIPdebugFreeSol

#define SCIPdebugFreeSol ( set ) SCIP_OKAY

Definition at line 246 of file debug.h.

Referenced by freeTransform().

◆ SCIPdebugReset

#define SCIPdebugReset ( set ) SCIP_OKAY

Definition at line 247 of file debug.h.

Referenced by freeReoptSolve(), and freeSolve().

◆ SCIPdebugFreeDebugData

#define SCIPdebugFreeDebugData ( set ) SCIP_OKAY

Definition at line 248 of file debug.h.

Referenced by SCIPfreeProb().

◆ SCIPdebugCheckConss

#define SCIPdebugCheckConss	(	scip,
		conss,
		nconss
	)	SCIP_OKAY

Definition at line 249 of file debug.h.

◆ SCIPdebugCheckRow

#define SCIPdebugCheckRow	(	set,
		row
	)	SCIP_OKAY

Definition at line 250 of file debug.h.

Referenced by SCIPsepastoreAddCut().

◆ SCIPdebugCheckLbGlobal

#define SCIPdebugCheckLbGlobal	(	scip,
		var,
		lb
	)	SCIP_OKAY

Definition at line 251 of file debug.h.

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

◆ SCIPdebugCheckUbGlobal

#define SCIPdebugCheckUbGlobal	(	scip,
		var,
		ub
	)	SCIP_OKAY

Definition at line 252 of file debug.h.

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

◆ SCIPdebugCheckInference

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

Definition at line 253 of file debug.h.

Referenced by SCIPnodeAddBoundinfer().

◆ SCIPdebugRemoveNode

#define SCIPdebugRemoveNode	(	blkmem,
		set,
		node
	)	SCIP_OKAY

Definition at line 254 of file debug.h.

Referenced by SCIPnodeFree(), and solveNode().

◆ SCIPdebugCheckVbound

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

Definition at line 255 of file debug.h.

Referenced by varAddVbound().

◆ SCIPdebugCheckImplic

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

Definition at line 256 of file debug.h.

Referenced by varAddImplic().

◆ SCIPdebugCheckClique

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

Definition at line 257 of file debug.h.

Referenced by SCIPcliquetableAdd().

◆ SCIPdebugCheckConflict

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

Definition at line 258 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 259 of file debug.h.

Referenced by conflictAnalyze(), and conflictCreateReconvergenceConss().

◆ SCIPdebugIncludeProp

#define SCIPdebugIncludeProp ( scip ) SCIP_OKAY

Definition at line 260 of file debug.h.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPdebugAddSolVal

#define SCIPdebugAddSolVal	(	scip,
		var,
		val
	)	SCIP_OKAY

Definition at line 261 of file debug.h.

Referenced by componentSetupWorkingSol(), createAndAddAndCons(), createRelaxation(), presolveDisaggregate(), 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 262 of file debug.h.

Referenced by componentSetupWorkingSol(), createAndAddAndCons(), createRelaxation(), getGenVBoundsBound(), presolveDisaggregate(), 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 263 of file debug.h.

Referenced by componentSetupWorkingSol(), and createSubscip().

◆ SCIPdebugSolEnable

#define SCIPdebugSolEnable ( scip )

Definition at line 264 of file debug.h.

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

◆ SCIPdebugSolDisable

#define SCIPdebugSolDisable ( scip )

Definition at line 265 of file debug.h.

Referenced by SCIPdisableDebugSol().

◆ SCIPdebugSolIsEnabled

#define SCIPdebugSolIsEnabled ( scip ) FALSE

Definition at line 266 of file debug.h.

◆ SCIPdebugCheckBInvRow

#define SCIPdebugCheckBInvRow	(	scip,
		r,
		coef
	)	SCIP_OKAY

Definition at line 286 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 the LP interface solution data for debugging purposes

Definition at line 44 of file debug.h.

SCIP