cons_cardinality.h
Go to the documentation of this file.
32 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
69 * with integer right-hand side \f$b\f$. Here, \f$|\mbox{supp}(x)|\f$ denotes the number of nonzero entries of the
72 * Cardinality constraints generalize special ordered set of type one (SOS1) constraints in which \f$b = 1\f$.
81 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
91 SCIP_VAR** indvars, /**< indicator variables to indicate which variables may be treated as nonzero
113 SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even
119 * in its most basic variant, i. e., with all constraint flags set to their default values, which can be set
127 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
137 SCIP_VAR** indvars, /**< indicator variables to indicate which variables may be treated as nonzero
144 /** changes cardinality value of cardinality constraint (i.e., right hand side of cardinality constraint) */
158 SCIP_VAR* indvar, /**< indicator variable to indicate whether variable may be treated as nonzero
189 /** gets cardinality value of cardinality constraint (i.e., right hand side of cardinality constraint) */
Definition: struct_scip.h:68
SCIP_RETCODE SCIPaddVarCardinality(SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var, SCIP_VAR *indvar, SCIP_Real weight)
Definition: cons_cardinality.c:3607
Definition: struct_var.h:207
type definitions for return codes for SCIP methods
SCIP_RETCODE SCIPincludeConshdlrCardinality(SCIP *scip)
Definition: cons_cardinality.c:3286
Definition: struct_cons.h:46
type definitions for SCIP's main datastructure
type definitions for problem variables
int SCIPgetCardvalCardinality(SCIP *scip, SCIP_CONS *cons)
Definition: cons_cardinality.c:3727
SCIP_Real * SCIPgetWeightsCardinality(SCIP *scip, SCIP_CONS *cons)
Definition: cons_cardinality.c:3750
SCIP_RETCODE SCIPcreateConsCardinality(SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, int cardval, SCIP_VAR **indvars, SCIP_Real *weights, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
Definition: cons_cardinality.c:3357
SCIP_RETCODE SCIPcreateConsBasicCardinality(SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, int cardval, SCIP_VAR **indvars, SCIP_Real *weights)
Definition: cons_cardinality.c:3557
int SCIPgetNVarsCardinality(SCIP *scip, SCIP_CONS *cons)
Definition: cons_cardinality.c:3679
SCIP_RETCODE SCIPchgCardvalCardinality(SCIP *scip, SCIP_CONS *cons, int cardval)
Definition: cons_cardinality.c:3578
SCIP_RETCODE SCIPappendVarCardinality(SCIP *scip, SCIP_CONS *cons, SCIP_VAR *var, SCIP_VAR *indvar)
Definition: cons_cardinality.c:3644
SCIP_VAR ** SCIPgetVarsCardinality(SCIP *scip, SCIP_CONS *cons)
Definition: cons_cardinality.c:3703
common defines and data types used in all packages of SCIP
Definition: objbenders.h:43
type definitions for constraints and constraint handlers