Product color sets

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

Read Me Leave comment

Record color sets

Record color sets

A fixed-length color set whose set of values is identical to the Cartesian product of the values in previously declared color sets. Each of the component color sets may be a different type and each is identified by a unique label so that each field is position-independent. Declaration Syntax colset name = record id1:name1 * id2:name2 * … * idn:namen; Order lexicographic (with respect to […]

Read Me Leave comment

List color sets

List color sets

A variable-length color set. The values are a sequence whose color set must be the same type. Declaration syntax colset name = list name0 [with int-exp1..int-exp2]; Order lexicographic (with respect to ordering of base color set) Values [v1, v2, …, vn] where vi has type name0 for i=1..n. Optional with clause The with clause specifies the minimum and maximum length of the lists. Declaration examples […]

Read Me Leave comment

Union color sets

Union color sets

A union color set is a disjoint union of previously declared color sets. Declaration Syntax colset name = union id1[:name1] + id2[:name2] + … + idn[:namen]; If namei is omitted then idi is treated as a new value, and it can be referred to simply as idi. Order first after selectors, then after ordering of each base color set Values idi v idi(v) where v […]

Read Me Leave comment

Subset color sets

Subset color sets

Subsets are a selection of values in a previously declared color set. Declaration syntax The subset specification can take two different forms: function and list. colset name = subset name0 by subset-function; The by clause specifies a function whose return value is a boolean. The color set name will contain exactly those values from name0 that are mapped into the boolean value true. colset name […]

Read Me Leave comment

Alias color sets

Alias color sets

An alias color set has exactly the same values and properties as a previously declared color set. Declaration syntax colset name = name0; Order ordering of the base color set Declaration examples colset WholeNumber = INT; colset DayOff = Weekend;  

Read Me Leave comment