All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
cons_cumulative.h
Go to the documentation of this file.
24 * - a set of jobs, represented by their integer start time variables \f$S_j\f$, their array of processing times \f$p_j\f$ and of
28 * The cumulative constraint ensures that for each point in time \f$t\f$ \f$\sum_{j: S_j \leq t < S_j + p_j} d_j \leq C\f$ holds.
43 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
59 * @note If the problem was solved to the earliest start times (ests) and latest start times (lsts) array contain the
60 * solution values; If the problem was not solved these two arrays contain the global bounds at the time the sub
65 * - objvals : array of objective coefficients for each job (linear objective function), or NULL if none
73 * - maxnodes : maximum number of branch-and-bound nodes to solve the single cumulative constraint (-1: no limit)
86 #define SCIP_DECL_SOLVECUMULATIVE(x) SCIP_RETCODE x (int njobs, SCIP_Real* ests, SCIP_Real* lsts, SCIP_Real* objvals, \
104 SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
128 SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even
134 * in its most basic version, i. e., all constraint flags are set to their basic value as explained for the
135 * method SCIPcreateConsCumulative(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h
139 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
147 SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
219 /** check for the given starting time variables with their demands and durations if the cumulative conditions for the
227 SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
251 /** searches for a time point within the cumulative condition were the cumulative condition can be split */
256 SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
289 SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
298 SCIP_Bool* explanation, /**< bool array which marks the variable which are part of the explanation if a cutoff was detected, or NULL */
316 SCIP_BDCHGIDX* bdchgidx, /**< the index of the bound change, representing the point of time where the change took place */
318 SCIP_Bool* explanation, /**< bool array which marks the variable which are part of the explanation if a cutoff was detected, or NULL */
319 SCIP_RESULT* result /**< pointer to store the result of the propagation conflict resolving call */
333 SCIP_DECL_SOLVECUMULATIVE((*solveCumulative)) /**< method to use an individual cumulative condition */
338 * @note If the problem was solved to the earliest start times (ests) and latest start times (lsts) array contain the
339 * solution values; If the problem was not solved these two arrays contain the global bounds at the time the sub
348 SCIP_Real* objvals, /**< array of objective coefficients for each job (linear objective function), or NULL if none */
356 SCIP_Longint maxnodes, /**< maximum number of branch-and-bound nodes to solve the single cumulative constraint (-1: no limit) */
363 /** creates the worst case resource profile, that is, all jobs are inserted with the earliest start and latest
371 SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
376 /** computes w.r.t. the given worst case resource profile the first time point where the given capacity can be violated */
384 /** computes w.r.t. the given worst case resource profile the first time point where the given capacity is satisfied for sure */
SCIP_RETCODE SCIPnormalizeCumulativeCondition(SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int *capacity, int *nchgcoefs, int *nchgsides) 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) int SCIPgetNVarsCumulative(SCIP *scip, SCIP_CONS *cons) 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) int SCIPgetCapacityCumulative(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 SCIPvisualizeConsCumulative(SCIP *scip, SCIP_CONS *cons) SCIP_RETCODE SCIPcreateWorstCaseProfile(SCIP *scip, SCIP_PROFILE *profile, int nvars, SCIP_VAR **vars, int *durations, int *demands) SCIP_RETCODE SCIPsplitCumulativeCondition(SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int *hmin, int *hmax, int *split) int SCIPcomputeHmax(SCIP *scip, SCIP_PROFILE *profile, int capacity) int SCIPcomputeHmin(SCIP *scip, SCIP_PROFILE *profile, int capacity) 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 *delvars, 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_VAR ** SCIPgetVarsCumulative(SCIP *scip, SCIP_CONS *cons) SCIP_RETCODE SCIPsetHminCumulative(SCIP *scip, SCIP_CONS *cons, int hmin) SCIP_RETCODE SCIPcreateConsBasicCumulative(SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity) int * SCIPgetDurationsCumulative(SCIP *scip, SCIP_CONS *cons) int SCIPgetHmaxCumulative(SCIP *scip, SCIP_CONS *cons) int SCIPgetHminCumulative(SCIP *scip, SCIP_CONS *cons) SCIP_RETCODE SCIPincludeConshdlrCumulative(SCIP *scip) 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 SCIPsetHmaxCumulative(SCIP *scip, SCIP_CONS *cons, int hmax) SCIP callable library. SCIP_RETCODE SCIPsetSolveCumulative(SCIP *scip, SCIP_DECL_SOLVECUMULATIVE((*solveCumulative))) |