Boolean colour sets
CPN ML


The boolean values are true and false.

Declaration Syntax

colset name = bool [with (new_false, new_true)];

Order

false before true

Optional with Clause

Renames the values, that is, defines the identifiers representing true and false. The new value names must be identifiers.

Declaration Examples

colset B = bool;

colset Answer = bool with (no, yes);

Boolean Operations

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.

All Colour Sets