Index color sets

Indexed values are sequences of values comprised of an identifier and an index-specifier. The color set is small.

Declaration syntax

colset name = index id with int-exp1..int-exp2;

Order

usual ordering on the indexes

Values

id i

id(i)

where i is an integer and int-exp1 <= i <= int-exp2.

Declaration examples

colset PH = index ph with 1..5;

Index color sets are used in the Dining Philosophers.

Operations

color set functions.