Product color sets

Declaration syntax

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

where n>=2


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


(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 example.


#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”

All color sets

Simple color sets

Compound color sets