Scippy

SCIP

Solving Constraint Integer Programs

scip_debug.h
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of the program and library */
4 /* SCIP --- Solving Constraint Integer Programs */
5 /* */
6 /* Copyright (C) 2002-2018 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not visit scip.zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file scip_debug.h
17  * @ingroup PUBLICCOREAPI
18  * @brief public methods for debugging
19  * @author Tobias Achterberg
20  * @author Timo Berthold
21  * @author Thorsten Koch
22  * @author Alexander Martin
23  * @author Marc Pfetsch
24  * @author Kati Wolter
25  * @author Gregor Hendel
26  * @author Robert Lion Gottwald
27  */
28 
29 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
30 
31 #ifndef __SCIP_SCIP_DEBUG_H__
32 #define __SCIP_SCIP_DEBUG_H__
33 
34 
35 #include "scip/def.h"
36 #include "scip/type_scip.h"
37 
38 /* In debug mode, we include the SCIP's structure in scip.c, such that no one can access
39  * this structure except the interface methods in scip.c.
40  * In optimized mode, the structure is included in scip.h, because some of the methods
41  * are implemented as defines for performance reasons (e.g. the numerical comparisons).
42  * Additionally, the internal "set.h" is included, such that the defines in set.h are
43  * available in optimized mode.
44  */
45 #ifdef NDEBUG
46 #include "scip/struct_scip.h"
47 #include "scip/struct_stat.h"
48 #include "scip/set.h"
49 #include "scip/tree.h"
50 #include "scip/misc.h"
51 #include "scip/var.h"
52 #include "scip/cons.h"
53 #include "scip/solve.h"
54 #include "scip/debug.h"
55 #endif
56 
57 #ifdef __cplusplus
58 extern "C" {
59 #endif
60 
61 /**@addtogroup DebugSolutionMethods
62  *
63  * @{
64  */
65 
66 /** enable debug solution mechanism
67  *
68  * the debug solution mechanism allows to trace back the invalidation of
69  * a debug solution during the solution process of SCIP. It must be explicitly
70  * enabled for the SCIP data structure.
71  *
72  * @see debug.h for more information on debug solution mechanism
73  */
74 extern
76  SCIP* scip /**< SCIP data structure */
77  );
78 
79 /** disable solution debugging mechanism
80  *
81  * @see debug.h for more information on debug solution mechanism
82  */
83 extern
85  SCIP* scip /**< SCIP data structure */
86  );
87 
88 /**@} */
89 
90 #ifdef __cplusplus
91 }
92 #endif
93 
94 #endif
internal methods for branch and bound tree
type definitions for SCIP&#39;s main datastructure
internal miscellaneous methods
internal methods for global SCIP settings
SCIP main data structure.
internal methods for problem variables
methods for debugging
datastructures for problem statistics
internal methods for main solving loop and node processing
internal methods for constraints and constraint handlers
common defines and data types used in all packages of SCIP
void SCIPdisableDebugSol(SCIP *scip)
Definition: scip_debug.c:145
void SCIPenableDebugSol(SCIP *scip)
Definition: scip_debug.c:132