Liste des mots réservés et des opérateurs du Langage B

Liste des mots réservés et des opérateurs du Langage B version 1.8.5
ASCII
Math.
Prio. Ass. Description
!
∀
250
"
#
∃
250
<+
+
160
G
surcharge d’une relation
<->
1
125
G
ensemble des relations
<-
j
160
G
insertion en fin de suite
<--
c
G
paramètres de sortie d’opération
<:
⊆
G
inclusion
<<:
⊂
110
G
<<|
a
160
G
<=
≤
160
G
inférieur ou égal
<=>
⇔
60
G
équivalence
<|
r
160
G
restriction sur le domaine
60
G
égalité
valeur précédente d’une donnée
λ
250
&
∧
40
G
conjonction (ET logique)
250
G
accès à un champ de record
lambda expression
(
parenthèse ouvrante
)
parenthèse fermante
*
×
190
G
multiplication ou produit cartésien
x ** y
xy
200
D
puissance
180
G
addition
+
Prio. Ass. Description
délimiteur de chaîne de caractères
ou de fichier de définition
%
'
Math.
<
quantificateur existentiel (il existe)
$0
ASCII
quantificateur universel (quelque
soit)
+->
2
125
G
fonction partielle
+->>
6
125
G
surjection partielle
160
=
110
G
==
=>
⇒
>
strictement inférieur ou délimiteur
de fichier de définitions
ASCII
Math.
Prio. Ass. Description
DO
substitution WHILE
EITHER
substitution CASE
ELSE
substitution IF ou CASE
ELSIF
substitution IF
END
terminateur des clauses ou des
substitutions BEGIN, PRE,
ASSERT, CHOICE, IF, SELECT,
ANY, LET, VAR, CASE et WHILE
inclusion stricte
EXTENDS
clause EXTENDS
soustraction sur le domaine
FALSE
constante booléenne littérale
“faux”
FIN
F
ensemble des sous-ensembles
finis
FIN1
F1
ensemble des sous-ensembles
finis non-vides
définition
IF
substitution IF
30
G
implique
IMPLEMENTATION
clause IMPLEMENTATION
160
G
strictement supérieur ou délimiteur
de fichier de définitions
IMPORTS
clause IMPORTS
IN
substitution LET ou VAR
clause INCLUDES
,
115
G
virgule
-
180
G
soustraction
>+>
4
125
G
injection partielle
INCLUDES
-
210
moins unaire
>->
5
125
G
injection totale
INITIALISATION
clause INITIALISATION
fonction totale
>+>>
8
125
G
bijection partielle
INT
ensemble des entiers relatifs
concrets
-->
3
125
-->>
7
125
G
surjection totale
>->>
9
125
G
bijection totale
->
k
160
G
insertion en tête d’une suite
><
⊗
160
G
produit direct de relations
INTEGER
Z
supérieur ou égal
INTER
I
clause ABSTRACT_CONSTANTS
INVARIANT
clause INVARIANT ou substitution
WHILE
LET
substitution LET
LOCAL_OPERATIONS
clause LOCAL_OPERATIONS
MACHINE
clause MACHINE
MAXINT
plus grand entier implémentable
MININT
plus petit entier implémentable
NAT
ensemble des entiers naturels
concrets
220
.
G
D
renommage ou séparateur de
données utilisé dans les
opérateurs ∀, ∃, U, I, Σ, Π, λ
>=
ABSTRACT_CONSTANTS
≥
160
G
..
170
G
intervalle
ABSTRACT_VARIABLES
clause ABSTRACT_VARIABLES
/
190
G
division entière
ANY
substitution ANY
/:
∉
160
G
non-appartenance
ASSERT
substitution ASSERT
/<:
-
110
G
non-inclusion
ASSERTIONS
clause ASSERTIONS
/<<:
⊄
110
G
non-inclusion stricte
BE
substitution LET
/=
≠
160
G
inégalité
BEGIN
substitution BEGIN
/\
∩
160
G
intersection
BOOL
ensemble des booléens
/|\
q
160
G
restriction d’une suite à la tête
CASE
substitution CASE
CHOICE
substitution CHOICE
CONCRETE_CONSTANTS
clause
CONCRETE_CONSTANTS
:
∈
:
::
60
G
appartenance
120
G
champ de record
:∈
:=
;
20
G
devient élément de
G
devient égal
G
séquencement de substitution ou
composition de relations
CONCRETE_VARIABLES
clause CONCRETE_VARIABLES
CONSTANTS
clause CONSTANTS
CONSTRAINTS
DEFINITIONS
clause CONSTRAINTS
clause DEFINITIONS
Page 1 sur 2
ensemble des entiers relatifs
intersection quantifiée
ensemble des entiers naturels non
nuls concrets
NAT1
NAT1
NATURAL
N
ensemble des entiers naturels
NATURAL1
N1
ensemble des entiers naturels non
nuls
OF
substitution CASE
OPERATIONS
clause OPERATIONS
OR
substitution CHOICE ou CASE
Liste des mots réservés et des opérateurs du Langage B version 1.8.5
ASCII
Math.
ASCII
Math.
PI
Π
Prio. Ass. Description
produit quantifié d’entiers
closure(R)
R*
fermeture réflexive d’une relation
seq1
ensemble des suites non-vides
POW
P
ensemble des sous-ensembles
closure1(R)
R+
fermeture d’une relation
size
taille d’une suite
POW1
P1
ensemble des sous-ensembles
non vides
conc
concaténation de suites
sizet
taille d’un arbre
const
construction d’un arbre
skip
substitution identité
dom
domaine d’une fonction
son
ième fils du nœud d’un arbre
father
père du nœud d’un arbre
sons
fils du nœud d’un arbre
first
premier élément d’une suite
struct
ensemble de records
fnc
transformée en fonction
subtree
sous arbre d’un arbre
front
tête d’une suite
succ
successeur
id
fonction identité
tail
queue d’une suite
infix
aplatissement infixé d’un arbre
top
racine d’un arbre
inter
intersection généralisée
tree
arbres
iseq
ensemble des suites injectives
union
union généralisée
ensemble des suites injectives
non-vides
{
début d’ensemble
PRE
substitution précondition
PROMOTES
clause PROMOTES
PROPERTIES
clause PROPERTIES
REFINES
clause REFINES
REFINEMENT
clause REFINEMENT
SEES
clause SEES
SELECT
substitution SELECT
SETS
clause SETS
SIGMA
Σ
somme quantifié
STRING
ensemble des chaînes de
caractères
iseq1
iseq1
THEN
substitution précondition,
ASSERT, IF, CASE ou SELECT
iterate(R, n)
R
constante booléenne littérale “vrai”
TRUE
UNION
U
union quantifiée
clause USES
USES
clause VALUES
VALUES
VAR
substitution VAR
VARIANT
substitution WHILE
VARIABLES
clause VARIABLES
WHEN
substitution SELECT
WHERE
substitution ANY
WHILE
substitution WHILE
[
image, début de suite
[]
suite vide
\/
u
160
G
union
\|/
w
160
G
restriction d’une suite à la queue
image, fin de suite
]
^
)
160
G
concaténation de suites
arity
arité du nœud d’un arbre
bin
arbre binaire en extension
bool
conversion d’un prédicat en
booléen
Prio. Ass. Description
n
itération d’une relation
ASCII
{}
Math.
Prio. Ass. Description
ensemble vide
Ø
|
10
G
barre verticale utilisée dans ∀, ∃,
∪, ∩, Σ, Π, λ, { | }
last
dernier élément d’une suite
left
sous arbre gauche
|->
m
160
G
maplet
max
maximum d’un ensemble d’entiers
|>
R
160
G
restriction sur le codomaine
min
minimum d’un ensemble d’entiers
|>>
A
160
G
soustraction sur le codomaine
mirror
symétrie d’un arbre
||
20
G
substitutions simultanées ou
produit parallèle de relations
230
G
190
mod
not
or
G
¬
∨
40
G
modulo
négation (NON logique)
}
disjonction (OU logique)
r~
perm
ensemble des permutations
(suites bijectives)
postfix
aplatissement postfixé d’un arbre
pred
prédécesseur d’un entier
aplatissement préfixé d’un arbre
prefix
prj1
prj1
prj2
prj2
première projection d’une relation
seconde projection d’une relation
ran
codomaine d’une relation
rank
rang du nœud d’un arbre
rec
record en extension
rel
transformée en relation
rev
inverse d’une suite
sous arbre droit
ensemble des suites
btree
arbres binaires
right
card
cardinal
seq
Page 2 sur 2
fin d’ensemble
r -1
relation inverse