colset name = product name1 * name2 * … * namen;
lexicographic (with respect to ordering of base color sets).
(v1, v2, …, vn)
vi has type
namei for 1<=
colset P = product U * I;
A product color set is used in the example CP-net for Resource Allocation.
#i x: extract the
ith element of the tuple
_: 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