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