Indexed values are sequences of values comprised of an identifier and an index-specifier. The colour 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 colour sets are used in the example CP-net for Dining Philosophers.
Operations
See colour set functions.
All Colour Sets
- Simple colour sets:
unit,
boolean,
integer,
string,
enumerated,
index.
- Compound colour sets:
product,
record,
list,
union,
subset,
alias.