struct_conflict.h
Go to the documentation of this file.
31 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
53 SCIP_DECL_CONFLICTCOPY((*conflictcopy)); /**< copy method of conflict handler or NULL if you don't want to copy your plugin into sub-SCIPs */
57 SCIP_DECL_CONFLICTINITSOL((*conflictinitsol));/**< solving process initialization method of conflict handler */
58 SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol));/**< solving process deinitialization method of conflict handler */
61 SCIP_CLOCK* setuptime; /**< time spend for setting up this conflict handler for the next stages */
73 SCIP_Real confrelaxedbd; /**< relaxed bound belonging the the bound change at the conflict depth */
85 unsigned int hasrelaxonlyvar:1; /**< is one of the bound change informations using a relaxation-only variable */
86 SCIP_CONFTYPE conflicttype; /**< conflict type: unknown, infeasible LP, bound exceeding LP, propagation */
116 SCIP_Longint nappliedglbconss; /**< total number of conflict constraints added globally to the problem */
117 SCIP_Longint nappliedglbliterals;/**< total number of literals in globally applied conflict constraints */
119 SCIP_Longint nappliedlocconss; /**< total number of conflict constraints added locally to the problem */
120 SCIP_Longint nappliedlocliterals;/**< total number of literals in locally applied conflict constraints */
123 SCIP_Longint npropconfconss; /**< number of valid conflict constraints detected in propagation conflict analysis */
124 SCIP_Longint npropconfliterals; /**< total number of literals in valid propagation conflict constraints */
125 SCIP_Longint npropreconvconss; /**< number of reconvergence constraints detected in propagation conflict analysis */
126 SCIP_Longint npropreconvliterals;/**< total number of literals in valid propagation reconvergence constraints */
129 SCIP_Longint ninflpconfconss; /**< number of valid conflict constraints detected in infeasible LP conflict
131 SCIP_Longint ninflpconfliterals; /**< total number of literals in valid infeasible LP conflict constraints */
132 SCIP_Longint ninflpreconvconss; /**< number of reconvergence constraints detected in infeasible LP conflict
134 SCIP_Longint ninflpreconvliterals; /**< total number of literals in valid infeasible LP reconvergence
136 SCIP_Longint ninflpiterations; /**< total number of LP iterations used in infeasible LP conflict analysis */
139 SCIP_Longint nboundlpconfconss; /**< number of valid conflict constraints detected in bound exceeding LP
141 SCIP_Longint nboundlpconfliterals; /**< total number of literals in valid bound exceeding LP conflict
143 SCIP_Longint nboundlpreconvconss;/**< number of reconvergence constraints detected in bound exceeding LP
145 SCIP_Longint nboundlpreconvliterals; /**< total number of literals in valid bound exceeding LP reconvergence
147 SCIP_Longint nboundlpiterations; /**< total number of LP iterations used in bound exceeding LP conflict
151 SCIP_Longint nsbconfconss; /**< number of conflict constraints detected in strong branching conflict analysis */
152 SCIP_Longint nsbconfliterals; /**< total number of literals in valid strong branching conflict constraints */
153 SCIP_Longint nsbreconvconss; /**< number of reconvergence constraints detected in strong branch conflict analysis */
154 SCIP_Longint nsbreconvliterals; /**< total number of literals in valid strong branching reconvergence constraints */
155 SCIP_Longint nsbiterations; /**< total number of LP iterations used in strong branching conflict analysis */
158 SCIP_Longint npseudoconfconss; /**< number of valid conflict constraints detected in pseudo sol conflict analysis */
159 SCIP_Longint npseudoconfliterals;/**< total number of literals in valid pseudo solution conflict constraints */
160 SCIP_Longint npseudoreconvconss; /**< number of reconvergence constraints detected in pseudo sol conflict analysis */
161 SCIP_Longint npseudoreconvliterals;/**< total number of literals in valid pseudo solution reconvergence constraints */
162 SCIP_Longint ndualproofsinfglobal;/**< number of globally added dual proof constraints derived from infeasible LP */
163 SCIP_Longint ndualproofsinflocal;/**< number of locally added dual proof constraints derived from infeasible LP */
164 SCIP_Longint ndualproofsinfsuccess;/**< number of successfully dual proof analysis calls for infeasible LPs */
165 SCIP_Longint dualproofsinfnnonzeros;/**< number of non-zeros over all accepted dual proof constraints derived from infeasible LP */
166 SCIP_Longint ndualproofsbndglobal;/**< number of globally added dual proof constraints derived from bound exceeding LP */
167 SCIP_Longint ndualproofsbndlocal;/**< number of locally added dual proof constraints derived from bound exceeding LP */
168 SCIP_Longint ndualproofsbndsuccess;/**< number of successfully dual proof analysis calls for bound exceeding LPs */
169 SCIP_Longint dualproofsbndnnonzeros;/**< number of non-zeros over all accepted dual proof constraints derived from bound exceeding LPs */
184 SCIP_Real* conflictsetscores; /**< score values of the conflict sets found at the current node */
SCIP_Longint ndualproofsinfsuccess
Definition: struct_conflict.h:164
type definitions for miscellaneous datastructures
SCIP_Longint dualproofsinfnnonzeros
Definition: struct_conflict.h:165
Definition: struct_misc.h:78
SCIP_Longint npseudoreconvliterals
Definition: struct_conflict.h:161
Definition: struct_conflict.h:113
SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol))
SCIP_DECL_CONFLICTCOPY((*conflictcopy))
SCIP_DECL_CONFLICTEXEC((*conflictexec))
Definition: struct_conflict.h:49
Definition: struct_conflict.h:68
SCIP_Longint ninflpreconvliterals
Definition: struct_conflict.h:134
SCIP_DECL_CONFLICTINITSOL((*conflictinitsol))
SCIP_Longint ndualproofsbndglobal
Definition: struct_conflict.h:166
SCIP_CONFLICTHDLRDATA * conflicthdlrdata
Definition: struct_conflict.h:60
type definitions for specific LP solvers interface
SCIP_DECL_CONFLICTEXIT((*conflictexit))
struct SCIP_ConflicthdlrData SCIP_CONFLICTHDLRDATA
Definition: type_conflict.h:49
type definitions for problem variables
type definitions for conflict analysis
SCIP_Longint dualproofsbndnnonzeros
Definition: struct_conflict.h:169
Definition: struct_var.h:115
SCIP_DECL_CONFLICTFREE((*conflictfree))
SCIP_Longint ndualproofsinfglobal
Definition: struct_conflict.h:162
SCIP_Longint nboundlpreconvliterals
Definition: struct_conflict.h:145
type definitions for clocks and timing issues
SCIP_Longint nboundlpconfliterals
Definition: struct_conflict.h:141
Definition: struct_conflict.h:102
SCIP_DECL_CONFLICTINIT((*conflictinit))
Definition: struct_conflict.h:90
common defines and data types used in all packages of SCIP
SCIP_Longint ndualproofsbndsuccess
Definition: struct_conflict.h:168
Definition: struct_clock.h:64