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 […]