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
SCIP_EXPORT 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
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
common defines and data types used in all packages of SCIP
Definition: objbenders.h:33