struct_conflict.h
Go to the documentation of this file.
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
44 SCIP_DECL_CONFLICTCOPY((*conflictcopy)); /**< copy method of conflict handler or NULL if you don't want to copy your plugin into sub-SCIPs */
48 SCIP_DECL_CONFLICTINITSOL((*conflictinitsol));/**< solving process initialization method of conflict handler */
49 SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol));/**< solving process deinitialization method of conflict handler */
52 SCIP_CLOCK* setuptime; /**< time spend for setting up this conflict handler for the next stages */
64 SCIP_Real confrelaxedbd; /**< relaxed bound belonging the the bound change at the conflict depth */
76 SCIP_CONFTYPE conflicttype; /**< conflict type: unknown, infeasible LP, bound exceeding LP, propagation */
106 SCIP_Longint nappliedglbconss; /**< total number of conflict constraints added globally to the problem */
107 SCIP_Longint nappliedglbliterals;/**< total number of literals in globally applied conflict constraints */
109 SCIP_Longint nappliedlocconss; /**< total number of conflict constraints added locally to the problem */
110 SCIP_Longint nappliedlocliterals;/**< total number of literals in locally applied conflict constraints */
113 SCIP_Longint npropconfconss; /**< number of valid conflict constraints detected in propagation conflict analysis */
114 SCIP_Longint npropconfliterals; /**< total number of literals in valid propagation conflict constraints */
115 SCIP_Longint npropreconvconss; /**< number of reconvergence constraints detected in propagation conflict analysis */
116 SCIP_Longint npropreconvliterals;/**< total number of literals in valid propagation reconvergence constraints */
119 SCIP_Longint ninflpconfconss; /**< number of valid conflict constraints detected in infeasible LP conflict
121 SCIP_Longint ninflpconfliterals; /**< total number of literals in valid infeasible LP conflict constraints */
122 SCIP_Longint ninflpreconvconss; /**< number of reconvergence constraints detected in infeasible LP conflict
124 SCIP_Longint ninflpreconvliterals; /**< total number of literals in valid infeasible LP reconvergence
126 SCIP_Longint ninflpiterations; /**< total number of LP iterations used in infeasible LP conflict analysis */
129 SCIP_Longint nboundlpconfconss; /**< number of valid conflict constraints detected in bound exceeding LP
131 SCIP_Longint nboundlpconfliterals; /**< total number of literals in valid bound exceeding LP conflict
133 SCIP_Longint nboundlpreconvconss;/**< number of reconvergence constraints detected in bound exceeding LP
135 SCIP_Longint nboundlpreconvliterals; /**< total number of literals in valid bound exceeding LP reconvergence
137 SCIP_Longint nboundlpiterations; /**< total number of LP iterations used in bound exceeding LP conflict
141 SCIP_Longint nsbconfconss; /**< number of conflict constraints detected in strong branching conflict analysis */
142 SCIP_Longint nsbconfliterals; /**< total number of literals in valid strong branching conflict constraints */
143 SCIP_Longint nsbreconvconss; /**< number of reconvergence constraints detected in strong branch conflict analysis */
144 SCIP_Longint nsbreconvliterals; /**< total number of literals in valid strong branching reconvergence constraints */
145 SCIP_Longint nsbiterations; /**< total number of LP iterations used in strong branching conflict analysis */
148 SCIP_Longint npseudoconfconss; /**< number of valid conflict constraints detected in pseudo sol conflict analysis */
149 SCIP_Longint npseudoconfliterals;/**< total number of literals in valid pseudo solution conflict constraints */
150 SCIP_Longint npseudoreconvconss; /**< number of reconvergence constraints detected in pseudo sol conflict analysis */
151 SCIP_Longint npseudoreconvliterals;/**< total number of literals in valid pseudo solution reconvergence constraints */
152 SCIP_Longint ndualproofsinfglobal;/**< number of globally added dual proof constraints derived from infeasible LP */
153 SCIP_Longint ndualproofsinflocal;/**< number of locally added dual proof constraints derived from infeasible LP */
154 SCIP_Longint ndualproofsinfsuccess;/**< number of successfully dual proof analysis calls for infeasible LPs */
155 SCIP_Longint dualproofsinfnnonzeros;/**< number of non-zeros over all accepted dual proof constraints derived from infeasible LP */
156 SCIP_Longint ndualproofsbndglobal;/**< number of globally added dual proof constraints derived from bound exceeding LP */
157 SCIP_Longint ndualproofsbndlocal;/**< number of locally added dual proof constraints derived from bound exceeding LP */
158 SCIP_Longint ndualproofsbndsuccess;/**< number of successfully dual proof analysis calls for bound exceeding LPs */
159 SCIP_Longint dualproofsbndnnonzeros;/**< number of non-zeros over all accepted dual proof constraints derived from bound exceeding LPs */
174 SCIP_Real* conflictsetscores; /**< score values of the conflict sets found at the current node */
SCIP_Longint ndualproofsinfsuccess
Definition: struct_conflict.h:154
type definitions for miscellaneous datastructures
SCIP_Longint dualproofsinfnnonzeros
Definition: struct_conflict.h:155
Definition: struct_misc.h:69
SCIP_Longint npseudoreconvliterals
Definition: struct_conflict.h:151
Definition: struct_conflict.h:103
SCIP_DECL_CONFLICTEXITSOL((*conflictexitsol))
SCIP_DECL_CONFLICTCOPY((*conflictcopy))
SCIP_DECL_CONFLICTEXEC((*conflictexec))
Definition: struct_conflict.h:40
Definition: struct_conflict.h:59
SCIP_Longint ninflpreconvliterals
Definition: struct_conflict.h:124
SCIP_DECL_CONFLICTINITSOL((*conflictinitsol))
SCIP_Longint ndualproofsbndglobal
Definition: struct_conflict.h:156
SCIP_CONFLICTHDLRDATA * conflicthdlrdata
Definition: struct_conflict.h:51
type definitions for specific LP solvers interface
SCIP_DECL_CONFLICTEXIT((*conflictexit))
struct SCIP_ConflicthdlrData SCIP_CONFLICTHDLRDATA
Definition: type_conflict.h:40
type definitions for problem variables
type definitions for conflict analysis
SCIP_Longint dualproofsbndnnonzeros
Definition: struct_conflict.h:159
Definition: struct_var.h:106
SCIP_DECL_CONFLICTFREE((*conflictfree))
SCIP_Longint ndualproofsinfglobal
Definition: struct_conflict.h:152
SCIP_Longint nboundlpreconvliterals
Definition: struct_conflict.h:135
type definitions for clocks and timing issues
SCIP_Longint nboundlpconfliterals
Definition: struct_conflict.h:131
Definition: struct_conflict.h:92
SCIP_DECL_CONFLICTINIT((*conflictinit))
Definition: struct_conflict.h:80
common defines and data types used in all packages of SCIP
SCIP_Longint ndualproofsbndsuccess
Definition: struct_conflict.h:158
Definition: struct_clock.h:55