Boolean color set

The Boolean values are true and false.

Declaration syntax

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


false before true

Optional ''with'' clause

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

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 (i.e., inclusive or)

See also color set functions.

All colour sets

Simple color sets

Compound color sets