setdomain

Purpose

Sets the domain of the variable to the set of integers passed in argument.

Synopsis

procedure setdomain(x:cpvar, domain:set of integers)

procedure setdomain(x:cpvar, lowerBound:integer, upperBound:integer)

procedure setdomain(x:cpfloatvar, lowerBound:real, upperBound:real)

procedure setdomain(x:cpauxvar, lowerBound:real, upperBound:real)

Arguments

x	the decision variable
domain	Set of integers representing the target domain.
lowerBound	lower bound of the interval
upperBound	upper bound of the interval

Example

The following example shows how to set the domain of a cpvar x to the set of integers {1,3,5,7,9}

setdomain(x,{1,3,5,7,9})