Boolean color set

The Boolean values are true and false.

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

false before true

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

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

See also color set functions.

• Unit color set,
• Boolean color set,
• Integer color sets,
• String color sets,
• Enumeration color set,
• Index color sets.

• Product color sets,
• Record color sets,
• List color sets,
• Union color sets,
• Subset color sets,
• Alias color sets.