49#define CONSHDLR_NAME "samediff"
50#define CONSHDLR_DESC "stores the local branching decisions"
51#define CONSHDLR_ENFOPRIORITY 0
52#define CONSHDLR_CHECKPRIORITY -9999999
53#define CONSHDLR_PROPFREQ 1
54#define CONSHDLR_EAGERFREQ 1
56#define CONSHDLR_DELAYPROP FALSE
57#define CONSHDLR_NEEDSCONS TRUE
59#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP
77 unsigned int propagated:1;
105 (*consdata)->itemid1 = itemid1;
106 (*consdata)->itemid2 = itemid2;
107 (*consdata)->type = type;
108 (*consdata)->npropagatedvars = 0;
109 (*consdata)->npropagations = 0;
110 (*consdata)->propagated =
FALSE;
111 (*consdata)->node = node;
134 consdata->type ==
SAME ?
"same" :
"diff",
135 ids[consdata->itemid1], ids[consdata->itemid2],
SCIPnodeGetNumber(consdata->node) );
157 SCIP_Bool infeasible;
179 type = consdata->type;
181 if( (type ==
SAME && existid1 != existid2) || (type ==
DIFFER && existid1 && existid2) )
220 for( v = consdata->npropagatedvars; v <
nvars && !
cutoff; ++v )
229 else if( nfixedvars > 0 )
265 for( v = 0; v <
nvars; ++v )
281 type = consdata->type;
283 if( (type ==
SAME && existid1 != existid2) || (type ==
DIFFER && existid1 && existid2) )
352 sourcedata->itemid1, sourcedata->itemid2, sourcedata->type, sourcedata->node) );
365#define consEnfolpSamediff NULL
368#define consEnfopsSamediff NULL
371#define consCheckSamediff NULL
398 for(
c = 0;
c < nconss; ++
c )
411 for(
i =
c+1;
i < nconss; ++
i )
414 assert( !(consdata->itemid1 == consdata2->itemid1
415 && consdata->itemid2 == consdata2->itemid2
416 && consdata->type == consdata2->type) );
417 assert( !(consdata->itemid1 == consdata2->itemid2
418 && consdata->itemid2 == consdata2->itemid1
419 && consdata->type == consdata2->type) );
424 if( !consdata->propagated )
430 consdata->npropagations++;
434 consdata->propagated =
TRUE;
435 consdata->npropagatedvars =
nvars;
449#define consLockSamediff NULL
476 consdata->propagated =
FALSE;
575 if( conshdlr ==
NULL )
585 SCIP_CALL(
SCIPcreateCons(
scip, cons, name, conshdlr, consdata,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
607 return consdata->itemid1;
623 return consdata->itemid2;
639 return consdata->type;
#define CONSHDLR_NEEDSCONS
#define consEnfopsSamediff
#define CONSHDLR_CHECKPRIORITY
#define CONSHDLR_PROP_TIMING
static void consdataPrint(SCIP *scip, SCIP_CONSDATA *consdata, FILE *file)
#define consCheckSamediff
static SCIP_RETCODE checkVariable(SCIP *scip, SCIP_CONSDATA *consdata, SCIP_VAR *var, int *nfixedvars, SCIP_Bool *cutoff)
int SCIPgetItemid1Samediff(SCIP *scip, SCIP_CONS *cons)
CONSTYPE SCIPgetTypeSamediff(SCIP *scip, SCIP_CONS *cons)
#define consEnfolpSamediff
static SCIP_Bool consdataCheck(SCIP *scip, SCIP_PROBDATA *probdata, SCIP_CONSDATA *consdata, SCIP_Bool beforeprop)
#define CONSHDLR_PROPFREQ
int SCIPgetItemid2Samediff(SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE SCIPincludeConshdlrSamediff(SCIP *scip)
static SCIP_RETCODE consdataFree(SCIP *scip, SCIP_CONSDATA **consdata)
#define CONSHDLR_EAGERFREQ
#define CONSHDLR_ENFOPRIORITY
static SCIP_RETCODE consdataCreate(SCIP *scip, SCIP_CONSDATA **consdata, int itemid1, int itemid2, CONSTYPE type, SCIP_NODE *node)
#define CONSHDLR_DELAYPROP
static SCIP_RETCODE consdataFixVariables(SCIP *scip, SCIP_CONSDATA *consdata, SCIP_VAR **vars, int nvars, SCIP_RESULT *result)
SCIP_RETCODE SCIPcreateConsSamediff(SCIP *scip, SCIP_CONS **cons, const char *name, int itemid1, int itemid2, CONSTYPE type, SCIP_NODE *node, SCIP_Bool local)
Constraint handler stores the local branching decision data.
#define SCIP_LONGINT_FORMAT
SCIP_STAGE SCIPgetStage(SCIP *scip)
SCIP_PROBDATA * SCIPgetProbData(SCIP *scip)
void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)
SCIP_RETCODE SCIPsetConshdlrActive(SCIP *scip, SCIP_CONSHDLR *conshdlr,)
SCIP_RETCODE SCIPsetConshdlrProp(SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPROP((*consprop)), int propfreq, SCIP_Bool delayprop, SCIP_PROPTIMING proptiming)
SCIP_RETCODE SCIPincludeConshdlrBasic(SCIP *scip, SCIP_CONSHDLR **conshdlrptr, const char *name, const char *desc, int enfopriority, int chckpriority, int eagerfreq, SCIP_Bool needscons, SCIP_DECL_CONSENFOLP((*consenfolp)), SCIP_DECL_CONSENFOPS((*consenfops)), SCIP_DECL_CONSCHECK((*conscheck)), SCIP_DECL_CONSLOCK((*conslock)), SCIP_CONSHDLRDATA *conshdlrdata)
SCIP_RETCODE SCIPsetConshdlrPrint(SCIP *scip, SCIP_CONSHDLR *conshdlr,)
const char * SCIPconshdlrGetName(SCIP_CONSHDLR *conshdlr)
SCIP_CONSHDLR * SCIPfindConshdlr(SCIP *scip, const char *name)
SCIP_RETCODE SCIPsetConshdlrDelete(SCIP *scip, SCIP_CONSHDLR *conshdlr,)
SCIP_RETCODE SCIPsetConshdlrDeactive(SCIP *scip, SCIP_CONSHDLR *conshdlr,)
SCIP_RETCODE SCIPsetConshdlrTrans(SCIP *scip, SCIP_CONSHDLR *conshdlr,)
SCIP_CONSDATA * SCIPconsGetData(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsDynamic(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsInitial(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsChecked(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsEnforced(SCIP_CONS *cons)
SCIP_RETCODE SCIPcreateCons(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_CONSHDLR *conshdlr, SCIP_CONSDATA *consdata, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
SCIP_Bool SCIPconsIsPropagated(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsLocal(SCIP_CONS *cons)
const char * SCIPconsGetName(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsModifiable(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsStickingAtNode(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsSeparated(SCIP_CONS *cons)
SCIP_Bool SCIPconsIsRemovable(SCIP_CONS *cons)
#define SCIPfreeBlockMemory(scip, ptr)
#define SCIPallocBlockMemory(scip, ptr)
SCIP_Longint SCIPnodeGetNumber(SCIP_NODE *node)
int SCIPnodeGetDepth(SCIP_NODE *node)
SCIP_RETCODE SCIPrepropagateNode(SCIP *scip, SCIP_NODE *node)
int SCIPgetNChildren(SCIP *scip)
SCIP_Real SCIPvarGetUbLocal(SCIP_VAR *var)
SCIP_VARDATA * SCIPvarGetData(SCIP_VAR *var)
SCIP_Real SCIPvarGetLbLocal(SCIP_VAR *var)
SCIP_RETCODE SCIPfixVar(SCIP *scip, SCIP_VAR *var, SCIP_Real fixedval, SCIP_Bool *infeasible, SCIP_Bool *fixed)
SCIP_RETCODE SCIPprintVar(SCIP *scip, SCIP_VAR *var, FILE *file)
SCIP_Bool SCIPsortedvecFindInt(int *intarray, int val, int len, int *pos)
assert(minobj< SCIPgetCutoffbound(scip))
int * SCIPprobdataGetIds(SCIP_PROBDATA *probdata)
int SCIPprobdataGetNVars(SCIP_PROBDATA *probdata)
SCIP_VAR ** SCIPprobdataGetVars(SCIP_PROBDATA *probdata)
Problem data for binpacking problem.
#define SCIP_DECL_CONSDELETE(x)
#define SCIP_DECL_CONSPRINT(x)
struct SCIP_ConshdlrData SCIP_CONSHDLRDATA
#define SCIP_DECL_CONSPROP(x)
#define SCIP_DECL_CONSACTIVE(x)
#define SCIP_DECL_CONSTRANS(x)
#define SCIP_DECL_CONSDEACTIVE(x)
struct SCIP_ConsData SCIP_CONSDATA
struct SCIP_ProbData SCIP_PROBDATA
enum SCIP_Result SCIP_RESULT
enum SCIP_Retcode SCIP_RETCODE
@ SCIP_STAGE_TRANSFORMING
struct SCIP_VarData SCIP_VARDATA
int * SCIPvardataGetConsids(SCIP_VARDATA *vardata)
void SCIPvardataPrint(SCIP *scip, SCIP_VARDATA *vardata, FILE *file)
int SCIPvardataGetNConsids(SCIP_VARDATA *vardata)
Variable data containing the ids of constraints in which the variable appears.