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.


  • #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"


Unit color set
Boolean color set

You must be logged in to post a comment.