Liste des mots rservs et des oprateurs du Langage B version 1.8.

ASCII Math. Prio. Ass. Description ASCII Math. Prio. Ass. Description ASCII Math. Prio. Ass. Description
! 250 quantificateur universel (quelque < 160 G strictement infrieur ou dlimiteur DO substitution WHILE
soit) de fichier de dfinitions
EITHER substitution CASE
" dlimiteur de chane de caractres <+ + 160 G surcharge dune relation
ou de fichier de dfinition
ELSE substitution IF ou CASE
<-> 1 125 G ensemble des relations
ELSIF substitution IF
# 250 quantificateur existentiel (il existe)
<- j 160 G insertion en fin de suite
END terminateur des clauses ou des
$0 valeur prcdente dune donne
<-- c G paramtres de sortie dopration substitutions BEGIN, PRE,
% 250 lambda expression ASSERT, CHOICE, IF, SELECT,
<: 110 G inclusion ANY, LET, VAR, CASE et WHILE
& 40 G conjonction (ET logique)
<<: 110 G inclusion stricte EXTENDS clause EXTENDS
' 250 G accs un champ de record
<<| a 160 G soustraction sur le domaine FALSE constante boolenne littrale
( parenthse ouvrante faux
<= 160 G infrieur ou gal
) parenthse fermante FIN F ensemble des sous-ensembles
<=> 60 G quivalence
finis
* 190 G multiplication ou produit cartsien
<| r 160 G restriction sur le domaine FIN1 F1 ensemble des sous-ensembles
x ** y xy 200 D puissance
= 60 G galit finis non-vides
+ 180 G addition
== dfinition IF substitution IF
+-> 2 125 G fonction partielle
=> 30 G implique IMPLEMENTATION clause IMPLEMENTATION
+->> 6 125 G surjection partielle
> 160 G strictement suprieur ou dlimiteur IMPORTS clause IMPORTS
, 115 G virgule de fichier de dfinitions IN substitution LET ou VAR
- 180 G soustraction >+> 4 125 G injection partielle INCLUDES clause INCLUDES
- 210 moins unaire >-> 5 125 G injection totale INITIALISATION clause INITIALISATION
--> 3 125 G fonction totale >+>> 8 125 G bijection partielle INT ensemble des entiers relatifs
-->> 7 125 G surjection totale >->> 9 125 G bijection totale concrets
-> k 160 G insertion en tte dune suite >< 160 G produit direct de relations INTEGER Z ensemble des entiers relatifs
. 220 D renommage ou sparateur de >= 160 G suprieur ou gal INTER I intersection quantifie
donnes utilis dans les
INVARIANT clause INVARIANT ou substitution
oprateurs , , U, I, , , ABSTRACT_CONSTANTS clause ABSTRACT_CONSTANTS
WHILE
.. 170 G intervalle ABSTRACT_VARIABLES clause ABSTRACT_VARIABLES
LET substitution LET
/ 190 G division entire ANY substitution ANY
LOCAL_OPERATIONS clause LOCAL_OPERATIONS
/: 160 G non-appartenance ASSERT substitution ASSERT
MACHINE clause MACHINE
/<: - 110 G non-inclusion ASSERTIONS clause ASSERTIONS
MAXINT plus grand entier implmentable
/<<: 110 G non-inclusion stricte BE substitution LET
MININT plus petit entier implmentable
/= 160 G ingalit BEGIN substitution BEGIN
NAT ensemble des entiers naturels
/\ 160 G intersection
BOOL ensemble des boolens concrets
CASE substitution CASE NAT1 NAT1 ensemble des entiers naturels non
/|\ q 160 G restriction dune suite la tte
nuls concrets
CHOICE substitution CHOICE
: 60 G appartenance
NATURAL N ensemble des entiers naturels
CONCRETE_CONSTANTS clause
: 120 G champ de record
CONCRETE_CONSTANTS NATURAL1 N1 ensemble des entiers naturels non
:: : G devient lment de nuls
CONCRETE_VARIABLES clause CONCRETE_VARIABLES
:= G devient gal OF substitution CASE
CONSTANTS clause CONSTANTS
; 20 G squencement de substitution ou OPERATIONS clause OPERATIONS
CONSTRAINTS clause CONSTRAINTS
composition de relations OR substitution CHOICE ou CASE
DEFINITIONS clause DEFINITIONS

Page 1 sur 2
 Liste des mots rservs et des oprateurs du Langage B version 1.8.5

ASCII Math. Prio. Ass. Description ASCII Math. Prio. Ass. Description ASCII Math. Prio. Ass. Description
PI produit quantifi dentiers closure(R) R* fermeture rflexive dune relation seq1 ensemble des suites non-vides
POW P ensemble des sous-ensembles closure1(R) R+ fermeture dune relation size taille dune suite
POW1 P1 ensemble des sous-ensembles conc concatnation de suites sizet taille dun arbre
non vides
const construction dun arbre skip substitution identit
PRE substitution prcondition
dom domaine dune fonction son ime fils du nud dun arbre
PROMOTES clause PROMOTES
father pre du nud dun arbre sons fils du nud dun arbre
PROPERTIES clause PROPERTIES
first premier lment dune suite struct ensemble de records
REFINES clause REFINES
fnc transforme en fonction subtree sous arbre dun arbre
REFINEMENT clause REFINEMENT
front tte dune suite succ successeur
SEES clause SEES
id fonction identit tail queue dune suite
SELECT substitution SELECT
infix aplatissement infix dun arbre top racine dun arbre
SETS clause SETS
inter intersection gnralise tree arbres
SIGMA somme quantifi
iseq ensemble des suites injectives union union gnralise
STRING ensemble des chanes de
iseq1 iseq1 ensemble des suites injectives { dbut densemble
caractres
non-vides
{} ensemble vide
THEN substitution prcondition, n
iterate(R, n) R itration dune relation
ASSERT, IF, CASE ou SELECT | 10 G barre verticale utilise dans , ,
TRUE constante boolenne littrale vrai
last dernier lment dune suite , , , , , { | }
left sous arbre gauche |-> m 160 G maplet
UNION U union quantifie
max maximum dun ensemble dentiers |> R 160 G restriction sur le codomaine
USES clause USES
min minimum dun ensemble dentiers |>> A 160 G soustraction sur le codomaine
VALUES clause VALUES
mirror symtrie dun arbre || 20 G substitutions simultanes ou
VAR substitution VAR
produit parallle de relations
mod 190 G modulo
VARIANT substitution WHILE
} fin densemble
not ngation (NON logique)
VARIABLES clause VARIABLES
r~ r -1 230 G relation inverse
or 40 G disjonction (OU logique)
WHEN substitution SELECT
perm ensemble des permutations
WHERE substitution ANY
(suites bijectives)
WHILE substitution WHILE
postfix aplatissement postfix dun arbre
[ image, dbut de suite
pred prdcesseur dun entier
[] suite vide
prefix aplatissement prfix dun arbre
\/ u 160 G union
prj1 prj1 premire projection dune relation
\|/ w 160 G restriction dune suite la queue
prj2 prj2 seconde projection dune relation
] image, fin de suite
ran codomaine dune relation
^ ) 160 G concatnation de suites
rank rang du nud dun arbre
arity arit du nud dun arbre
rec record en extension
bin arbre binaire en extension
rel transforme en relation
bool conversion dun prdicat en
rev inverse dune suite
boolen
right sous arbre droit
btree arbres binaires
seq ensemble des suites
card cardinal

Page 2 sur 2