Product colour sets
CPN ML


Declaration Syntax

colset name = product name1 * name2 * ... * namen;

where n>=2

Order

lexicographic (with respect to ordering of base colour sets).

Values

(v1, v2, ..., vn) where vi has type namei for 1<=i<=n.

Declaration Examples

colset P = product U * I;

A product colour set is used in the example CP-net for Resource Allocation.

Operations

#i x extract the ith element of the tuple x
_ omit component in tuple (not allowed in CPN inscriptions)

Example of Use

#2(5, "abc") evaluates to "abc"

See also colour set functions.

All Colour Sets