- VAR specification <...> ;
A VAR specification can be one of the following types:
variable <=[lower-bound <, upper-bound>]>
(variables) <=[lower-bound <, upper-bound>]>
The VAR statement declares all the variables that are to be considered in the CSP and, optionally, defines their domains. Any variable domains defined in a VAR statement override the global variable domains defined using the DOMAIN= option in the PROC CLP statement as well as any bounds defined using the CONDATA= data set. If lower-bound is specified and upper-bound is omitted, the corresponding variables are considered as being assigned to lower-bound.
