cons_integralorig.c
Go to the documentation of this file.
30 * @brief constraint handler for enforcing integrality of the transferred master solution in the original problem
35 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
52 #define CONSHDLR_ENFOPRIORITY 1000 /**< priority of the constraint handler for constraint enforcing */
53 #define CONSHDLR_CHECKPRIORITY 1000 /**< priority of the constraint handler for checking feasibility */
54 #define CONSHDLR_EAGERFREQ -1 /**< frequency for using all instead of only the useful constraints in separation,
56 #define CONSHDLR_NEEDSCONS FALSE /**< should the constraint handler be skipped, if no constraints are available? */
89 SCIP_CALL( SCIPreallocMemoryArray(scip, &(conshdlrdata->branchrules), (size_t)conshdlrdata->nbranchrules+1) );
167 /* if we use the discretization without continuous variables, we do not have to check for integrality of the solution in the
175 /* if the transferred master solution is feasible, the current node is solved to optimality and can be pruned */
199 SCIPdebugMessage("Call exec lp method of %s\n", SCIPbranchruleGetName(conshdlrdata->branchrules[i]));
201 SCIP_CALL( conshdlrdata->branchrules[i]->branchexeclp(scip, conshdlrdata->branchrules[i], TRUE, result) );
234 /* if we use the discretization without continuous variables, we do not have to check for integrality of the solution in the
256 SCIP_CALL( conshdlrdata->branchrules[i]->branchexecps(scip, conshdlrdata->branchrules[i], TRUE, result) );
287 /* if we use the discretization without continuous variables, we do not have to check for integrality of the solution in the
GCG interface methods.
SCIP_Bool GCGrelaxIsOrigSolFeasible(SCIP *scip)
Definition: relax_gcg.c:4202
static SCIP_DECL_CONSLOCK(consLockIntegralOrig)
Definition: cons_integralorig.c:332
static SCIP_DECL_CONSFREE(consFreeIntegralOrig)
Definition: cons_integralorig.c:339
static SCIP_DECL_CONSENFOLP(consEnfolpIntegralOrig)
Definition: cons_integralorig.c:141
branching rule for original problem in GCG
GCG variable pricer.
constraint handler for the integrality constraint
constraint handler for storing the branching decisions at each node of the tree
SCIP_RETCODE GCGtransformMastersolToOrigsol(SCIP *scip, SCIP_SOL *mastersol, SCIP_SOL **origsol)
Definition: misc.c:120
Definition: cons_decomp.cpp:134
static SCIP_DECL_CONSCHECK(consCheckIntegralOrig)
Definition: cons_integralorig.c:266
static SCIP_DECL_CONSENFOPS(consEnfopsIntegralOrig)
Definition: cons_integralorig.c:212
GCG relaxator.
SCIP_RETCODE SCIPincludeConshdlrIntegralOrig(SCIP *scip)
Definition: cons_integralorig.c:372
public methods for GCG variables
static void sortBranchrules(SCIP_BRANCHRULE **branchrules, int nbranchrules)
Definition: cons_integralorig.c:102
SCIP_RETCODE GCGconsIntegralorigAddBranchrule(SCIP *scip, SCIP_BRANCHRULE *branchrule)
Definition: cons_integralorig.c:67