Functional Summary

The statements and options available with PROC CLP are summarized by purpose in Table 3.1.

Table 3.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 (Experimental)

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 dead-end multiplier

PROC CLP

DM=

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=

(Experimental)

   

Specifies activity selection strategies for evaluation

SCHEDULE

EVALACTSEL=

(Experimental)

   

Enables time limit updating for strategy evaluation

PROC CLP

DECRMAXTIME

(Experimental)

   

Standard CSP Statements

Specifies the all-different constraints

ALLDIFF

 

Specifies the array specifications

ARRAY

 

Specifies the element constraints

ELEMENT

 

Specifies the for-each constraints

FOREACH

 

Specifies the global cardinality constraints

GCC

 

Specifies the linear constraints

LINCON

 

Specifies the reified constraints

REIFY

 

Defines the variable specifications

VARIABLE