1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
| generic
type element is private ;
package ensemble1 is
procedure init(l: IN OUT liste);
function est_vide(l: liste) return boolean;
function top(l: liste) return element;
procedure ajout(l: IN OUT liste; x: element);
procedure suppression(l: IN OUT liste; x: element);
function appartenance(l: liste; x: element) return boolean;
function minimum(l: liste) return element;
function union(l1, l2 : liste) return liste;
procedure union_sur_place(l1: IN OUT liste; l2: liste);
function intersection(l1, l2 : liste) return liste;
procedure copier(l1 : IN OUT liste; l2 : liste);
function egale(l1, l2: liste) return boolean;
exep_ensemble_vide : exception;
private
type cellule;
type liste is access cellule;
type cellule is record
item : element;
next : liste;
end record;
end ensemble1; |
