Boolean colour sets | CPN Tools help |
CPN ML |
true
and false
.
colset name = bool [with (new_false, new_true)];
false
before true
with
Clausetrue
and false
. The new value names must be identifiers.
colset B = bool;
colset Answer = bool with (no, yes);
not b |
negation of the boolean value b |
b1 andalso b2 |
boolean conjunction, and |
b1 orelse b2 |
boolean disjunction, inclusive or |
See also colour set functions.