Product color sets

Declaration syntax

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

where n>=2

Order

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

Values

(v1, v2, …, vn)

where vi has type namei for 1<=i<=n.

Declaration examples

colset P = product U * I;

A product color 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)

See also color set functions.

If you have declared a product color set with 10 or more components, please read about the declare clause.

Example of use

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