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;


usual ordering on the indexes


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.


color set functions.

Color set functions
Alias color sets

You must be logged in to post a comment.