The CLP Procedure
Functional Summary
The statements and options available in PROC CLP are summarized by purpose in Table 1.
Table 1: Functional Summary
| Description | Statement | Option |
|---|---|---|
| Assignment Strategy Options | ||
| Specifies the variable assignment strategy | PROC CLP | VARASSIGN= |
| Specifies the activity assignment strategy | SCHEDULE | ACTASSIGN= |
| Data Set Options | ||
| Specifies the activity input data set | PROC CLP | ACTDATA= |
| Specifies the constraint input data set | PROC CLP | CONDATA= |
| Specifies the solution output data set | PROC CLP | OUT= |
| Specifies the resource input data set | PROC CLP | RESDATA= |
| Specifies the resource assignment data set | PROC CLP | SCHEDRES= |
| Specifies the time assignment data set | PROC CLP | SCHEDTIME= |
| Specifies the schedule output data set | PROC CLP | SCHEDULE= |
| Domain Options | ||
| Specifies the global domain of all variables | PROC CLP | DOMAIN= |
| Specifies the domain for selected variables | VARIABLE | |
| General Options | ||
| Specifies the upper bound on time (seconds) | PROC CLP | MAXTIME= |
| Suppresses preprocessing | PROC CLP | NOPREPROCESS |
| Permits preprocessing | PROC CLP | PREPROCESS |
| Specifies the units of MAXTIME | PROC CLP | TIMETYPE= |
| Implicitly defines constraint data set variables | PROC CLP | USECONDATAVARS= |
| Objective Function Options | ||
| Specifies the lower bound for the objective | OBJ | LB= |
| Specifies the tolerance for the search | OBJ | TOL= |
| Specifies the upper bound for the objective | OBJ | UB= |
| Output Control Options | ||
| Finds all possible solutions | PROC CLP | FINDALLSOLNS |
| Specifies the number of solution attempts | PROC CLP | MAXSOLNS= |
| Indicates progress in log | PROC CLP | SHOWPROGRESS |
| Scheduling CSP-Related Statements | ||
| Defines activity specifications | ACTIVITY | |
| Defines resource requirement specifications | REQUIRES | |
| Defines resource specifications | RESOURCE | |
| Defines scheduling parameters | SCHEDULE | |
| Scheduling: Resource Constraints | ||
| Specifies the edge-finder consistency routines | SCHEDULE | EDGEFINDER= |
| Specifies the not-first edge-finder extension | SCHEDULE | NOTFIRST= |
| Specifies the not-last edge-finder extension | SCHEDULE | NOTLAST= |
| Scheduling: Temporal Constraints | ||
| Specifies the activity duration | ACTIVITY | (DUR=) |
| Specifies the activity finish lower bound | ACTIVITY | (FGE=) |
| Specifies the activity finish upper bound | ACTIVITY | (FLE=) |
| Specifies the activity start lower bound | ACTIVITY | (SGE=) |
| Specifies the activity start upper bound | ACTIVITY | (SLE=) |
| Specifies the schedule duration | SCHEDULE | DURATION= |
| Specifies the schedule finish | SCHEDULE | FINISH= |
| Specifies the schedule start | SCHEDULE | START= |
| Scheduling: Search Control Options | ||
| Specifies the number of allowable dead ends per restart | PROC CLP | DPR= |
| Specifies the number of search restarts | PROC CLP | RESTARTS= |
| Selection Strategy Options | ||
| Specifies the variable selection strategy | PROC CLP | VARSELECT= |
| Specifies the activity selection strategy | SCHEDULE | ACTSELECT= |
| Specifies variable selection strategies for evaluation | PROC CLP | EVALVARSEL= |
| Specifies activity selection strategies for evaluation | SCHEDULE | EVALACTSEL= |
| Enables time limit updating for strategy evaluation | PROC CLP | DECRMAXTIME |
| Standard CSP Statements | ||
| Specifies the alldifferent constraints | ALLDIFF | |
| Specifies the array specifications | ARRAY | |
| Specifies the cumulative constraints | CUMULATIVE | |
| Specifies the element constraints | ELEMENT | |
| Specifies the foreach constraints | FOREACH | |
| Specifies the global cardinality constraints | GCC | |
| Specifies the lexicographic ordering constraints | LEXICO | |
| Specifies the linear constraints | LINCON | |
| Specifies the bin packing constraints | PACK | |
| Specifies the reified constraints | REIFY | |
| Defines the variable specifications | VARIABLE | |
Last updated: September 16, 2021