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= |
| Data Table Options | ||
Specifies the Constraint input data table | PROC CLP | CONDATA= |
Specifies the Solution output data table | PROC CLP | OUT= |
| 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 table 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 |
| Selection Strategy Options | ||
| Specifies the variable selection strategy | PROC CLP | VARSELECT= |
| Specifies variable selection strategies for evaluation | PROC CLP | EVALVARSEL= |
| 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 | |
Copyright © SAS Institute Inc. All rights reserved.
Last updated: May 08, 2020