2.2. Pseudocode Notation

This specification uses set notation and C-like syntax:

Set operations:

• A (+) B is the union of two sets, A and B
• A (-) B is the elements of set A that are not in set B
• NULL is the empty set or list

Operators:

• = denotes assignment of a variable
• == denotes a comparison for equality
• != denotes a comparison for inequality

Grouping: Braces { and } are used for grouping.

Operation precedence: Unless otherwise noted, statements with multiple (+) and (-) operators should be evaluated from left to right, i.e., A (+) B (-) C is the set resulting from union of sets A and B minus elements in set C.