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 */
105 SCIP_Longint nappliedglbconss; /**< total number of conflict constraints added globally to the problem */
106 SCIP_Longint nappliedglbliterals;/**< total number of literals in globally applied conflict constraints */
108 SCIP_Longint nappliedlocconss; /**< total number of conflict constraints added locally to the problem */
109 SCIP_Longint nappliedlocliterals;/**< total number of literals in locally applied conflict constraints */
112 SCIP_Longint npropconfconss; /**< number of valid conflict constraints detected in propagation conflict analysis */
113 SCIP_Longint npropconfliterals; /**< total number of literals in valid propagation conflict constraints */
114 SCIP_Longint npropreconvconss; /**< number of reconvergence constraints detected in propagation conflict analysis */
115 SCIP_Longint npropreconvliterals;/**< total number of literals in valid propagation reconvergence constraints */
118 SCIP_Longint ninflpconfconss; /**< number of valid conflict constraints detected in infeasible LP conflict
120 SCIP_Longint ninflpconfliterals; /**< total number of literals in valid infeasible LP conflict constraints */
121 SCIP_Longint ninflpreconvconss; /**< number of reconvergence constraints detected in infeasible LP conflict
123 SCIP_Longint ninflpreconvliterals; /**< total number of literals in valid infeasible LP reconvergence
125 SCIP_Longint ninflpiterations; /**< total number of LP iterations used in infeasible LP conflict analysis */
128 SCIP_Longint nboundlpconfconss; /**< number of valid conflict constraints detected in bound exceeding LP
130 SCIP_Longint nboundlpconfliterals; /**< total number of literals in valid bound exceeding LP conflict
132 SCIP_Longint nboundlpreconvconss;/**< number of reconvergence constraints detected in bound exceeding LP
134 SCIP_Longint nboundlpreconvliterals; /**< total number of literals in valid bound exceeding LP reconvergence
136 SCIP_Longint nboundlpiterations; /**< total number of LP iterations used in bound exceeding LP conflict
140 SCIP_Longint nsbconfconss; /**< number of conflict constraints detected in strong branching conflict analysis */
141 SCIP_Longint nsbconfliterals; /**< total number of literals in valid strong branching conflict constraints */
142 SCIP_Longint nsbreconvconss; /**< number of reconvergence constraints detected in strong branch conflict analysis */
143 SCIP_Longint nsbreconvliterals; /**< total number of literals in valid strong branching reconvergence constraints */
144 SCIP_Longint nsbiterations; /**< total number of LP iterations used in strong branching conflict analysis */
147 SCIP_Longint npseudoconfconss; /**< number of valid conflict constraints detected in pseudo sol conflict analysis */
148 SCIP_Longint npseudoconfliterals;/**< total number of literals in valid pseudo solution conflict constraints */
149 SCIP_Longint npseudoreconvconss; /**< number of reconvergence constraints detected in pseudo sol conflict analysis */
150 SCIP_Longint npseudoreconvliterals;/**< total number of literals in valid pseudo solution reconvergence constraints */
152 SCIP_Longint ndualrayinfsuccess; /**< number of successfully dual ray analysis calls for infeasible LPs */
154 SCIP_Longint ndualraybndglobal; /**< number of dual proof constraints of boundexceeding added globally */
155 SCIP_Longint ndualraybndsuccess; /**< number of successfully dual proof analysis calls for boundexceeding LPs */
156 SCIP_Longint dualraybndnnonzeros;/**< number of non-zeros over all accepted dual proof of boundexceeding LPs */
171 SCIP_Real* conflictsetscores; /**< score values of the conflict sets found at the current node */
type definitions for miscellaneous datastructures
Definition: struct_misc.h:64
SCIP_Longint npseudoreconvliterals
Definition: struct_conflict.h:150
Definition: struct_conflict.h:102
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:123
SCIP_DECL_CONFLICTINITSOL((*conflictinitsol))
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
Definition: struct_var.h:106
SCIP_DECL_CONFLICTFREE((*conflictfree))
SCIP_Longint nboundlpreconvliterals
Definition: struct_conflict.h:134
type definitions for clocks and timing issues
SCIP_Longint nboundlpconfliterals
Definition: struct_conflict.h:130
Definition: struct_conflict.h:91
SCIP_DECL_CONFLICTINIT((*conflictinit))
Definition: struct_conflict.h:80
common defines and data types used in all packages of SCIP
Definition: struct_clock.h:55