Index colour sets
CPN ML


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