Assignment Strategy Options

variable assignment strategy

PROC CLP

VARASSIGN=

activity assignment strategy

SCHEDULE

ACTASSIGN=

Data Set Options

activity input data set

PROC CLP

ACTDATA=

constraint input data set

PROC CLP

CONDATA=

solution output data set

PROC CLP

OUT=

schedule output data set

PROC CLP

SCHEDDATA=

General Options

suppress preprocessing

PROC CLP

NOPREPROCESS

upper bound on CPU time (seconds)

PROC CLP

MAXTIME=

Output Control Options

find all possible solutions

PROC CLP

FINDALLSOLNS

indicate progress in log

PROC CLP

SHOWPROGRESS

number of solutions

PROC CLP

SOLNS=

Scheduling CSP-Related Statements

activity specifications

ACTIVITY

resource requirement specifications

REQUIRES

resource specifications

RESOURCE

scheduling parameters

SCHEDULE

Scheduling: Resource Constraints

edge-finder consistency routines

SCHEDULE

EDGEFINDER=

not first edge-finder extension

SCHEDULE

NOTFIRST=

not last edge-finder extension

SCHEDULE

NOTLAST=

Scheduling: Temporal Constraints

activity duration

ACTIVITY

DURATION=

activity finish lower bound

ACTIVITY

FGE=

activity finish upper bound

ACTIVITY

FLE=

activity start lower bound

ACTIVITY

SGE=

activity start upper bound

ACTIVITY

SLE=

schedule duration

SCHEDULE

DURATION=

schedule finish

SCHEDULE

FINISH=

schedule start

SCHEDULE

START=

Scheduling: Search Control Options

dead-end multiplier

PROC CLP

DM=

number of allowable dead ends per restart

PROC CLP

DPR=

number of search restarts

PROC CLP

RESTARTS=

Selection Strategy Options

variable selection strategy

PROC CLP

VARSELECT=

activity selection strategy

SCHEDULE

ACTSELECT=

Standard CSP Statements

all-different constraints

ALLDIFF

array specifications

ARRAY

for-each constraints

FOREACH

linear constraints

LINCON

reified constraints

REIFY

variable specifications

VAR