Detailed Description

methods for debugging

Author: Tobias Achterberg

Definition in file debug.h.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"

Macros
#define	SCIPdebugSolDataCreate(debugsoldata) SCIP_OKAY

#define	SCIPdebugFreeSol(set) SCIP_OKAY

#define	SCIPdebugReset(set) SCIP_OKAY

#define	SCIPdebugFreeDebugData(set) SCIP_OKAY

#define	SCIPdebugFree(set) SCIP_OKAY

#define	SCIPdebugCheckActiveConss(scip, conss, nconss) 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	SCIPdebugCheckGlobalLowerbound(blkmem, set) SCIP_OKAY

#define	SCIPdebugCheckLocalLowerbound(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	SCIPdebugCheckAggregation(set, var, aggrvars, scalars, constant, naggrvars) 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	SCIPwithDebugSol(void) FALSE

#define	SCIPdebugCheckBInvRow(scip, r, coef) SCIP_OKAY

#define	SCIPcheckStage(scip, method, init, problem, transforming, transformed, initpresolve, presolving, exitpresolve, presolved, initsolve, solving, solved, exitsolve, freetrans, freescip) SCIP_OKAY

Typedefs
typedef struct SCIP_DebugSolData	SCIP_DEBUGSOLDATA

Macro Definition Documentation

◆ SCIPdebugSolDataCreate

#define SCIPdebugSolDataCreate ( debugsoldata ) SCIP_OKAY

Definition at line 290 of file debug.h.

◆ SCIPdebugFreeSol

#define SCIPdebugFreeSol ( set ) SCIP_OKAY

Definition at line 291 of file debug.h.

◆ SCIPdebugReset

#define SCIPdebugReset ( set ) SCIP_OKAY

Definition at line 292 of file debug.h.

◆ SCIPdebugFreeDebugData

#define SCIPdebugFreeDebugData ( set ) SCIP_OKAY

Definition at line 293 of file debug.h.

◆ SCIPdebugFree

#define SCIPdebugFree ( set ) SCIP_OKAY

Definition at line 294 of file debug.h.

◆ SCIPdebugCheckActiveConss

#define SCIPdebugCheckActiveConss	(	scip,
		conss,
		nconss
	)	SCIP_OKAY

Definition at line 295 of file debug.h.

◆ SCIPdebugCheckConss

#define SCIPdebugCheckConss	(	scip,
		conss,
		nconss
	)	SCIP_OKAY

Definition at line 296 of file debug.h.

◆ SCIPdebugCheckRow

#define SCIPdebugCheckRow	(	set,
		row
	)	SCIP_OKAY

Definition at line 297 of file debug.h.

◆ SCIPdebugCheckLbGlobal

#define SCIPdebugCheckLbGlobal	(	scip,
		var,
		lb
	)	SCIP_OKAY

Definition at line 298 of file debug.h.

◆ SCIPdebugCheckUbGlobal

#define SCIPdebugCheckUbGlobal	(	scip,
		var,
		ub
	)	SCIP_OKAY

Definition at line 299 of file debug.h.

◆ SCIPdebugCheckInference

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

Definition at line 300 of file debug.h.

◆ SCIPdebugRemoveNode

#define SCIPdebugRemoveNode	(	blkmem,
		set,
		node
	)	SCIP_OKAY

Definition at line 301 of file debug.h.

◆ SCIPdebugCheckGlobalLowerbound

#define SCIPdebugCheckGlobalLowerbound	(	blkmem,
		set
	)	SCIP_OKAY

Definition at line 302 of file debug.h.

◆ SCIPdebugCheckLocalLowerbound

#define SCIPdebugCheckLocalLowerbound	(	blkmem,
		set,
		node
	)	SCIP_OKAY

Definition at line 303 of file debug.h.

◆ SCIPdebugCheckVbound

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

Definition at line 304 of file debug.h.

◆ SCIPdebugCheckImplic

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

Definition at line 305 of file debug.h.

◆ SCIPdebugCheckAggregation

#define SCIPdebugCheckAggregation	(	set,
		var,
		aggrvars,
		scalars,
		constant,
		naggrvars
	)	SCIP_OKAY

Definition at line 306 of file debug.h.

◆ SCIPdebugCheckClique

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

Definition at line 307 of file debug.h.

◆ SCIPdebugCheckConflict

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

Definition at line 308 of file debug.h.

◆ SCIPdebugCheckConflictFrontier

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

Definition at line 309 of file debug.h.

◆ SCIPdebugIncludeProp

#define SCIPdebugIncludeProp ( scip ) SCIP_OKAY

Definition at line 310 of file debug.h.

◆ SCIPdebugAddSolVal

#define SCIPdebugAddSolVal	(	scip,
		var,
		val
	)	SCIP_OKAY

Definition at line 311 of file debug.h.

◆ SCIPdebugGetSolVal

#define SCIPdebugGetSolVal	(	scip,
		var,
		val
	)	SCIP_OKAY

Definition at line 312 of file debug.h.

◆ SCIPdebugSolIsValidInSubtree

#define SCIPdebugSolIsValidInSubtree	(	scip,
		isvalidinsubtree
	)	SCIP_OKAY

Definition at line 313 of file debug.h.

◆ SCIPdebugSolEnable

#define SCIPdebugSolEnable ( scip )

Definition at line 314 of file debug.h.

◆ SCIPdebugSolDisable

#define SCIPdebugSolDisable ( scip )

Definition at line 315 of file debug.h.

◆ SCIPdebugSolIsEnabled

#define SCIPdebugSolIsEnabled ( scip ) FALSE

Definition at line 316 of file debug.h.

◆ SCIPwithDebugSol

#define SCIPwithDebugSol ( void ) FALSE

Definition at line 317 of file debug.h.

◆ SCIPdebugCheckBInvRow

#define SCIPdebugCheckBInvRow	(	scip,
		r,
		coef
	)	SCIP_OKAY

Definition at line 337 of file debug.h.

◆ SCIPcheckStage

#define SCIPcheckStage	(	scip,
		method,
		init,
		problem,
		transforming,
		transformed,
		initpresolve,
		presolving,
		exitpresolve,
		presolved,
		initsolve,
		solving,
		solved,
		exitsolve,
		freetrans,
		freescip
	)	SCIP_OKAY

checks if SCIP is in one of the feasible stages

Definition at line 364 of file debug.h.

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

SCIP