presolve.h
Go to the documentation of this file.
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
42 /** try to reduce the necessary variable in a set of variables with corresponding bounds and boundtypes for which one
51 * by (global) implication data (cliques, implications, and variable bounds) we have also the following implications
58 * Because of the last implication x4 is redundant, because x1 >= 1 would also be fulfilled in the variable set, so we
60 * Also, the both other implications and x3 >= 1 (in the given variable set) all imply exactly x3 >= 1, so we tighten
69 SCIP_Bool* boundtypes, /**< boundtypes array (TRUE == SCIP_BOUNDTYPE_UPPER, FALSE == SCIP_BOUNDTYPE_LOWER)
71 SCIP_Bool* redundants, /**< array which be filled and then indicate if a variable in the set is redundant */
76 SCIP_Bool* setredundant, /**< pointer to store if we found a global reduction on a variable which was part
79 SCIP_Bool fullshortening /**< do we want to try the shortening procedure over the whole set (which might be expensive) */
Definition: struct_scip.h:59
Definition: struct_var.h:198
type definitions for return codes for SCIP methods
type definitions for SCIP's main datastructure
type definitions for problem variables
SCIP_RETCODE SCIPshrinkDisjunctiveVarSet(SCIP *scip, SCIP_VAR **vars, SCIP_Real *bounds, SCIP_Bool *boundtypes, SCIP_Bool *redundants, int nvars, int *nredvars, int *nglobalred, SCIP_Bool *setredundant, SCIP_Bool *glbinfeas, SCIP_Bool fullshortening)
Definition: presolve.c:986
common defines and data types used in all packages of SCIP
Definition: objbenders.h:33