struct_conflictstore.h
Go to the documentation of this file.
31 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
52 SCIP_Real* confprimalbnds; /**< array of primal bounds valid at the time the corresponding bound exceeding
54 SCIP_Real* dualprimalbnds; /**< array of primal bounds valid at the time the corresponding dual proof
56 SCIP_Real* scalefactors; /**< scaling factor that needs to be considered when updating the side */
57 SCIP_Bool* updateside; /**< array to store whether the side should be updated whenever a new incumbent is found */
58 SCIP_Bool* drayrelaxonly; /**< array to store whether the dual proof is valid for the current relaxation only */
59 SCIP_Bool* dsolrelaxonly; /**< array to store whether the dual proof is valid for the current relaxation only */
65 SCIP_Longint nnzdualsols; /**< number of non-zeros in all stored proofs based on dual solutions */
type definitions for conflict store
Definition: struct_cons.h:46
Definition: struct_conflictstore.h:45
common defines and data types used in all packages of SCIP
Definition: struct_event.h:204