2.2. Notation de Pseudocode

Nous utilisons la notation ensembliste à plusieurs endroits dans cette spécification.

• A (+) B est l'union de deux ensembles, A et B.
• A (-) B est les éléments de l'ensemble A qui ne sont pas dans l'ensemble B.
• NULL est l'ensemble ou la liste vide.

De plus, nous utilisons une syntaxe de type C:

• = désigne l'affectation d'une variable.
• == désigne une comparaison d'égalité.
• != désigne une comparaison d'inégalité.

Les accolades { et } sont utilisées pour le regroupement.

Sauf indication contraire, les opérations spécifiées par des instructions comportant plusieurs opérateurs (+) et (-) doivent être évaluées de gauche à droite, c'est-à-dire que A (+) B (-) C est l'ensemble résultant de l'union des ensembles A et B moins les éléments de l'ensemble C.