Scippy

SCIP

Solving Constraint Integer Programs

debug.h File Reference

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

◆ SCIPdebugGetSolVal

◆ 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.