Enumerated colour sets
|
CPN Tools help
|
|
CPN ML
|
Enumerated values are explicitly named as identifiers in the declaration. These values must be alphanumeric identifiers. This is a small colour set.
Declaration Syntax
colset name = with id0 | id1 | ... | idn;
Order
as in the declaration
Declaration Examples
colset Day = with Mon | Tues | Wed | Thurs | Fri | Sat | Sun ;
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.