Subsets are a selection of values in a previously declared color set.
Declaration syntax
The subset specification can take two different forms: function and list.
colset name = subset name0 by subset-function;
The by
clause specifies a function whose return value is a boolean. The color set name
will contain exactly those values from name0
that are mapped into the boolean value true
.
colset name = subset name0 with subset-list;
The with
clause specifies a list with elements from name0
. The color set name
will contain exactly those values that are listed.
Order
ordering of base color set
Declaration examples
fun even i = (i mod 2)=0;
The function even
returns true
when i
is even and false
when i
is odd.
colset EvenInt = subset Int by even;
The color set EvenInt
is a subset of the set of integers, and it contains only the even integers. A subset color set is used in the example CPN of the Distributed Database.
colset Weekend = subset Day with [Sat,Sun];
The color set Weekend
is a subset of the color set Day
which is an enumerated color set.
Operations
You must be logged in to post a comment.