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
You must be logged in to post a comment.