SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
methods to include specific constraint handlers into SCIP
This module contains methods to include specific constraint handlers into SCIP.
Interface methods | |
| SCIP_RETCODE | SCIPcreateConsBounddisjunction (SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, SCIP_BOUNDTYPE *boundtypes, SCIP_Real *bounds, 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_RETCODE | SCIPcreateConsBasicBounddisjunction (SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, SCIP_BOUNDTYPE *boundtypes, SCIP_Real *bounds) |
| int | SCIPgetNVarsBounddisjunction (SCIP *scip, SCIP_CONS *cons) |
| SCIP_VAR ** | SCIPgetVarsBounddisjunction (SCIP *scip, SCIP_CONS *cons) |
| SCIP_BOUNDTYPE * | SCIPgetBoundtypesBounddisjunction (SCIP *scip, SCIP_CONS *cons) |
| SCIP_Real * | SCIPgetBoundsBounddisjunction (SCIP *scip, SCIP_CONS *cons) |
Interface methods | |
| SCIP_RETCODE | SCIPcreateConsCumulative (SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, 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_RETCODE | SCIPcreateConsBasicCumulative (SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity) |
| SCIP_RETCODE | SCIPsetHminCumulative (SCIP *scip, SCIP_CONS *cons, int hmin) |
| int | SCIPgetHminCumulative (SCIP *scip, SCIP_CONS *cons) |
| SCIP_RETCODE | SCIPsetHmaxCumulative (SCIP *scip, SCIP_CONS *cons, int hmax) |
| int | SCIPgetHmaxCumulative (SCIP *scip, SCIP_CONS *cons) |
| SCIP_VAR ** | SCIPgetVarsCumulative (SCIP *scip, SCIP_CONS *cons) |
| int | SCIPgetNVarsCumulative (SCIP *scip, SCIP_CONS *cons) |
| int | SCIPgetCapacityCumulative (SCIP *scip, SCIP_CONS *cons) |
| int * | SCIPgetDurationsCumulative (SCIP *scip, SCIP_CONS *cons) |
| int * | SCIPgetDemandsCumulative (SCIP *scip, SCIP_CONS *cons) |
| SCIP_RETCODE | SCIPcheckCumulativeCondition (SCIP *scip, SCIP_SOL *sol, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_Bool *violated, SCIP_CONS *cons, SCIP_Bool printreason) |
| SCIP_RETCODE | SCIPnormalizeCumulativeCondition (SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int *capacity, int *nchgcoefs, int *nchgsides) |
| SCIP_RETCODE | SCIPsplitCumulativeCondition (SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int *hmin, int *hmax, int *split) |
| SCIP_RETCODE | SCIPpresolveCumulativeCondition (SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int hmin, int hmax, SCIP_Bool *downlocks, SCIP_Bool *uplocks, SCIP_CONS *cons, SCIP_Bool *irrelevants, int *nfixedvars, int *nchgsides, SCIP_Bool *cutoff) |
| SCIP_RETCODE | SCIPpropCumulativeCondition (SCIP *scip, SCIP_PRESOLTIMING presoltiming, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_CONS *cons, int *nchgbds, SCIP_Bool *initialized, SCIP_Bool *explanation, SCIP_Bool *cutoff) |
| SCIP_RETCODE | SCIPrespropCumulativeCondition (SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_VAR *infervar, int inferinfo, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedbd, SCIP_Bool *explanation, SCIP_RESULT *result) |
| SCIP_RETCODE | SCIPvisualizeConsCumulative (SCIP *scip, SCIP_CONS *cons) |
| SCIP_RETCODE | SCIPsetSolveCumulative (SCIP *scip, SCIP_DECL_SOLVECUMULATIVE((*solveCumulative))) |
| SCIP_RETCODE | SCIPsolveCumulative (SCIP *scip, int njobs, SCIP_Real *ests, SCIP_Real *lsts, SCIP_Real *objvals, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_Real timelimit, SCIP_Real memorylimit, SCIP_Longint maxnodes, SCIP_Bool *solved, SCIP_Bool *infeasible, SCIP_Bool *unbounded, SCIP_Bool *error) |
| SCIP_RETCODE | SCIPcreateWorstCaseProfile (SCIP *scip, SCIP_PROFILE *profile, int nvars, SCIP_VAR **vars, int *durations, int *demands) |
| int | SCIPcomputeHmin (SCIP *scip, SCIP_PROFILE *profile, int capacity) |
| int | SCIPcomputeHmax (SCIP *scip, SCIP_PROFILE *profile, int capacity) |
| SCIP_RETCODE SCIPincludeConshdlrAbspower | ( | SCIP * | scip | ) |
creates the handler for absolute power constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 7022 of file cons_abspower.c.
References BMSclearMemory, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, FALSE, NONLINCONSUPGD_PRIORITY, QUADCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsAbspower(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeNonlinconsUpgrade(), SCIPincludeQuadconsUpgrade(), SCIPinfinity(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrDisable(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrAnd | ( | SCIP * | scip | ) |
creates the handler for and constraints and includes it in SCIP
creates the handler for AND-constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 4879 of file cons_and.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_AGGRLINEARIZATION, DEFAULT_DUALPRESOLVING, DEFAULT_ENFORCECUTS, DEFAULT_LINEARIZE, DEFAULT_PRESOLPAIRWISE, DEFAULT_PRESOLUSEHASHING, DEFAULT_UPGRRESULTANT, EVENTHDLR_DESC, EVENTHDLR_NAME, EXPRGRAPHREFORM_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPcreateConsAnd(), SCIPfindConshdlr(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeNonlinconsUpgrade(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrBivariate | ( | SCIP * | scip | ) |
creates the handler for bivariate constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 7821 of file cons_bivariate.c.
References BMSclearMemory, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, FALSE, NONLINCONSUPGD_PRIORITY, QUADCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPblkmem(), SCIPcreateConsBivariate(), SCIPexprgraphCreate(), SCIPexprintCreate(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeNonlinconsUpgrade(), SCIPincludeQuadconsUpgrade(), SCIPinfinity(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDeactive(), SCIPsetConshdlrDelete(), SCIPsetConshdlrDisable(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EXPRGRAPHNODEREFORM(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrBounddisjunction | ( | SCIP * | scip | ) |
creates the handler for bound disjunction constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 3252 of file cons_bounddisjunction.c.
References CONFLICTHDLR_DESC, CONFLICTHDLR_NAME, CONFLICTHDLR_PRIORITY, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, conshdlrdataCreate(), DEFAULT_CONTINUOUSFRAC, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, QUADCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsBounddisjunction(), SCIPfindConshdlr(), SCIPincludeConflicthdlrBasic(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeQuadconsUpgrade(), SCIPsetConflicthdlrFree(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDeactive(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONFLICTFREE(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrCardinality | ( | SCIP * | scip | ) |
creates the handler for cardinality constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 3198 of file cons_cardinality.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_BALANCEDCUTOFF, DEFAULT_BALANCEDDEPTH, DEFAULT_BRANCHBALANCED, EVENTHDLR_DESC, EVENTHDLR_NAME, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsCardinality(), SCIPerrorMessage, SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrComponents | ( | SCIP * | scip | ) |
creates the components constraint handler and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2495 of file cons_components.c.
References consCheckComponents, consEnfolpComponents, consEnfopsComponents, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, DEFAULT_FEASTOLFACTOR, DEFAULT_INTFACTOR, DEFAULT_MAXDEPTH, DEFAULT_MAXINTVARS, DEFAULT_MINRELSIZE, DEFAULT_MINSIZE, DEFAULT_NODELIMIT, FALSE, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddIntParam(), SCIPaddLongintParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrPresol(), SCIPsetConshdlrProp(), and TRUE.
Referenced by SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrConjunction | ( | SCIP * | scip | ) |
creates the handler for conjunction constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 757 of file cons_conjunction.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, SCIP_CALL, SCIP_OKAY, SCIPcreateConsConjunction(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), and SCIPsetConshdlrTrans().
Referenced by SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrCountsols | ( | SCIP * | scip | ) |
creates the handler for countsol constraints and includes it in SCIP
creates the handler for countsols constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2596 of file cons_countsols.c.
References includeConshdlrCountsols(), SCIP_CALL, SCIP_OKAY, SCIPcount(), and TRUE.
Referenced by includeConshdlrCountsols(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrCumulative | ( | SCIP * | scip | ) |
creates the constraint handler for cumulative constraints and includes it in SCIP
creates the handler for cumulative constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 13588 of file cons_cumulative.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_COEFTIGHTENING, DEFAULT_CUTSASCONSS, DEFAULT_DETECTDISJUNCTIVE, DEFAULT_DETECTVARBOUNDS, DEFAULT_DISJUNCTIVE, DEFAULT_DUALPRESOLVE, DEFAULT_EFCHECK, DEFAULT_EFINFER, DEFAULT_FILLBRANCHCANDS, DEFAULT_LOCALCUTS, DEFAULT_MAXNODES, DEFAULT_NORMALIZE, DEFAULT_PRESOLPAIRWISE, DEFAULT_SEPAOLD, DEFAULT_TTEFCHECK, DEFAULT_TTEFINFER, DEFAULT_TTINFER, DEFAULT_USEADJUSTEDJOBS, DEFAULT_USEBDWIDENING, DEFAULT_USEBINVARS, DEFAULT_USECOVERCUTS, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddLongintParam(), SCIPcreateConsCumulative(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrDisjunction | ( | SCIP * | scip | ) |
creates the handler for disjunction constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 1011 of file cons_disjunction.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, DEFAULT_ALWAYSBRANCH, FALSE, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPcreateConsDisjunction(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), and SCIPsetConshdlrTrans().
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrIndicator | ( | SCIP * | scip | ) |
creates the handler for indicator constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 7010 of file cons_indicator.c.
References CONFLICTHDLR_DESC, CONFLICTHDLR_NAME, CONFLICTHDLR_PRIORITY, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_ADDCOUPLING, DEFAULT_ADDCOUPLINGCONS, DEFAULT_ADDOPPOSITE, DEFAULT_BRANCHINDICATORS, DEFAULT_CONFLICTSUPGRADE, DEFAULT_DUALREDUCTIONS, DEFAULT_ENFORCECUTS, DEFAULT_FORCERESTART, DEFAULT_GENERATEBILINEAR, DEFAULT_GENLOGICOR, DEFAULT_MAXCONDITIONALTLP, DEFAULT_MAXCOUPLINGVALUE, DEFAULT_MAXSEPACUTS, DEFAULT_MAXSEPACUTSROOT, DEFAULT_MAXSEPANONVIOLATED, DEFAULT_NOLINCONSCONT, DEFAULT_REMOVEINDICATORS, DEFAULT_RESTARTFRAC, DEFAULT_SCALESLACKVAR, DEFAULT_SEPAALTERNATIVELP, DEFAULT_SEPACOUPLINGCUTS, DEFAULT_SEPACOUPLINGLOCAL, DEFAULT_SEPACOUPLINGVALUE, DEFAULT_SEPAPERSPECTIVE, DEFAULT_SEPAPERSPLOCAL, DEFAULT_TRYSOLFROMCOVER, DEFAULT_TRYSOLUTIONS, DEFAULT_UPDATEBOUNDS, DEFAULT_UPGRADELINEAR, DEFAULT_USEOBJECTIVECUT, DEFAULT_USEOTHERCONSS, EVENTHDLR_BOUND_DESC, EVENTHDLR_BOUND_NAME, EVENTHDLR_RESTART_DESC, EVENTHDLR_RESTART_NAME, FALSE, initConshdlrData(), LINCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsIndicator(), SCIPfindConshdlr(), SCIPincludeConflicthdlrBasic(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeLinconsUpgrade(), SCIPsetConflicthdlrFree(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrDisable(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetDiveBdChgs(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrIntegral | ( | SCIP * | scip | ) |
creates the handler for the integrality constraint and includes it in SCIP
creates the handler for integrality constraint and includes it in SCIP
| scip | SCIP data structure |
Definition at line 324 of file cons_integral.c.
References consCopyIntegral, consEnfopsIntegral, CONSHDLR_CHECKPRIORITY, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, SCIP_CALL, SCIP_OKAY, SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrEnforelax(), and SCIPsetConshdlrGetDiveBdChgs().
Referenced by SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrKnapsack | ( | SCIP * | scip | ) |
creates the handler for knapsack constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 13300 of file cons_knapsack.c.
Referenced by SCIP_DECL_LINCONSUPGD(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrLinear | ( | SCIP * | scip | ) |
creates the handler for linear constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 17181 of file cons_linear.c.
Referenced by SCIP_DECL_NONLINCONSUPGD(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrLinking | ( | SCIP * | scip | ) |
creates the handler for linking constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 3202 of file cons_linking.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_LINEARIZE, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), and SCIPsetConshdlrTrans().
Referenced by SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrLogicor | ( | SCIP * | scip | ) |
creates the handler for logic or constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 5051 of file cons_logicor.c.
References CONFLICTHDLR_DESC, CONFLICTHDLR_NAME, CONFLICTHDLR_PRIORITY, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_DUALPRESOLVING, DEFAULT_IMPLICATIONS, DEFAULT_NEGATEDCLIQUE, DEFAULT_PRESOLPAIRWISE, DEFAULT_PRESOLUSEHASHING, DEFAULT_STRENGTHEN, EVENTHDLR_DESC, EVENTHDLR_NAME, LINCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPcreateConsLogicor(), SCIPfindConshdlr(), SCIPincludeConflicthdlrBasic(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeLinconsUpgrade(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDeactive(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrNonlinear | ( | SCIP * | scip | ) |
creates the handler for nonlinear constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 9092 of file cons_nonlinear.c.
References BMSclearMemory, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, LinVarEventData::conshdlrdata, FALSE, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPblkmem(), SCIPexprgraphCreate(), SCIPexprintCreate(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeNonlinconsUpgrade(), SCIPinfinity(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDeactive(), SCIPsetConshdlrDelete(), SCIPsetConshdlrDisable(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSPARSE(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrOr | ( | SCIP * | scip | ) |
creates the handler for or constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2020 of file cons_or.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), EVENTHDLR_DESC, EVENTHDLR_NAME, SCIP_CALL, SCIP_OKAY, SCIPcreateConsOr(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), and SCIPsetConshdlrTrans().
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrOrbisack | ( | SCIP * | scip | ) |
creates the handler for orbisack constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 1904 of file cons_orbisack.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_CHECKALWAYSFEAS, DEFAULT_COEFFBOUND, DEFAULT_COVERSEPARATION, DEFAULT_ORBISEPARATION, DEFAULT_PPORBISACK, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsOrbisack(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETNVARS(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrOrbitope | ( | SCIP * | scip | ) |
creates the handler for orbitope constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 3087 of file cons_orbitope.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_CHECKALWAYSFEAS, DEFAULT_PPORBITOPE, DEFAULT_SEPAFULLORBITOPE, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPcreateConsOrbitope(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrPseudoboolean | ( | SCIP * | scip | ) |
creates the handler for pseudoboolean constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 8822 of file cons_pseudoboolean.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, conshdlrdataCreate(), DEFAULT_DECOMPOSEINDICATORPBCONS, DEFAULT_DECOMPOSENORMALPBCONS, DEFAULT_PROPAGATENONLINEAR, DEFAULT_REMOVABLENONLINEAR, DEFAULT_SEPARATENONLINEAR, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPcreateConsPseudobooleanWithConss(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrQuadratic | ( | SCIP * | scip | ) |
creates the handler for quadratic constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 13899 of file cons_quadratic.c.
References BMSclearMemory, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, FALSE, NONLINCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddCharParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeNonlinconsUpgrade(), SCIPincludeQuadconsUpgrade(), SCIPinfinity(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrDisable(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrSetppc | ( | SCIP * | scip | ) |
creates the handler for set partitioning / packing / covering constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 8933 of file cons_setppc.c.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrSOC | ( | SCIP * | scip | ) |
creates the handler for second order cone constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 5058 of file cons_soc.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, FALSE, QUADCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddCharParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsSOC(), SCIPfindConshdlr(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeQuadconsUpgrade(), SCIPinfinity(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrSOS1 | ( | SCIP * | scip | ) |
creates the handler for SOS1 constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 10125 of file cons_sos1.c.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrSOS2 | ( | SCIP * | scip | ) |
creates the handler for SOS2 constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2240 of file cons_sos2.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, EVENTHDLR_DESC, EVENTHDLR_NAME, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPallocBlockMemory, SCIPcreateConsSOS2(), SCIPerrorMessage, SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), and SCIPsetConshdlrTrans().
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrSuperindicator | ( | SCIP * | scip | ) |
creates the handler for superindicator constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 1872 of file cons_superindicator.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_CHECKSLACKTYPE, DEFAULT_MAXUPGDCOEFLINEAR, DEFAULT_UPGDPRIOINDICATOR, DEFAULT_UPGDPRIOLINEAR, FALSE, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddBoolParam(), SCIPaddDialogEntry(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsSuperindicator(), SCIPdialogFindEntry(), SCIPdialogHasEntry(), SCIPerrorMessage, SCIPgetRootDialog(), SCIPincludeConshdlrBasic(), SCIPincludeDialog(), SCIPincludeDialogDefault(), SCIPreleaseDialog(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrSymresack | ( | SCIP * | scip | ) |
creates the handler for symresack constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 2227 of file cons_symresack.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_CHECKALWAYSFEAS, DEFAULT_PPSYMRESACK, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPcreateConsSymresack(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSGETNVARS(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrVarbound | ( | SCIP * | scip | ) |
creates the handler for variable bound constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 4714 of file cons_varbound.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_MAXLPCOEF, DEFAULT_PRESOLPAIRWISE, DEFAULT_USEBDWIDENING, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, LINCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddRealParam(), SCIPcreateConsVarbound(), SCIPfindConshdlr(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeLinconsUpgrade(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPincludeConshdlrXor | ( | SCIP * | scip | ) |
creates the handler for xor constraints and includes it in SCIP
| scip | SCIP data structure |
Definition at line 5543 of file cons_xor.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_ADDEXTENDEDFORM, DEFAULT_ADDFLOWEXTENDED, DEFAULT_GAUSSPROPFREQ, DEFAULT_PRESOLPAIRWISE, DEFAULT_PRESOLUSEHASHING, DEFAULT_SEPARATEPARITY, EVENTHDLR_DESC, EVENTHDLR_NAME, LINCONSUPGD_PRIORITY, SCIP_CALL, SCIP_MAXTREEDEPTH, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPcreateConsXor(), SCIPfindConshdlr(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeLinconsUpgrade(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().
| SCIP_RETCODE SCIPcreateConsBounddisjunction | ( | SCIP * | scip, |
| SCIP_CONS ** | cons, | ||
| const char * | name, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| SCIP_BOUNDTYPE * | boundtypes, | ||
| SCIP_Real * | bounds, | ||
| 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 | ||
| ) |
creates and captures a bound disjunction constraint
| scip | SCIP data structure |
| cons | pointer to hold the created constraint |
| name | name of constraint |
| nvars | number of variables in the constraint |
| vars | variables of the literals in the constraint |
| boundtypes | types of bounds of the literals (lower or upper bounds) |
| bounds | bounds of the literals |
| initial | should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. |
| separate | should the constraint be separated during LP processing? Usually set to TRUE. |
| enforce | should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. |
| check | should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. |
| propagate | should the constraint be propagated during node processing? Usually set to TRUE. |
| local | is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. |
| modifiable | is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. |
| dynamic | is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. |
| removable | should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. |
| stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. |
Definition at line 3324 of file cons_bounddisjunction.c.
References consdataCreate(), CONSHDLR_NAME, isOverlapping(), SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPboundtypeOpposite(), SCIPcreateCons(), SCIPcreateConsBasicBounddisjunction(), SCIPerrorMessage, and SCIPfindConshdlr().
Referenced by addLocalConss(), addSplitcons(), adjustOversizedJobBounds(), createConflict(), CUTOFF_CONSTRAINT(), forbidFixation(), readBounds(), readSemicontinuous(), readVariables(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_QUADCONSUPGD(), SCIPcreateConsBasicBounddisjunction(), and SCIPincludeConshdlrBounddisjunction().
| SCIP_RETCODE SCIPcreateConsBasicBounddisjunction | ( | SCIP * | scip, |
| SCIP_CONS ** | cons, | ||
| const char * | name, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| SCIP_BOUNDTYPE * | boundtypes, | ||
| SCIP_Real * | bounds | ||
| ) |
creates and captures a bound disjunction constraint in its most basic version, i. e., all constraint flags are set to their basic value as explained for the method SCIPcreateConsBounddisjunction(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h
| scip | SCIP data structure |
| cons | pointer to hold the created constraint |
| name | name of constraint |
| nvars | number of variables in the constraint |
| vars | variables of the literals in the constraint |
| boundtypes | types of bounds of the literals (lower or upper bounds) |
| bounds | bounds of the literals |
Definition at line 3404 of file cons_bounddisjunction.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcreateConsBounddisjunction(), SCIPgetNVarsBounddisjunction(), and TRUE.
Referenced by SCIPcreateConsBounddisjunction(), and SCIPreoptApplyGlbConss().
gets number of variables in bound disjunction constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 3423 of file cons_bounddisjunction.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetVarsBounddisjunction().
Referenced by checkBounddisjunction(), createCoveringProblem(), SCIP_DECL_CONSCOPY(), and SCIPcreateConsBasicBounddisjunction().
gets array of variables in bound disjunction constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 3444 of file cons_bounddisjunction.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetBoundtypesBounddisjunction().
Referenced by checkBounddisjunction(), createCoveringProblem(), saveConsBounddisjuction(), SCIP_DECL_CONSCOPY(), and SCIPgetNVarsBounddisjunction().
| SCIP_BOUNDTYPE* SCIPgetBoundtypesBounddisjunction | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
gets array of bound types in bound disjunction constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 3465 of file cons_bounddisjunction.c.
References CONSHDLR_NAME, SCIP_Real, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetBoundsBounddisjunction().
Referenced by checkBounddisjunction(), saveConsBounddisjuction(), SCIP_DECL_CONSCOPY(), and SCIPgetVarsBounddisjunction().
gets array of bounds in bound disjunction constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 3486 of file cons_bounddisjunction.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.
Referenced by checkBounddisjunction(), saveConsBounddisjuction(), SCIP_DECL_CONSCOPY(), and SCIPgetBoundtypesBounddisjunction().
| SCIP_RETCODE SCIPcreateConsCumulative | ( | SCIP * | scip, |
| SCIP_CONS ** | cons, | ||
| const char * | name, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands, | ||
| int | capacity, | ||
| 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 | ||
| ) |
creates and captures a cumulative constraint
| scip | SCIP data structure |
| cons | pointer to hold the created constraint |
| name | name of constraint |
| nvars | number of variables (jobs) |
| vars | array of integer variable which corresponds to starting times for a job |
| durations | array containing corresponding durations |
| demands | array containing corresponding demands |
| capacity | available cumulative capacity |
| initial | should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. |
| separate | should the constraint be separated during LP processing? Usually set to TRUE. |
| enforce | should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. |
| check | should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. |
| propagate | should the constraint be propagated during node processing? Usually set to TRUE. |
| local | is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. |
| modifiable | is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. |
| dynamic | is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are seperated as constraints. |
| removable | should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. |
| stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. |
Definition at line 13719 of file cons_cumulative.c.
References consdataCatchEvents(), consdataCreate(), CONSHDLR_NAME, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_STAGE_PROBLEM, SCIPconshdlrGetData(), SCIPcreateCons(), SCIPcreateConsBasicCumulative(), SCIPdebugMsg, SCIPerrorMessage, SCIPfindConshdlr(), and SCIPgetStage().
Referenced by CREATE_CONSTRAINT(), createConsCumulative(), createCumulativeCons(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSPARSE(), SCIPcreateConsBasicCumulative(), and SCIPincludeConshdlrCumulative().
| SCIP_RETCODE SCIPcreateConsBasicCumulative | ( | SCIP * | scip, |
| SCIP_CONS ** | cons, | ||
| const char * | name, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands, | ||
| int | capacity | ||
| ) |
creates and captures a cumulative constraint in its most basic version, i. e., all constraint flags are set to their basic value as explained for the method SCIPcreateConsCumulative(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h
| scip | SCIP data structure |
| cons | pointer to hold the created constraint |
| name | name of constraint |
| nvars | number of variables (jobs) |
| vars | array of integer variable which corresponds to starting times for a job |
| durations | array containing corresponding durations |
| demands | array containing corresponding demands |
| capacity | available cumulative capacity |
Definition at line 13801 of file cons_cumulative.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcreateConsCumulative(), SCIPsetHminCumulative(), and TRUE.
Referenced by SCIPcreateConsCumulative(), and setupAndSolveCumulativeSubscip().
| SCIP_RETCODE SCIPsetHminCumulative | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| int | hmin | ||
| ) |
set the left bound of the time axis to be considered (including hmin)
| scip | SCIP data structure |
| cons | constraint data |
| hmin | left bound of time axis to be considered |
Definition at line 13821 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIP_INVALIDCALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetHminCumulative().
Referenced by createConsCumulative(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSPARSE(), SCIPcreateConsBasicCumulative(), and setupAndSolveCumulativeSubscip().
returns the left bound of the time axis to be considered
| scip | SCIP data structure |
| cons | constraint |
Definition at line 13845 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPsetHmaxCumulative().
Referenced by SCIP_DECL_CONSRESPROP(), and SCIPsetHminCumulative().
| SCIP_RETCODE SCIPsetHmaxCumulative | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| int | hmax | ||
| ) |
set the right bound of the time axis to be considered (not including hmax)
| scip | SCIP data structure |
| cons | constraint data |
| hmax | right bound of time axis to be considered |
Definition at line 13865 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIP_INVALIDCALL, SCIP_OKAY, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetHmaxCumulative().
Referenced by createConsCumulative(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSPARSE(), SCIPgetHminCumulative(), and setupAndSolveCumulativeSubscip().
returns the right bound of the time axis to be considered
| scip | SCIP data structure |
| cons | constraint |
Definition at line 13889 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetVarsCumulative().
Referenced by SCIP_DECL_CONSRESPROP(), and SCIPsetHmaxCumulative().
returns the activities of the cumulative constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 13909 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetNVarsCumulative().
Referenced by SCIPgetHmaxCumulative(), and writeFzn().
returns the activities of the cumulative constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 13930 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetCapacityCumulative().
Referenced by SCIPgetVarsCumulative(), and writeFzn().
returns the capacity of the cumulative constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 13951 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetDurationsCumulative().
Referenced by SCIPgetNVarsCumulative(), and writeFzn().
returns the durations of the cumulative constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 13972 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetDemandsCumulative().
Referenced by SCIPgetCapacityCumulative(), and writeFzn().
returns the demands of the cumulative constraint
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 13993 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIPABORT, SCIPcheckCumulativeCondition(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.
Referenced by SCIPgetDurationsCumulative(), and writeFzn().
| SCIP_RETCODE SCIPcheckCumulativeCondition | ( | SCIP * | scip, |
| SCIP_SOL * | sol, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands, | ||
| int | capacity, | ||
| int | hmin, | ||
| int | hmax, | ||
| SCIP_Bool * | violated, | ||
| SCIP_CONS * | cons, | ||
| SCIP_Bool | printreason | ||
| ) |
check for the given starting time variables with their demands and durations if the cumulative conditions for the given solution is satisfied
| scip | SCIP data structure |
| sol | primal solution, or NULL for current LP/pseudo solution |
| nvars | number of variables (jobs) |
| vars | array of integer variable which corresponds to starting times for a job |
| durations | array containing corresponding durations |
| demands | array containing corresponding demands |
| capacity | available cumulative capacity |
| hmin | left bound of time axis to be considered (including hmin) |
| hmax | right bound of time axis to be considered (not including hmax) |
| violated | pointer to store if the cumulative condition is violated |
| cons | constraint which is checked |
| printreason | should the reason for the violation be printed? |
Definition at line 14016 of file cons_cumulative.c.
References checkCumulativeCondition(), SCIP_CALL, SCIP_OKAY, and SCIPnormalizeCumulativeCondition().
Referenced by SCIPgetDemandsCumulative().
| SCIP_RETCODE SCIPnormalizeCumulativeCondition | ( | SCIP * | scip, |
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands, | ||
| int * | capacity, | ||
| int * | nchgcoefs, | ||
| int * | nchgsides | ||
| ) |
normalize cumulative condition
| scip | SCIP data structure |
| nvars | number of start time variables (activities) |
| vars | array of start time variables |
| durations | array of durations |
| demands | array of demands |
| capacity | pointer to store the changed cumulative capacity |
| nchgcoefs | pointer to count total number of changed coefficients |
| nchgsides | pointer to count number of side changes |
Definition at line 14041 of file cons_cumulative.c.
References normalizeCumulativeCondition(), SCIP_CALL, SCIP_OKAY, and SCIPsplitCumulativeCondition().
Referenced by SCIPcheckCumulativeCondition().
| SCIP_RETCODE SCIPsplitCumulativeCondition | ( | SCIP * | scip, |
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands, | ||
| int | capacity, | ||
| int * | hmin, | ||
| int * | hmax, | ||
| int * | split | ||
| ) |
searches for a time point within the cumulative condition were the cumulative condition can be split
| scip | SCIP data structure |
| nvars | number of variables (jobs) |
| vars | array of integer variable which corresponds to starting times for a job |
| durations | array containing corresponding durations |
| demands | array containing corresponding demands |
| capacity | available cumulative capacity |
| hmin | pointer to store the left bound of the effective horizon |
| hmax | pointer to store the right bound of the effective horizon |
| split | point were the cumulative condition can be split |
Definition at line 14059 of file cons_cumulative.c.
References computeEffectiveHorizonCumulativeCondition(), SCIP_CALL, SCIP_OKAY, and SCIPpresolveCumulativeCondition().
Referenced by SCIPnormalizeCumulativeCondition().
| SCIP_RETCODE SCIPpresolveCumulativeCondition | ( | SCIP * | scip, |
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int | hmin, | ||
| int | hmax, | ||
| SCIP_Bool * | downlocks, | ||
| SCIP_Bool * | uplocks, | ||
| SCIP_CONS * | cons, | ||
| SCIP_Bool * | irrelevants, | ||
| int * | nfixedvars, | ||
| int * | nchgsides, | ||
| SCIP_Bool * | cutoff | ||
| ) |
presolve cumulative condition w.r.t. effective horizon by detecting irrelevant variables
| scip | SCIP data structure |
| nvars | number of start time variables (activities) |
| vars | array of start time variables |
| durations | array of durations |
| hmin | left bound of time axis to be considered |
| hmax | right bound of time axis to be considered (not including hmax) |
| downlocks | array storing if the variable has a down lock, or NULL |
| uplocks | array storing if the variable has an up lock, or NULL |
| cons | constraint which gets propagated, or NULL |
| irrelevants | array mark those variables which are irrelevant for the cumulative condition |
| nfixedvars | pointer to store the number of fixed variables |
| nchgsides | pointer to store the number of changed sides |
| cutoff | buffer to store whether a cutoff is detected |
Definition at line 14078 of file cons_cumulative.c.
References presolveConsEst(), presolveConsLct(), SCIP_CALL, SCIP_OKAY, and SCIPpropCumulativeCondition().
Referenced by SCIPsplitCumulativeCondition().
| SCIP_RETCODE SCIPpropCumulativeCondition | ( | SCIP * | scip, |
| SCIP_PRESOLTIMING | presoltiming, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands, | ||
| int | capacity, | ||
| int | hmin, | ||
| int | hmax, | ||
| SCIP_CONS * | cons, | ||
| int * | nchgbds, | ||
| SCIP_Bool * | initialized, | ||
| SCIP_Bool * | explanation, | ||
| SCIP_Bool * | cutoff | ||
| ) |
propagate the given cumulative condition
| scip | SCIP data structure |
| presoltiming | current presolving timing |
| nvars | number of variables (jobs) |
| vars | array of integer variable which corresponds to starting times for a job |
| durations | array containing corresponding durations |
| demands | array containing corresponding demands |
| capacity | available cumulative capacity |
| hmin | left bound of time axis to be considered (including hmin) |
| hmax | right bound of time axis to be considered (not including hmax) |
| cons | constraint which gets propagated |
| nchgbds | pointer to store the number of variable bound changes |
| initialized | was conflict analysis initialized |
| explanation | bool array which marks the variable which are part of the explanation if a cutoff was detected, or NULL |
| cutoff | pointer to store if the cumulative condition is violated |
Definition at line 14109 of file cons_cumulative.c.
References CONSHDLR_NAME, FALSE, propagateCumulativeCondition(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPconshdlrGetData(), SCIPerrorMessage, SCIPfindConshdlr(), and SCIPrespropCumulativeCondition().
Referenced by SCIPpresolveCumulativeCondition().
| SCIP_RETCODE SCIPrespropCumulativeCondition | ( | SCIP * | scip, |
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands, | ||
| int | capacity, | ||
| int | hmin, | ||
| int | hmax, | ||
| SCIP_VAR * | infervar, | ||
| int | inferinfo, | ||
| SCIP_BOUNDTYPE | boundtype, | ||
| SCIP_BDCHGIDX * | bdchgidx, | ||
| SCIP_Real | relaxedbd, | ||
| SCIP_Bool * | explanation, | ||
| SCIP_RESULT * | result | ||
| ) |
resolve propagation w.r.t. the cumulative condition
| scip | SCIP data structure |
| nvars | number of start time variables (activities) |
| vars | array of start time variables |
| durations | array of durations |
| demands | array of demands |
| capacity | cumulative capacity |
| hmin | left bound of time axis to be considered (including hmin) |
| hmax | right bound of time axis to be considered (not including hmax) |
| infervar | the conflict variable whose bound change has to be resolved |
| inferinfo | the user information |
| boundtype | the type of the changed bound (lower or upper bound) |
| bdchgidx | the index of the bound change, representing the point of time where the change took place |
| relaxedbd | the relaxed bound which is sufficient to be explained |
| explanation | bool array which marks the variable which are part of the explanation if a cutoff was detected, or NULL |
| result | pointer to store the result of the propagation conflict resolving call |
Definition at line 14158 of file cons_cumulative.c.
References intToInferInfo(), respropCumulativeCondition(), SCIP_CALL, SCIP_OKAY, SCIPvisualizeConsCumulative(), and TRUE.
Referenced by SCIPpropCumulativeCondition().
| SCIP_RETCODE SCIPvisualizeConsCumulative | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
this method visualizes the cumulative structure in GML format
| scip | SCIP data structure |
| cons | cumulative constraint |
Definition at line 14183 of file cons_cumulative.c.
References SCIP_CALL_TERMINATE, SCIP_FILECREATEERROR, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPblkmem(), SCIPconsGetData(), SCIPconsGetName(), SCIPerrorMessage, SCIPgmlWriteArc(), SCIPgmlWriteClosing(), SCIPgmlWriteNode(), SCIPgmlWriteOpening(), SCIPhashtableCreate(), SCIPhashtableExists(), SCIPhashtableFree(), SCIPhashtableInsert(), SCIPprintSysError(), SCIPsetSolveCumulative(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetNVlbs(), SCIPvarGetNVubs(), SCIPvarGetUbGlobal(), SCIPvarGetVlbVars(), SCIPvarGetVubVars(), and TRUE.
Referenced by SCIP_DECL_CONSINITPRE(), and SCIPrespropCumulativeCondition().
| SCIP_RETCODE SCIPsetSolveCumulative | ( | SCIP * | scip, |
| SCIP_DECL_SOLVECUMULATIVE((*solveCumulative)) | |||
| ) |
sets method to solve an individual cumulative condition
| scip | SCIP data structure |
Definition at line 14286 of file cons_cumulative.c.
References CONSHDLR_NAME, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPconshdlrGetData(), SCIPerrorMessage, SCIPfindConshdlr(), and SCIPsolveCumulative().
Referenced by SCIPvisualizeConsCumulative().
| SCIP_RETCODE SCIPsolveCumulative | ( | SCIP * | scip, |
| int | njobs, | ||
| SCIP_Real * | ests, | ||
| SCIP_Real * | lsts, | ||
| SCIP_Real * | objvals, | ||
| int * | durations, | ||
| int * | demands, | ||
| int | capacity, | ||
| int | hmin, | ||
| int | hmax, | ||
| SCIP_Real | timelimit, | ||
| SCIP_Real | memorylimit, | ||
| SCIP_Longint | maxnodes, | ||
| SCIP_Bool * | solved, | ||
| SCIP_Bool * | infeasible, | ||
| SCIP_Bool * | unbounded, | ||
| SCIP_Bool * | error | ||
| ) |
solves given cumulative condition as independent sub problem
| scip | SCIP data structure |
| njobs | number of jobs (activities) |
| ests | array with the earlier start time for each job |
| lsts | array with the latest start time for each job |
| objvals | array of objective coefficients for each job (linear objective function), or NULL if none |
| durations | array of durations |
| demands | array of demands |
| capacity | cumulative capacity |
| hmin | left bound of time axis to be considered (including hmin) |
| hmax | right bound of time axis to be considered (not including hmax) |
| timelimit | time limit for solving in seconds |
| memorylimit | memory limit for solving in mega bytes (MB) |
| maxnodes | maximum number of branch-and-bound nodes to solve the single cumulative constraint (-1: no limit) |
| solved | pointer to store if the problem is solved (to optimality) |
| infeasible | pointer to store if the problem is infeasible |
| unbounded | pointer to store if the problem is unbounded |
| error | pointer to store if an error occurred |
Definition at line 14316 of file cons_cumulative.c.
References CONSHDLR_NAME, FALSE, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPconshdlrGetData(), SCIPcreateWorstCaseProfile(), SCIPerrorMessage, SCIPfindConshdlr(), and TRUE.
Referenced by SCIPsetSolveCumulative(), and solveIndependentCons().
| SCIP_RETCODE SCIPcreateWorstCaseProfile | ( | SCIP * | scip, |
| SCIP_PROFILE * | profile, | ||
| int | nvars, | ||
| SCIP_VAR ** | vars, | ||
| int * | durations, | ||
| int * | demands | ||
| ) |
creates the worst case resource profile, that is, all jobs are inserted with the earliest start and latest completion time
| scip | SCIP data structure |
| profile | resource profile |
| nvars | number of variables (jobs) |
| vars | array of integer variable which corresponds to starting times for a job |
| durations | array containing corresponding durations |
| demands | array containing corresponding demands |
Definition at line 14372 of file cons_cumulative.c.
References computeImpliedEst(), computeImpliedLct(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPblkmem(), SCIPcomputeHmin(), SCIPconvertRealToInt(), SCIPfreeBufferArray, SCIPhashmapCreate(), SCIPhashmapFree(), SCIPhashmapInsert(), SCIPprofileInsertCore(), SCIPsortDownIntInt(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by computeAlternativeBounds(), computeEffectiveHorizonCumulativeCondition(), and SCIPsolveCumulative().
| int SCIPcomputeHmin | ( | SCIP * | scip, |
| SCIP_PROFILE * | profile, | ||
| int | capacity | ||
| ) |
computes w.r.t. the given worst case resource profile the first time point where the given capacity can be violated
| scip | SCIP data structure |
| profile | worst case resource profile |
| capacity | capacity to check |
Definition at line 14451 of file cons_cumulative.c.
References SCIPcomputeHmax(), SCIPprofileGetLoads(), SCIPprofileGetNTimepoints(), and SCIPprofileGetTimepoints().
Referenced by computeAlternativeBounds(), computeEffectiveHorizonCumulativeCondition(), and SCIPcreateWorstCaseProfile().
| int SCIPcomputeHmax | ( | SCIP * | scip, |
| SCIP_PROFILE * | profile, | ||
| int | capacity | ||
| ) |
computes w.r.t. the given worst case resource profile the first time point where the given capacity is satisfied for sure
| scip | SCIP data structure |
| profile | worst case profile |
| capacity | capacity to check |
Definition at line 14481 of file cons_cumulative.c.
References SCIPprofileGetLoads(), SCIPprofileGetNTimepoints(), and SCIPprofileGetTimepoints().
Referenced by computeAlternativeBounds(), computeEffectiveHorizonCumulativeCondition(), and SCIPcomputeHmin().
| SCIP_RETCODE SCIPcreateConsVarbound | ( | SCIP * | scip, |
| SCIP_CONS ** | cons, | ||
| const char * | name, | ||
| SCIP_VAR * | var, | ||
| SCIP_VAR * | vbdvar, | ||
| SCIP_Real | vbdcoef, | ||
| SCIP_Real | lhs, | ||
| SCIP_Real | rhs, | ||
| 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 | ||
| ) |
creates and captures a variable bound constraint: lhs <= x + c*y <= rhs
| scip | SCIP data structure |
| cons | pointer to hold the created constraint |
| name | name of constraint |
| var | variable x that has variable bound |
| vbdvar | binary, integer or implicit integer bounding variable y |
| vbdcoef | coefficient c of bounding variable y |
| lhs | left hand side of variable bound inequality |
| rhs | right hand side of variable bound inequality |
| initial | should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. |
| separate | should the constraint be separated during LP processing? Usually set to TRUE. |
| enforce | should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. |
| check | should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. |
| propagate | should the constraint be propagated during node processing? Usually set to TRUE. |
| local | is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. |
| modifiable | is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. |
| dynamic | is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. |
| removable | should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. |
| stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. |
Definition at line 4781 of file cons_varbound.c.
References catchEvents(), consdataCreate(), CONSHDLR_NAME, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPconshdlrGetData(), SCIPcreateCons(), SCIPcreateConsBasicVarbound(), SCIPerrorMessage, SCIPfindConshdlr(), and SCIPisTransformed().
Referenced by addVarbound(), createPrecedenceCons(), createVarUbs(), presolveTryAddLinearReform(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_LINCONSUPGD(), SCIPcreateConsBasicVarbound(), and SCIPincludeConshdlrVarbound().
| SCIP_RETCODE SCIPcreateConsBasicVarbound | ( | SCIP * | scip, |
| SCIP_CONS ** | cons, | ||
| const char * | name, | ||
| SCIP_VAR * | var, | ||
| SCIP_VAR * | vbdvar, | ||
| SCIP_Real | vbdcoef, | ||
| SCIP_Real | lhs, | ||
| SCIP_Real | rhs | ||
| ) |
creates and captures a variable bound constraint: lhs <= x + c*y <= rhs with all constraint flags set to their default values
| scip | SCIP data structure |
| cons | pointer to hold the created constraint |
| name | name of constraint |
| var | variable x that has variable bound |
| vbdvar | binary, integer or implicit integer bounding variable y |
| vbdcoef | coefficient c of bounding variable y |
| lhs | left hand side of variable bound inequality |
| rhs | right hand side of variable bound inequality |
Definition at line 4851 of file cons_varbound.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcreateConsVarbound(), SCIPgetLhsVarbound(), and TRUE.
Referenced by addBranchingDecisionConss(), applyRepair(), and SCIPcreateConsVarbound().
gets left hand side of variable bound constraint lhs <= x + c*y <= rhs
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 4869 of file cons_varbound.c.
References CONSHDLR_NAME, SCIP_INVALID, SCIP_Real, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetRhsVarbound().
Referenced by addVarboundConstraints(), checkVarbound(), computeSymmetryGroup(), presolveAddKKTVarboundConss(), printRangeSection(), SCIP_DECL_CONSCOPY(), SCIP_DECL_READERWRITE(), SCIPcreateConsBasicVarbound(), SCIPmatrixCreate(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), and writeOpbConstraints().
gets right hand side of variable bound constraint lhs <= x + c*y <= rhs
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 4890 of file cons_varbound.c.
References CONSHDLR_NAME, SCIP_INVALID, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetVarVarbound().
Referenced by addVarboundConstraints(), checkVarbound(), computeSymmetryGroup(), presolveAddKKTVarboundConss(), printRangeSection(), SCIP_DECL_CONSCOPY(), SCIP_DECL_READERWRITE(), SCIPgetLhsVarbound(), SCIPmatrixCreate(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), and writeOpbConstraints().
gets bounded variable x of variable bound constraint lhs <= x + c*y <= rhs
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 4911 of file cons_varbound.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetVbdvarVarbound().
Referenced by addVarboundConstraints(), checkVarbound(), computeSymmetryGroup(), presolveAddKKTVarboundConss(), SCIP_DECL_CONSCOPY(), SCIP_DECL_READERWRITE(), SCIPgetRhsVarbound(), SCIPmatrixCreate(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), writeFzn(), and writeOpbConstraints().
gets bounding variable y of variable bound constraint lhs <= x + c*y <= rhs
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 4932 of file cons_varbound.c.
References CONSHDLR_NAME, SCIP_Real, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetVbdcoefVarbound().
Referenced by addVarboundConstraints(), checkVarbound(), computeSymmetryGroup(), presolveAddKKTVarboundConss(), SCIP_DECL_CONSCOPY(), SCIP_DECL_READERWRITE(), SCIPgetVarVarbound(), SCIPmatrixCreate(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), writeFzn(), and writeOpbConstraints().
gets bound coefficient c of variable bound constraint lhs <= x + c*y <= rhs
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 4953 of file cons_varbound.c.
References CONSHDLR_NAME, SCIP_INVALID, SCIP_Real, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, and SCIPgetDualsolVarbound().
Referenced by addVarboundConstraints(), checkVarbound(), computeSymmetryGroup(), presolveAddKKTVarboundConss(), SCIP_DECL_CONSCOPY(), SCIP_DECL_READERWRITE(), SCIPgetVbdvarVarbound(), SCIPmatrixCreate(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), writeFzn(), and writeOpbConstraints().
gets the dual solution of the variable bound constraint in the current LP
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 4974 of file cons_varbound.c.
References CONSHDLR_NAME, SCIP_INVALID, SCIP_Real, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, SCIPgetDualfarkasVarbound(), and SCIProwGetDualsol().
Referenced by SCIPgetVbdcoefVarbound().
gets the dual Farkas value of the variable bound constraint in the current infeasible LP
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 4998 of file cons_varbound.c.
References CONSHDLR_NAME, SCIP_INVALID, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPerrorMessage, SCIPgetRowVarbound(), and SCIProwGetDualfarkas().
Referenced by SCIPgetDualsolVarbound().
returns the linear relaxation of the given variable bound constraint; may return NULL if no LP row was yet created; the user must not modify the row!
| scip | SCIP data structure |
| cons | constraint data |
Definition at line 5024 of file cons_varbound.c.
References CONSHDLR_NAME, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.
Referenced by SCIPgetDualfarkasVarbound().